SimpleConstraintManager.cpp | 68 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager 84 return assume(state, Cond.castAs<NonLoc>(), Assumption); 87 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager 128 llvm_unreachable("'Assume' not implemented for this NonLoc"); 188 return assume(state, Cond.castAs<nonloc::LocAsInteger>().getLoc(),
|