Home
last modified time | relevance | path

Searched refs:generateNode (Results 1 – 8 of 8) sorted by relevance

/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp109 Bldr.generateNode(B, *it, state); in VisitBinaryOperator()
251 Bldr.generateNode(BE, Pred, in VisitBlockExpr()
280 Bldr.generateNode(CastE, Pred, state); in handleLValueBitCast()
636 B.generateNode(DS, N, state); in VisitDeclStmt()
672 Bldr.generateNode(B, Pred, state); in VisitLogicalExpr()
683 Bldr.generateNode(B, Pred, state); in VisitLogicalExpr()
691 Bldr.generateNode(B, Pred, state); in VisitLogicalExpr()
766 B.generateNode(IE, Pred, in VisitInitListExpr()
861 B.generateNode(OOE, Pred, in VisitOffsetOfExpr()
906 Bldr.generateNode(Ex, *I, state); in VisitUnaryExprOrTypeTraitExpr()
[all …]
H A DExprEngine.cpp812 Bldr.generateNode(PP, NewState, Pred); in ProcessLoopExit()
898 Bldr.generateNode(PP, State, I); in ProcessInitializer()
1096 Bldr.generateNode(PP, State, Pred); in ProcessTemporaryDtor()
1567 Bldr.generateNode(B, Pred, in Visit()
1840 Bldr.generateNode(SE, Pred, in Visit()
1868 Bldr.generateNode(S, Pred, in Visit()
1872 Bldr.generateNode(S, Pred, in Visit()
1889 Bldr.generateNode(S, Pred, in Visit()
2358 builder.generateNode(I, state); in processIndirectGoto()
2902 Bldr.generateNode(L, state, Pred); in evalBind()
[all …]
H A DExprEngineObjC.cpp31 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); in VisitLvalObjCIvarRefExpr()
79 Bldr.generateNode(S, Pred, nextState); in populateObjCForDestinationSet()
199 Pred = Bldr.generateNode(ME, Pred, nilState, nullptr, in VisitObjCMessage()
220 Pred = Bldr.generateNode(ME, Pred, notNilState); in VisitObjCMessage()
H A DExprEngineCXX.cpp35 Bldr.generateNode(ME, Pred, state); in CreateCXXTemporaryObject()
93 Bldr.generateNode(PS, State, *I); in performTrivialCopy()
482 Bldr.generateNode(CE, Pred, State); in handleConstructor()
607 Bldr.generateNode(CE, *I, State, /*tag=*/nullptr, in handleConstructor()
721 Bldr.generateNode(PP, Pred->getState(), Pred); in VisitCXXDestructor()
820 ValueBldr.generateNode( in VisitCXXNewAllocatorCall()
909 Bldr.generateNode(CNE, Pred, State); in VisitCXXNewExpr()
926 ExplodedNode *NewN = Bldr.generateNode(CNE, Pred, State); in VisitCXXNewExpr()
970 Bldr.generateNode(CS, Pred, state); in VisitCXXCatchStmt()
986 Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V)); in VisitCXXThisExpr()
[all …]
H A DCoreEngine.cpp233 Pred = Bldr.generateNode(P, Pred->getState(), Pred); in HandleBlockEdge()
270 nodeBuilder.generateNode(Pred->State, Pred); in HandleBlockEdge()
335 generateNode(BlockEdge(B, succ, Pred->getLocationContext()), in HandleBlockExit()
416 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()), in HandleBlockExit()
497 void CoreEngine::generateNode(const ProgramPoint &Loc, in generateNode() function in CoreEngine
635 ExplodedNode *BranchNodeBuilder::generateNode(ProgramStateRef State, in generateNode() function in BranchNodeBuilder
649 IndirectGotoNodeBuilder::generateNode(const iterator &I, in generateNode() function in IndirectGotoNodeBuilder
H A DExprEngineCallAndReturn.cpp566 B.generateNode(PP, CleanedState, Pred); in finishArgumentConstruction()
633 B.generateNode(I->getLocation(), State, I); in evalCall()
729 Bldr.generateNode(Call.getProgramPoint(), State, Pred); in conservativeEvalCall()
1147 B.generateNode(RS, *it, (*it)->getState()); in VisitReturnStmt()
/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCoreEngine.h104 void generateNode(const ProgramPoint &Loc,
290 ExplodedNode *generateNode(const ProgramPoint &PP, in generateNode() function
354 ExplodedNode *generateNode(ProgramStateRef State,
358 return NodeBuilder::generateNode(LocalLoc, State, Pred);
405 using NodeBuilder::generateNode;
408 ExplodedNode *generateNode(const Stmt *S,
415 return NodeBuilder::generateNode(L, St, Pred);
459 ExplodedNode *generateNode(ProgramStateRef State, bool branch,
513 ExplodedNode *generateNode(const iterator &I,
H A DCheckerContext.h402 node = NB.generateNode(LocalLoc, State, P);