Searched refs:assumeAux (Results 1 - 2 of 2) sorted by relevance
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | SimpleConstraintManager.h | 88 ProgramStateRef assumeAux(ProgramStateRef state, 92 ProgramStateRef assumeAux(ProgramStateRef state,
|
H A D | SimpleConstraintManager.cpp | 69 state = assumeAux(state, cond, assumption); 75 ProgramStateRef SimpleConstraintManager::assumeAux(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager 117 state = assumeAux(state, cond, assumption); 154 ProgramStateRef SimpleConstraintManager::assumeAux(ProgramStateRef state, function in class:clang::ento::SimpleConstraintManager 211 return assumeAux(state, cast<nonloc::LocAsInteger>(Cond).getLoc(),
|
Completed in 47 milliseconds