Searched refs:trackEquality (Results 1 – 1 of 1) sorted by relevance
2164 ProgramStateRef trackEquality(ProgramStateRef State, SymbolRef LHS, in trackEquality() function in __anonea1218e40511::ConstraintAssignor2244 State = trackEquality(State, Sym->getLHS(), Sym->getRHS()); in assignSymSymExprToRangeSet()