Searched refs:assumeAux (Results 1 – 2 of 2) sorted by relevance
90 state = assumeAux(state, cond, assumption); in assume()114 ProgramStateRef SimpleConstraintManager::assumeAux(ProgramStateRef state, in assumeAux() function in clang::ento::SimpleConstraintManager
108 ProgramStateRef assumeAux(ProgramStateRef state,