| /openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineC.cpp | 109 Bldr.generateNode(B, *it, state); in VisitBinaryOperator()
251 Bldr.generateNode(BE, Pred, in VisitBlockExpr()
281 Bldr.generateNode(CastE, Pred, state); in handleLValueBitCast()
641 B.generateNode(DS, N, state); in VisitDeclStmt()
677 Bldr.generateNode(B, Pred, state); in VisitLogicalExpr()
688 Bldr.generateNode(B, Pred, state); in VisitLogicalExpr()
696 Bldr.generateNode(B, Pred, state); in VisitLogicalExpr()
770 B.generateNode(IE, Pred, in VisitInitListExpr()
865 B.generateNode(OOE, Pred, in VisitOffsetOfExpr()
910 Bldr.generateNode(Ex, *I, state); in VisitUnaryExprOrTypeTraitExpr()
[all …]
|
| H A D | ExprEngine.cpp | 1146 Bldr.generateNode(PP, NewState, Pred); in ProcessLoopExit()
1232 Bldr.generateNode(PP, State, I); in ProcessInitializer()
1569 Bldr.generateNode(PP, State, Pred); in ProcessTemporaryDtor()
2074 Bldr.generateNode(B, Pred, in Visit()
2347 Bldr.generateNode(SE, Pred, in Visit()
2375 Bldr.generateNode(S, Pred, in Visit()
2379 Bldr.generateNode(S, Pred, in Visit()
2396 Bldr.generateNode(S, Pred, in Visit()
2865 builder.generateNode(I, state); in processIndirectGoto()
3573 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 | 37 Bldr.generateNode(ME, Pred, state); in CreateCXXTemporaryObject()
95 Bldr.generateNode(PS, State, *I); in performTrivialCopy()
597 Bldr.generateNode(CE, Pred, State); in handleConstructor()
637 Bldr.generateNode(CE, Pred, State, &T); in handleConstructor()
760 Bldr.generateNode(CE, *I, State, /*tag=*/nullptr, in handleConstructor()
874 Bldr.generateNode(PP, Pred->getState(), Pred); in VisitCXXDestructor()
978 ValueBldr.generateNode( in VisitCXXNewAllocatorCall()
1074 Pred = Bldr.generateNode(CNE, Pred, State); in VisitCXXNewExpr()
1089 Bldr.generateNode(CNE, Pred, State); in VisitCXXNewExpr()
1159 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()
363 generateNode(BlockEdge(B, succ, Pred->getLocationContext()), in HandleBlockExit()
444 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()), in HandleBlockExit()
525 void CoreEngine::generateNode(const ProgramPoint &Loc, in generateNode() function in CoreEngine
663 ExplodedNode *BranchNodeBuilder::generateNode(ProgramStateRef State, in generateNode() function in BranchNodeBuilder
677 IndirectGotoNodeBuilder::generateNode(const iterator &I, in generateNode() function in IndirectGotoNodeBuilder
|
| H A D | ExprEngineCallAndReturn.cpp | 672 B.generateNode(PP, CleanedState, Pred); in finishArgumentConstruction()
739 B.generateNode(I->getLocation(), State, I); in evalCall()
840 Bldr.generateNode(Call.getProgramPoint(), State, Pred); in conservativeEvalCall()
1318 B.generateNode(RS, *it, (*it)->getState()); in VisitReturnStmt()
|
| /openbsd/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CoreEngine.h | 107 void generateNode(const ProgramPoint &Loc,
300 ExplodedNode *generateNode(const ProgramPoint &PP, in generateNode() function
366 ExplodedNode *generateNode(ProgramStateRef State,
370 return NodeBuilder::generateNode(LocalLoc, State, Pred);
417 using NodeBuilder::generateNode;
420 ExplodedNode *generateNode(const Stmt *S,
427 return NodeBuilder::generateNode(L, St, Pred);
471 ExplodedNode *generateNode(ProgramStateRef State, bool branch,
525 ExplodedNode *generateNode(const iterator &I,
|
| H A D | CheckerContext.h | 422 node = NB.generateNode(LocalLoc, State, P);
|