Searched refs:nodeBuilder (Results 1 – 4 of 4) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CoreEngine.cpp | 323 NodeBuilderWithSinks nodeBuilder(Pred, dstNodes, BuilderCtx, BE); in HandleBlockEdge() local
324 SubEng.processCFGBlockEntrance(L, nodeBuilder, Pred); in HandleBlockEdge()
327 if (!nodeBuilder.hasGeneratedNodes()) { in HandleBlockEdge()
328 nodeBuilder.generateNode(Pred->State, Pred); in HandleBlockEdge()
|
| D | ExprEngine.cpp | 1419 NodeBuilderWithSinks &nodeBuilder, in processCFGBlockEntrance() argument
1425 unsigned int BlockCount = nodeBuilder.getContext().blockCount(); in processCFGBlockEntrance()
1428 const Stmt *Term = nodeBuilder.getContext().getBlock()->getTerminator(); in processCFGBlockEntrance()
1436 nodeBuilder.generateNode(WidenedState, Pred); in processCFGBlockEntrance()
1444 nodeBuilder.generateSink(Pred->getState(), Pred, &tag); in processCFGBlockEntrance()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SubEngine.h | 63 NodeBuilderWithSinks &nodeBuilder,
|
| D | ExprEngine.h | 218 NodeBuilderWithSinks &nodeBuilder,
|