Searched refs:nodeBuilder (Results 1 – 3 of 3) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | CoreEngine.cpp | 264 NodeBuilderWithSinks nodeBuilder(Pred, dstNodes, BuilderCtx, BE); in HandleBlockEdge() local
265 ExprEng.processCFGBlockEntrance(L, nodeBuilder, Pred); in HandleBlockEdge()
268 if (!nodeBuilder.hasGeneratedNodes()) { in HandleBlockEdge()
269 nodeBuilder.generateNode(Pred->State, Pred); in HandleBlockEdge()
|
| H A D | ExprEngine.cpp | 1960 NodeBuilderWithSinks &nodeBuilder, in processCFGBlockEntrance() argument
1967 const Stmt *Term = nodeBuilder.getContext().getBlock()->getTerminatorStmt(); in processCFGBlockEntrance()
1972 ExplodedNode *UpdatedNode = nodeBuilder.generateNode(NewState, Pred); in processCFGBlockEntrance()
1985 unsigned int BlockCount = nodeBuilder.getContext().blockCount(); in processCFGBlockEntrance()
1988 const Stmt *Term = nodeBuilder.getContext().getBlock()->getTerminatorStmt(); in processCFGBlockEntrance()
1996 nodeBuilder.generateNode(WidenedState, Pred); in processCFGBlockEntrance()
2004 nodeBuilder.generateSink(Pred->getState(), Pred, &tag); in processCFGBlockEntrance()
|
| /netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ExprEngine.h | 322 NodeBuilderWithSinks &nodeBuilder,
|