SimpleConstraintManager.cpp | 58 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager 62 return assume(state, *NV, Assumption); 63 return assume(state, Cond.castAs<Loc>(), Assumption); 66 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, Loc cond, function in class:clang::ento::SimpleConstraintManager 78 assert (false && "'Assume' not implemented for this Loc."); 113 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager 171 llvm_unreachable("'Assume' not implemented for this NonLoc"); 262 // No logic yet for other operators. assume the constraint is feasible.
|