Searched refs:assumeInternal (Results 1 – 2 of 2) sorted by relevance
25 ProgramStateRef SimpleConstraintManager::assumeInternal(ProgramStateRef State, in assumeInternal() function in clang::ento::SimpleConstraintManager89 return assumeInternal(State, Cond.castAs<nonloc::LocAsInteger>().getLoc(), in assumeAux()
69 ProgramStateRef assumeInternal(ProgramStateRef State, DefinedSVal Cond,