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