Searched defs:BindedRetNode (Results 1 - 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineCallAndReturn.cpp | 241 // Step 2: generate node with bound return value: CEBNode -> BindedRetNode.
278 // Step 3: BindedRetNode -> CleanedNodes
288 ExplodedNode *BindedRetNode = G.getNode(Loc, state, false, &isNew); local
289 BindedRetNode->addPredecessor(CEBNode, G);
293 NodeBuilderContext Ctx(getCoreEngine(), Blk, BindedRetNode);
299 removeDead(BindedRetNode, CleanedNodes, nullptr, calleeCtx,
|
Completed in 160 milliseconds