Searched refs:BindedRetNode (Results 1 - 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineCallAndReturn.cpp | 147 // Step 2: generate node with bound return value: CEBNode -> BindedRetNode.
173 // Step 3: BindedRetNode -> CleanedNodes
183 ExplodedNode *BindedRetNode = G.getNode(Loc, state, false, &isNew); local
184 BindedRetNode->addPredecessor(CEBNode, G);
188 NodeBuilderContext Ctx(getCoreEngine(), Blk, BindedRetNode);
194 removeDead(BindedRetNode, CleanedNodes, 0, callerCtx, LastSt,
|
Completed in 52 milliseconds