D | SimpleConstraintManager.cpp | 68 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, in assume() function in clang::ento::SimpleConstraintManager 84 return assume(state, Cond.castAs<NonLoc>(), Assumption); in assume() 87 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, in assume() function in clang::ento::SimpleConstraintManager 188 return assume(state, Cond.castAs<nonloc::LocAsInteger>().getLoc(), in assumeAux()
|