Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h61 friend class NodeBuilder; variable
238 class NodeBuilder {
275 NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet,
281 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
288 virtual ~NodeBuilder() = default;
345 class NodeBuilderWithSinks: public NodeBuilder {
355 : NodeBuilder(Pred, DstSet, Ctx), Location(L) {} in NodeBuilderWithSinks()
361 return NodeBuilder::generateNode(LocalLoc, State, Pred);
367 ExplodedNode *N = NodeBuilder::generateSink(LocalLoc, State, Pred);
382 class StmtNodeBuilder: public NodeBuilder {
[all …]
H A DExprEngine.h703 void defaultEvalCall(NodeBuilder &B, ExplodedNode *Pred,
838 NodeBuilder &Bldr, ExplodedNode *Pred, ProgramStateRef State);
840 void ctuBifurcate(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
848 void conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr,
854 const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
861 void performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,
H A DCheckerContext.h34 NodeBuilder &NB;
41 CheckerContext(NodeBuilder &builder,
H A DExplodedGraph.h72 friend class NodeBuilder; variable
H A DProgramState.h82 friend class NodeBuilder; variable
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCheckerManager.cpp135 NodeBuilder B(*PrevSet, *CurrSet, BldrCtx); in expandGraphWithCheckers()
168 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
215 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
285 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
332 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
380 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
424 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
455 NodeBuilder Bldr(Pred, Dst, BC); in runCheckersForEndFunction()
481 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
521 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
[all …]
H A DExprEngineCallAndReturn.cpp503 NodeBuilder &Bldr, ExplodedNode *Pred, in REGISTER_MAP_WITH_PROGRAMSTATE()
531 const Decl *D, NodeBuilder &Bldr, in inlineCall()
665 NodeBuilder B(Pred, Dst, *currBldrCtx); in finishArgumentConstruction()
711 NodeBuilder B(I, Dst, *currBldrCtx); in evalCall()
831 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, in conservativeEvalCall()
1214 void ExprEngine::defaultEvalCall(NodeBuilder &Bldr, ExplodedNode *Pred, in defaultEvalCall()
1272 NodeBuilder &Bldr, ExplodedNode *Pred) { in BifurcateCall()
H A DCoreEngine.cpp249 NodeBuilder Bldr(Pred, Dst, BuilderCtx); in HandleBlockEdge()
620 void NodeBuilder::anchor() {} in anchor()
622 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc, in generateNodeImpl()
H A DExprEngine.cpp1145 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessLoopExit()
1185 NodeBuilder Bldr(Pred, Tmp, *currBldrCtx); in ProcessInitializer()
1243 NodeBuilder Bldr(Tmp, Dst, *currBldrCtx); in ProcessInitializer()
1328 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessNewAllocator()
1381 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessAutomaticObjDtor()
1393 NodeBuilder Bldr(Pred, Dst, getBuilderContext()); in ProcessAutomaticObjDtor()
1427 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessDeleteDtor()
1461 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessDeleteDtor()
1471 NodeBuilder Bldr(Pred, Dst, getBuilderContext()); in ProcessDeleteDtor()
1537 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessMemberDtor()
[all …]
H A DExprEngineCXX.cpp44 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy()
879 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in VisitCXXDestructor()
895 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in VisitCXXDestructor()