Searched refs:CEENode (Results 1 – 1 of 1) sorted by relevance
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineCallAndReturn.cpp | 386 ExplodedNode *CEENode = G.getNode(Loc, CEEState, false, &isNew); in processCallExit() local
387 CEENode->addPredecessor(*I, G); in processCallExit()
394 NodeBuilderContext Ctx(Engine, calleeCtx->getCallSiteBlock(), CEENode); in processCallExit()
404 CEENode, *UpdatedCall, *this, in processCallExit()
412 getCheckerManager().runCheckersForPostCall(DstPostCall, CEENode, in processCallExit()
|