SimpleConstraintManager.cpp | 58 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager 62 return assume(state, cast<NonLoc>(Cond), Assumption); 64 return assume(state, cast<Loc>(Cond), Assumption); 67 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, Loc cond, function in class:clang::ento::SimpleConstraintManager 79 assert (false && "'Assume' not implemented for this Loc."); 114 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager 170 llvm_unreachable("'Assume' not implemented for this NonLoc"); 263 // No logic yet for other operators. assume the constraint is feasible.
|