Searched refs:saveComparison (Results 1 – 1 of 1) sorted by relevance
333 const ProgramStateRef saveComparison(ProgramStateRef State,903 State = saveComparison(State, Condition, LVal, RVal, Op == OO_EqualEqual); in handleComparison()1959 const ProgramStateRef saveComparison(ProgramStateRef State, in saveComparison() function