Searched refs:processComparison (Results 1 – 1 of 1) sorted by relevance
330 const ProgramStateRef processComparison(ProgramStateRef State,886 return processComparison(State, Comp->getLeft(), Comp->getRight(), in evalAssume()906 if ((State = processComparison( in handleComparison()1944 const ProgramStateRef processComparison(ProgramStateRef State, in processComparison() function