SimpleConstraintManager.cpp | 68 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager 72 return assume(state, *NV, Assumption); 73 return assume(state, Cond.castAs<Loc>(), Assumption); 76 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, Loc cond, function in class:clang::ento::SimpleConstraintManager 88 assert (false && "'Assume' not implemented for this Loc."); 118 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager 159 llvm_unreachable("'Assume' not implemented for this NonLoc");
|