Home
last modified time | relevance | path

Searched refs:CEENode (Results 1 – 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DExprEngineCallAndReturn.cpp315 ExplodedNode *CEENode = G.getNode(Loc, CEEState, false, &isNew); in processCallExit() local
316 CEENode->addPredecessor(*I, G); in processCallExit()
323 NodeBuilderContext Ctx(Engine, calleeCtx->getCallSiteBlock(), CEENode); in processCallExit()
331 getCheckerManager().runCheckersForPostCall(DstPostCall, CEENode, in processCallExit()