Searched defs:addTransitionImpl (Results 1 - 1 of 1) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerContext.h | 210 return addTransitionImpl(State ? State : getState(), false, nullptr, Tag);
223 return addTransitionImpl(State, false, Pred, Tag);
231 return addTransitionImpl(State ? State : getState(), true, Pred, Tag);
286 ExplodedNode *addTransitionImpl(ProgramStateRef State, function in class:clang::ento::CheckerContext
|
Completed in 93 milliseconds