| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineC.cpp | 109 Bldr.generateNode(B, *it, state); in VisitBinaryOperator()
246 Bldr.generateNode(BE, Pred, in VisitBlockExpr()
277 Bldr.generateNode(CastE, Pred, state); in handleLValueBitCast()
340 Bldr.generateNode(CastE, Pred, state); in VisitCast()
351 Bldr.generateNode(CastE, Pred, state); in VisitCast()
369 Bldr.generateNode(CastE, Pred, state); in VisitCast()
417 Bldr.generateNode(CastE, Pred, state); in VisitCast()
426 Bldr.generateNode(CastE, Pred, state); in VisitCast()
470 Bldr.generateNode(CastE, Pred, state); in VisitCast()
491 Bldr.generateNode(CastE, Pred, state); in VisitCast()
[all …]
|
| H A D | ExprEngine.cpp | 1105 Bldr.generateNode(DiagnosticStmt, I, CleanedCheckerSt, &cleanupTag, K); in removeDead()
1152 Bldr.generateNode(PP, NewState, Pred); in ProcessLoopExit()
1187 Bldr.generateNode(PS, State, Pred); in ProcessInitializer()
1246 Bldr.generateNode(PP, State, I); in ProcessInitializer()
1332 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessNewAllocator()
1399 Pred = Bldr.generateNode(PP, state, Pred); in ProcessAutomaticObjDtor()
1428 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessDeleteDtor()
1462 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessDeleteDtor()
1476 Pred = Bldr.generateNode(PP, State, Pred); in ProcessDeleteDtor()
1554 Pred = Bldr.generateNode(PP, State, Pred); in ProcessMemberDtor()
[all …]
|
| H A D | ExprEngineCXX.cpp | 39 Bldr.generateNode(ME, Pred, state); in CreateCXXTemporaryObject()
96 Bldr.generateNode(PS, State, N); in performTrivialCopy()
605 Bldr.generateNode(CE, Pred, State); in handleConstructor()
645 Bldr.generateNode(CE, Pred, State, &T); in handleConstructor()
726 BldrPrepare.generateNode(E, Pred, State, &T, ProgramPoint::PreStmtKind); in handleConstructor()
766 Bldr.generateNode(CE, N, State, /*tag=*/nullptr, in handleConstructor()
880 Bldr.generateNode(PP, Pred->getState(), Pred); in VisitCXXDestructor()
983 ValueBldr.generateNode( in VisitCXXNewAllocatorCall()
1079 Pred = Bldr.generateNode(CNE, Pred, State); in VisitCXXNewExpr()
1094 Bldr.generateNode(CNE, Pred, State); in VisitCXXNewExpr()
[all …]
|
| H A D | CoreEngine.cpp | 250 Pred = Bldr.generateNode(P, Pred->getState(), Pred); in HandleBlockEdge()
287 nodeBuilder.generateNode(Pred->State, Pred); in HandleBlockEdge()
351 generateNode(BlockEdge(B, succ, Pred->getLocationContext()), in HandleBlockExit()
432 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()), in HandleBlockExit()
513 void CoreEngine::generateNode(const ProgramPoint &Loc, in generateNode() function in CoreEngine
651 ExplodedNode *BranchNodeBuilder::generateNode(ProgramStateRef State, in generateNode() function in BranchNodeBuilder
665 IndirectGotoNodeBuilder::generateNode(const iterator &I, in generateNode() function in IndirectGotoNodeBuilder
|
| H A D | ExprEngineCallAndReturn.cpp | 669 B.generateNode(PP, CleanedState, Pred); in finishArgumentConstruction()
736 B.generateNode(I->getLocation(), State, I); in evalCall()
838 Bldr.generateNode(Call.getProgramPoint(false, &PT), State, Pred); in conservativeEvalCall()
1317 B.generateNode(RS, *it, (*it)->getState()); in VisitReturnStmt()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CoreEngine.h | 108 void generateNode(const ProgramPoint &Loc,
291 ExplodedNode *generateNode(const ProgramPoint &PP, in generateNode() function
357 ExplodedNode *generateNode(ProgramStateRef State,
361 return NodeBuilder::generateNode(LocalLoc, State, Pred);
408 using NodeBuilder::generateNode;
411 ExplodedNode *generateNode(const Stmt *S,
418 return NodeBuilder::generateNode(L, St, Pred);
462 ExplodedNode *generateNode(ProgramStateRef State, bool branch,
521 ExplodedNode *generateNode(const iterator &I,
|
| H A D | CheckerContext.h | 434 node = NB.generateNode(LocalLoc, State, P);
|