| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineC.cpp | 108 Bldr.generateNode(B, *it, state); in VisitBinaryOperator()
250 Bldr.generateNode(BE, Pred, in VisitBlockExpr()
280 Bldr.generateNode(CastE, Pred, state); in handleLValueBitCast()
640 B.generateNode(DS, N, state); in VisitDeclStmt()
676 Bldr.generateNode(B, Pred, state); in VisitLogicalExpr()
687 Bldr.generateNode(B, Pred, state); in VisitLogicalExpr()
695 Bldr.generateNode(B, Pred, state); in VisitLogicalExpr()
769 B.generateNode(IE, Pred, in VisitInitListExpr()
864 B.generateNode(OOE, Pred, in VisitOffsetOfExpr()
909 Bldr.generateNode(Ex, *I, state); in VisitUnaryExprOrTypeTraitExpr()
[all …]
|
| H A D | ExprEngine.cpp | 981 Bldr.generateNode(PP, NewState, Pred); in ProcessLoopExit()
1067 Bldr.generateNode(PP, State, I); in ProcessInitializer()
1265 Bldr.generateNode(PP, State, Pred); in ProcessTemporaryDtor()
1752 Bldr.generateNode(B, Pred, in Visit()
2025 Bldr.generateNode(SE, Pred, in Visit()
2053 Bldr.generateNode(S, Pred, in Visit()
2057 Bldr.generateNode(S, Pred, in Visit()
2074 Bldr.generateNode(S, Pred, in Visit()
2542 builder.generateNode(I, state); in processIndirectGoto()
3241 Bldr.generateNode(L, state, Pred); in evalBind()
[all …]
|
| H A D | ExprEngineObjC.cpp | 31 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 D | ExprEngineCXX.cpp | 35 Bldr.generateNode(ME, Pred, state); in CreateCXXTemporaryObject()
93 Bldr.generateNode(PS, State, *I); in performTrivialCopy()
569 Bldr.generateNode(CE, Pred, State); in handleConstructor()
710 Bldr.generateNode(CE, *I, State, /*tag=*/nullptr, in handleConstructor()
824 Bldr.generateNode(PP, Pred->getState(), Pred); in VisitCXXDestructor()
923 ValueBldr.generateNode( in VisitCXXNewAllocatorCall()
1019 Pred = Bldr.generateNode(CNE, Pred, State); in VisitCXXNewExpr()
1034 Bldr.generateNode(CNE, Pred, State); in VisitCXXNewExpr()
1051 ExplodedNode *NewN = Bldr.generateNode(CNE, Pred, State); in VisitCXXNewExpr()
1104 Bldr.generateNode(CS, Pred, state); in VisitCXXCatchStmt()
[all …]
|
| H A D | CoreEngine.cpp | 262 Pred = Bldr.generateNode(P, Pred->getState(), Pred); in HandleBlockEdge()
299 nodeBuilder.generateNode(Pred->State, Pred); in HandleBlockEdge()
364 generateNode(BlockEdge(B, succ, Pred->getLocationContext()), in HandleBlockExit()
445 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()), in HandleBlockExit()
526 void CoreEngine::generateNode(const ProgramPoint &Loc, in generateNode() function in CoreEngine
664 ExplodedNode *BranchNodeBuilder::generateNode(ProgramStateRef State, in generateNode() function in BranchNodeBuilder
678 IndirectGotoNodeBuilder::generateNode(const iterator &I, in generateNode() function in IndirectGotoNodeBuilder
|
| H A D | ExprEngineCallAndReturn.cpp | 619 B.generateNode(PP, CleanedState, Pred); in finishArgumentConstruction()
686 B.generateNode(I->getLocation(), State, I); in evalCall()
782 Bldr.generateNode(Call.getProgramPoint(), State, Pred); in conservativeEvalCall()
1243 B.generateNode(RS, *it, (*it)->getState()); in VisitReturnStmt()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CoreEngine.h | 107 void generateNode(const ProgramPoint &Loc,
294 ExplodedNode *generateNode(const ProgramPoint &PP, in generateNode() function
360 ExplodedNode *generateNode(ProgramStateRef State,
364 return NodeBuilder::generateNode(LocalLoc, State, Pred);
411 using NodeBuilder::generateNode;
414 ExplodedNode *generateNode(const Stmt *S,
421 return NodeBuilder::generateNode(L, St, Pred);
465 ExplodedNode *generateNode(ProgramStateRef State, bool branch,
519 ExplodedNode *generateNode(const iterator &I,
|
| H A D | CheckerContext.h | 405 node = NB.generateNode(LocalLoc, State, P);
|