Searched refs:reAssume (Results 1 – 1 of 1) sorted by relevance
2628 reAssume(ProgramStateRef State, const RangeSet *Constraint, SVal TheValue) { in reAssume() function2726 State = reAssume(State, ClassConstraint, SimplifiedMemberVal); in simplify()