Home
last modified time | relevance | path

Searched refs:NodeBuilder (Results 1 – 9 of 9) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h60 friend class NodeBuilder; variable
228 class NodeBuilder {
278 virtual ~NodeBuilder() = default;
333 class NodeBuilderWithSinks: public NodeBuilder {
370 class StmtNodeBuilder: public NodeBuilder {
371 NodeBuilder *EnclosingBldr;
396 using NodeBuilder::generateNode;
397 using NodeBuilder::generateSink;
406 return NodeBuilder::generateNode(L, St, Pred);
416 return NodeBuilder::generateSink(L, St, Pred);
[all …]
H A DExprEngine.h666 void defaultEvalCall(NodeBuilder &B, ExplodedNode *Pred,
715 bool inlineCall(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
720 void conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr,
726 const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
733 void performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,
H A DCheckerContext.h34 NodeBuilder &NB;
41 CheckerContext(NodeBuilder &builder,
H A DExplodedGraph.h72 friend class NodeBuilder; variable
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DCheckerManager.cpp127 NodeBuilder B(*PrevSet, *CurrSet, BldrCtx); in expandGraphWithCheckers()
160 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
207 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
277 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
324 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
372 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
416 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
447 NodeBuilder Bldr(Pred, Dst, BC); in runCheckersForEndFunction()
473 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
649 NodeBuilder B(Pred, checkDst, Eng.getBuilderContext()); in runCheckersForEvalCall()
[all …]
H A DExprEngineCallAndReturn.cpp413 NodeBuilder &Bldr, ExplodedNode *Pred, in REGISTER_MAP_WITH_PROGRAMSTATE()
544 NodeBuilder B(Pred, Dst, *currBldrCtx); in finishArgumentConstruction()
648 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, in conservativeEvalCall()
985 void ExprEngine::defaultEvalCall(NodeBuilder &Bldr, ExplodedNode *Pred, in defaultEvalCall()
1039 NodeBuilder &Bldr, ExplodedNode *Pred) { in BifurcateCall()
H A DCoreEngine.cpp552 void NodeBuilder::anchor() {} in anchor()
554 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc, in generateNodeImpl()
H A DExprEngine.cpp754 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessLoopExit()
794 NodeBuilder Bldr(Pred, Tmp, *currBldrCtx); in ProcessInitializer()
844 NodeBuilder Bldr(Tmp, Dst, *currBldrCtx); in ProcessInitializer()
892 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessNewAllocator()
952 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessDeleteDtor()
1040 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessTemporaryDtor()
2247 NodeBuilder Bldr(Pred, PostCleanup, BC); in processEndOfFunction()
H A DExprEngineCXX.cpp41 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy()