| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngineC.cpp | 85 Bldr.generateNode(B, *it, state); in VisitBinaryOperator()
90 Bldr.generateNode(B, *it, state); in VisitBinaryOperator()
208 Bldr.generateNode(BE, Pred, in VisitBlockExpr()
276 Bldr.generateNode(CastE, Pred, state); in VisitCast()
313 Bldr.generateNode(CastE, Pred, state); in VisitCast()
322 Bldr.generateNode(CastE, Pred, state); in VisitCast()
364 Bldr.generateNode(CastE, Pred, state); in VisitCast()
371 Bldr.generateNode(CastE, Pred, state); in VisitCast()
390 Bldr.generateNode(CastE, Pred, state); in VisitCast()
419 B.generateNode(CL, Pred, state->BindExpr(CL, LC, state->getLValue(CL, LC))); in VisitCompoundLiteralExpr()
[all …]
|
| D | ExprEngine.cpp | 281 Bldr.generateNode(DiagnosticStmt, Pred, CleanedState, &cleanupTag, K); in removeDead()
313 Bldr.generateNode(DiagnosticStmt, *I, CleanedCheckerSt, &cleanupTag, K); in removeDead()
404 Bldr.generateNode(PP, N->getState(), N); in ProcessInitializer()
573 Bldr.generateNode(S, Pred, state); in Visit()
657 Bldr2.generateNode(S, N, state); in Visit()
699 Bldr.generateNode(B, Pred, in Visit()
917 Bldr.generateNode(SE, Pred, in Visit()
945 Bldr.generateNode(S, Pred, in Visit()
949 Bldr.generateNode(S, Pred, in Visit()
1155 NullCondBldr.generateNode(Pred->getState(), true, Pred); in processBranch()
[all …]
|
| D | ExprEngineCXX.cpp | 49 Bldr.generateNode(ME, Pred, state->BindExpr(ME, LCtx, V)); in CreateCXXTemporaryObject()
241 Bldr.generateNode(CNE, Pred, State); in VisitCXXNewExpr()
273 Bldr.generateNode(CNE, Pred, State); in VisitCXXNewExpr()
280 Bldr.generateNode(CDE, Pred, state); in VisitCXXDeleteExpr()
299 Bldr.generateNode(CS, Pred, state); in VisitCXXCatchStmt()
315 Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V)); in VisitCXXThisExpr()
|
| D | CoreEngine.cpp | 195 generateNode(StartLoc, SubEng.getInitialState(L), 0); in ExecuteWorkList()
197 generateNode(StartLoc, InitState, 0); in ExecuteWorkList()
315 nodeBuilder.generateNode(Pred->State, Pred); in HandleBlockEdge()
372 generateNode(BlockEdge(B, succ, Pred->getLocationContext()), in HandleBlockExit()
444 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()), in HandleBlockExit()
474 void CoreEngine::generateNode(const ProgramPoint &Loc, in generateNode() function in CoreEngine
615 ExplodedNode *BranchNodeBuilder::generateNode(ProgramStateRef State, in generateNode() function in BranchNodeBuilder
629 IndirectGotoNodeBuilder::generateNode(const iterator &I, in generateNode() function in IndirectGotoNodeBuilder
|
| 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()
196 Pred = Bldr.generateNode(currStmt, Pred, notNilState); in VisitObjCMessage()
|
| D | ExprEngineCallAndReturn.cpp | 595 Bldr.generateNode(Call.getProgramPoint(), State, Pred); in conservativeEvalCall()
696 B.generateNode(RS, *it, (*it)->getState()); in VisitReturnStmt()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CoreEngine.h | 87 void generateNode(const ProgramPoint &Loc,
263 ExplodedNode *generateNode(const ProgramPoint &PP, in generateNode() function
323 ExplodedNode *generateNode(ProgramStateRef State,
327 return NodeBuilder::generateNode(LocalLoc, State, Pred);
373 using NodeBuilder::generateNode;
376 ExplodedNode *generateNode(const Stmt *S,
383 return NodeBuilder::generateNode(L, St, Pred);
426 ExplodedNode *generateNode(ProgramStateRef State, bool branch,
479 ExplodedNode *generateNode(const iterator &I,
|
| D | CheckerContext.h | 240 node = NB.generateNode(LocalLoc, State, P);
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | OSAtomicChecker.cpp | 195 B.generateNode(CE, predNew, stateNew->BindExpr(CE, LCtx, Res), this); in evalOSAtomicCompareAndSwap()
207 B.generateNode(CE, N, stateNotEqual->BindExpr(CE, LCtx, Res), this); in evalOSAtomicCompareAndSwap()
|