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