| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngine.cpp | 385 StmtNodeBuilder Bldr(Pred, Out, *currBldrCtx); in removeDead() local
386 Bldr.generateNode(DiagnosticStmt, Pred, CleanedState, &cleanupTag, K); in removeDead()
398 StmtNodeBuilder Bldr(CheckedSet, Out, *currBldrCtx); in removeDead() local
418 Bldr.generateNode(DiagnosticStmt, *I, CleanedCheckerSt, &cleanupTag, K); in removeDead()
528 NodeBuilder Bldr(Tmp, Dst, *currBldrCtx); in ProcessInitializer() local
531 Bldr.generateNode(PP, N->getState(), N); in ProcessInitializer()
576 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessNewAllocator() local
579 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessNewAllocator()
621 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessDeleteDtor() local
622 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessDeleteDtor()
[all …]
|
| D | ExprEngineCXX.cpp | 28 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx); in CreateCXXTemporaryObject() local
34 Bldr.generateNode(ME, Pred, state); in CreateCXXTemporaryObject()
39 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy() argument
59 Bldr.takeNodes(Pred); in performTrivialCopy()
81 Bldr.generateNode(PS, State, *I); in performTrivialCopy()
243 StmtNodeBuilder Bldr(DstPreVisit, PreInitialized, *currBldrCtx); in VisitCXXConstructExpr() local
265 Bldr.generateNode(CE, *I, State, /*tag=*/nullptr, in VisitCXXConstructExpr()
276 StmtNodeBuilder Bldr(DstPreCall, DstEvaluated, *currBldrCtx); in VisitCXXConstructExpr() local
285 performTrivialCopy(Bldr, *I, *Call); in VisitCXXConstructExpr()
290 defaultEvalCall(Bldr, *I, *Call); in VisitCXXConstructExpr()
[all …]
|
| D | ExprEngineObjC.cpp | 31 StmtNodeBuilder Bldr(Pred, dstIvar, *currBldrCtx); in VisitLvalObjCIvarRefExpr() local
32 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); in VisitLvalObjCIvarRefExpr()
91 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx); in VisitObjCForCollectionStmt() local
126 Bldr.generateNode(S, Pred, hasElems); in VisitObjCForCollectionStmt()
127 Bldr.generateNode(S, Pred, noElems); in VisitObjCForCollectionStmt()
152 StmtNodeBuilder Bldr(dstGenericPrevisit, dstEval, *currBldrCtx); in VisitObjCMessage() local
183 Bldr.generateSink(ME, Pred, State); in VisitObjCMessage()
189 Pred = Bldr.generateNode(ME, Pred, notNilState); in VisitObjCMessage()
199 Bldr.generateSink(ME, Pred, Pred->getState()); in VisitObjCMessage()
204 defaultEvalCall(Bldr, Pred, *UpdatedMsg); in VisitObjCMessage()
|
| D | ExprEngineC.cpp | 62 StmtNodeBuilder Bldr(*it, Tmp2, *currBldrCtx); in VisitBinaryOperator() local
95 Bldr.generateNode(B, *it, state); in VisitBinaryOperator()
100 Bldr.generateNode(B, *it, state); in VisitBinaryOperator()
218 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx); in VisitBlockExpr() local
219 Bldr.generateNode(BE, Pred, in VisitBlockExpr()
251 StmtNodeBuilder Bldr(dstPreStmt, Dst, *currBldrCtx); in VisitCast() local
287 Bldr.generateNode(CastE, Pred, state); in VisitCast()
327 Bldr.generateNode(CastE, Pred, state); in VisitCast()
336 Bldr.generateNode(CastE, Pred, state); in VisitCast()
361 Bldr.generateSink(CastE, Pred, state); in VisitCast()
[all …]
|
| D | CheckerManager.cpp | 153 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
159 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
195 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
197 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
238 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
240 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
282 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
289 CheckerContext C(Bldr, Eng, Pred, L); in runChecker()
327 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
329 CheckerContext C(Bldr, Eng, Pred, L); in runChecker()
[all …]
|
| D | ExprEngineCallAndReturn.cpp | 417 NodeBuilder &Bldr, ExplodedNode *Pred, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
459 Bldr.takeNodes(Pred); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
574 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, in conservativeEvalCall() argument
581 Bldr.generateNode(Call.getProgramPoint(), State, Pred); in conservativeEvalCall()
900 void ExprEngine::defaultEvalCall(NodeBuilder &Bldr, ExplodedNode *Pred, in defaultEvalCall() argument
908 performTrivialCopy(Bldr, Pred, *Call); in defaultEvalCall()
930 BifurcateCall(RD.getDispatchRegion(), *Call, D, Bldr, Pred); in defaultEvalCall()
936 conservativeEvalCall(*Call, Bldr, Pred, State); in defaultEvalCall()
942 if (inlineCall(*Call, D, Bldr, Pred, State)) in defaultEvalCall()
948 conservativeEvalCall(*Call, Bldr, Pred, State); in defaultEvalCall()
[all …]
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ExprEngine.h | 572 bool inlineCall(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
577 void conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr,
583 const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
590 void performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,
|