| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngineC.cpp | 95 Bldr.generateNode(B, *it, state); in VisitBinaryOperator()
100 Bldr.generateNode(B, *it, state); in VisitBinaryOperator()
241 Bldr.generateNode(BE, Pred, in VisitBlockExpr()
309 Bldr.generateNode(CastE, Pred, state); in VisitCast()
349 Bldr.generateNode(CastE, Pred, state); in VisitCast()
358 Bldr.generateNode(CastE, Pred, state); in VisitCast()
400 Bldr.generateNode(CastE, Pred, state); in VisitCast()
407 Bldr.generateNode(CastE, Pred, state); in VisitCast()
425 Bldr.generateNode(CastE, Pred, state); in VisitCast()
462 B.generateNode(CL, Pred, State->BindExpr(CL, LCtx, V)); in VisitCompoundLiteralExpr()
[all …]
|
| D | ExprEngine.cpp | 387 Bldr.generateNode(DiagnosticStmt, Pred, CleanedState, &cleanupTag, K); in removeDead()
419 Bldr.generateNode(DiagnosticStmt, *I, CleanedCheckerSt, &cleanupTag, K); in removeDead()
536 Bldr.generateNode(PP, N->getState(), N); in ProcessInitializer()
584 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessNewAllocator()
627 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessDeleteDtor()
686 StmtBldr.generateNode(D.getBindTemporaryExpr(), Pred, State); in ProcessTemporaryDtor()
710 TempDtorBuilder.generateNode(Pred->getState(), true, Pred); in processCleanupTemporaryBranch()
713 TempDtorBuilder.generateNode(Pred->getState(), false, Pred); in processCleanupTemporaryBranch()
739 StmtBldr.generateNode(BTE, Node, State); in VisitCXXBindTemporaryExpr()
850 Bldr.generateNode(S, Pred, state); in Visit()
[all …]
|
| D | ExprEngineObjC.cpp | 32 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); in VisitLvalObjCIvarRefExpr()
126 Bldr.generateNode(S, Pred, hasElems); in VisitObjCForCollectionStmt()
127 Bldr.generateNode(S, Pred, noElems); in VisitObjCForCollectionStmt()
186 Pred = Bldr.generateNode(ME, Pred, nilState, nullptr, in VisitObjCMessage()
203 Pred = Bldr.generateNode(ME, Pred, notNilState); in VisitObjCMessage()
|
| D | ExprEngineCXX.cpp | 34 Bldr.generateNode(ME, Pred, state); in CreateCXXTemporaryObject()
81 Bldr.generateNode(PS, State, *I); in performTrivialCopy()
321 Bldr.generateNode(CE, *I, State, /*tag=*/nullptr, in VisitCXXConstructExpr()
497 Bldr.generateNode(CNE, Pred, State); in VisitCXXNewExpr()
515 ExplodedNode *NewN = Bldr.generateNode(CNE, Pred, State); in VisitCXXNewExpr()
535 Bldr.generateNode(CDE, Pred, state); in VisitCXXDeleteExpr()
554 Bldr.generateNode(CS, Pred, state); in VisitCXXCatchStmt()
570 Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V)); in VisitCXXThisExpr()
617 Bldr.generateNode(LE, Pred, in VisitLambdaExpr()
|
| D | CoreEngine.cpp | 196 generateNode(StartLoc, SubEng.getInitialState(L), nullptr); in ExecuteWorkList()
198 generateNode(StartLoc, InitState, nullptr); in ExecuteWorkList()
316 nodeBuilder.generateNode(Pred->State, Pred); in HandleBlockEdge()
383 generateNode(BlockEdge(B, succ, Pred->getLocationContext()), in HandleBlockExit()
455 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()), in HandleBlockExit()
509 void CoreEngine::generateNode(const ProgramPoint &Loc, in generateNode() function in CoreEngine
655 ExplodedNode *BranchNodeBuilder::generateNode(ProgramStateRef State, in generateNode() function in BranchNodeBuilder
669 IndirectGotoNodeBuilder::generateNode(const iterator &I, in generateNode() function in IndirectGotoNodeBuilder
|
| D | ExprEngineCallAndReturn.cpp | 582 Bldr.generateNode(Call.getProgramPoint(), State, Pred); in conservativeEvalCall()
1006 B.generateNode(RS, *it, (*it)->getState()); in VisitReturnStmt()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CoreEngine.h | 87 void generateNode(const ProgramPoint &Loc,
260 ExplodedNode *generateNode(const ProgramPoint &PP, in generateNode() function
320 ExplodedNode *generateNode(ProgramStateRef State,
324 return NodeBuilder::generateNode(LocalLoc, State, Pred);
372 using NodeBuilder::generateNode;
375 ExplodedNode *generateNode(const Stmt *S,
382 return NodeBuilder::generateNode(L, St, Pred);
425 ExplodedNode *generateNode(ProgramStateRef State, bool branch,
478 ExplodedNode *generateNode(const iterator &I,
|
| D | CheckerContext.h | 340 node = NB.generateNode(LocalLoc, State, P);
|