Searched refs:CEENode (Results 1 – 1 of 1) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineCallAndReturn.cpp | 311 ExplodedNode *CEENode = G.getNode(Loc, CEEState, false, &isNew); in processCallExit() local
312 CEENode->addPredecessor(*I, G); in processCallExit()
319 NodeBuilderContext Ctx(Engine, calleeCtx->getCallSiteBlock(), CEENode); in processCallExit()
330 CEENode, *UpdatedCall, *this, in processCallExit()
341 getCheckerManager().runCheckersForPostCall(DstPostCall, CEENode, in processCallExit()
|