Home
last modified time | relevance | path

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

/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h60 friend class NodeBuilder; variable
247 class NodeBuilder {
284 NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet,
290 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
297 virtual ~NodeBuilder() = default;
354 class NodeBuilderWithSinks: public NodeBuilder {
364 : NodeBuilder(Pred, DstSet, Ctx), Location(L) {} in NodeBuilderWithSinks()
370 return NodeBuilder::generateNode(LocalLoc, State, Pred);
376 ExplodedNode *N = NodeBuilder::generateSink(LocalLoc, State, Pred);
391 class StmtNodeBuilder: public NodeBuilder {
[all …]
H A DExprEngine.h718 void defaultEvalCall(NodeBuilder &B, ExplodedNode *Pred,
862 NodeBuilder &Bldr, ExplodedNode *Pred, ProgramStateRef State);
864 void ctuBifurcate(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
872 void conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr,
878 const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
885 void performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,
H A DCheckerContext.h34 NodeBuilder &NB;
41 CheckerContext(NodeBuilder &builder,
H A DExplodedGraph.h71 friend class NodeBuilder; variable
H A DProgramState.h82 friend class NodeBuilder; variable
/openbsd-src/gnu/llvm/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.cpp505 NodeBuilder &Bldr, ExplodedNode *Pred, in REGISTER_MAP_WITH_PROGRAMSTATE()
533 const Decl *D, NodeBuilder &Bldr, in inlineCall()
668 NodeBuilder B(Pred, Dst, *currBldrCtx); in finishArgumentConstruction()
714 NodeBuilder B(I, Dst, *currBldrCtx); in evalCall()
834 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, in conservativeEvalCall()
1215 void ExprEngine::defaultEvalCall(NodeBuilder &Bldr, ExplodedNode *Pred, in defaultEvalCall()
1273 NodeBuilder &Bldr, ExplodedNode *Pred) { in BifurcateCall()
H A DCoreEngine.cpp261 NodeBuilder Bldr(Pred, Dst, BuilderCtx); in HandleBlockEdge()
632 void NodeBuilder::anchor() {} in anchor()
634 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc, in generateNodeImpl()
H A DExprEngine.cpp1139 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessLoopExit()
1179 NodeBuilder Bldr(Pred, Tmp, *currBldrCtx); in ProcessInitializer()
1229 NodeBuilder Bldr(Tmp, Dst, *currBldrCtx); in ProcessInitializer()
1314 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessNewAllocator()
1365 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessAutomaticObjDtor()
1377 NodeBuilder Bldr(Pred, Dst, getBuilderContext()); in ProcessAutomaticObjDtor()
1410 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessDeleteDtor()
1443 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessDeleteDtor()
1453 NodeBuilder Bldr(Pred, Dst, getBuilderContext()); in ProcessDeleteDtor()
1517 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessMemberDtor()
[all …]
H A DExprEngineCXX.cpp42 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy()
873 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in VisitCXXDestructor()
889 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in VisitCXXDestructor()