Home
last modified time | relevance | path

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

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DCoreEngine.cpp247 NodeBuilderWithSinks nodeBuilder(Pred, dstNodes, BuilderCtx, BE); in HandleBlockEdge() local
248 SubEng.processCFGBlockEntrance(L, nodeBuilder, Pred); in HandleBlockEdge()
251 if (!nodeBuilder.hasGeneratedNodes()) { in HandleBlockEdge()
252 nodeBuilder.generateNode(Pred->State, Pred); in HandleBlockEdge()
H A DExprEngine.cpp1854 NodeBuilderWithSinks &nodeBuilder, in processCFGBlockEntrance() argument
1861 const Stmt *Term = nodeBuilder.getContext().getBlock()->getTerminator(); in processCFGBlockEntrance()
1866 ExplodedNode *UpdatedNode = nodeBuilder.generateNode(NewState, Pred); in processCFGBlockEntrance()
1879 unsigned int BlockCount = nodeBuilder.getContext().blockCount(); in processCFGBlockEntrance()
1882 const Stmt *Term = nodeBuilder.getContext().getBlock()->getTerminator(); in processCFGBlockEntrance()
1890 nodeBuilder.generateNode(WidenedState, Pred); in processCFGBlockEntrance()
1898 nodeBuilder.generateSink(Pred->getState(), Pred, &tag); in processCFGBlockEntrance()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSubEngine.h70 NodeBuilderWithSinks &nodeBuilder,
H A DExprEngine.h291 NodeBuilderWithSinks &nodeBuilder,