Searched refs:storeWhenMoreInformative (Results 1 – 1 of 1) sorted by relevance
538 storeWhenMoreInformative(ProgramStateRef &State, SymbolRef Sym, in storeWhenMoreInformative() function694 if (storeWhenMoreInformative(State, Sym, TrackedType, LowerBound, UpperBound, in checkPostStmt()