Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DCoreEngine.cpp311 NodeBuilderWithSinks nodeBuilder(Pred, dstNodes, BuilderCtx, BE); in HandleBlockEdge() local
312 SubEng.processCFGBlockEntrance(L, nodeBuilder, Pred); in HandleBlockEdge()
315 if (!nodeBuilder.hasGeneratedNodes()) { in HandleBlockEdge()
316 nodeBuilder.generateNode(Pred->State, Pred); in HandleBlockEdge()
DExprEngine.cpp1373 NodeBuilderWithSinks &nodeBuilder, in processCFGBlockEntrance() argument
1378 if (nodeBuilder.getContext().blockCount() >= AMgr.options.maxBlockVisitOnPath) { in processCFGBlockEntrance()
1381 nodeBuilder.generateSink(Pred->getState(), Pred, &tag); in processCFGBlockEntrance()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSubEngine.h63 NodeBuilderWithSinks &nodeBuilder,
DExprEngine.h218 NodeBuilderWithSinks &nodeBuilder,