| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngine.cpp | 387 StmtNodeBuilder Bldr(Pred, Out, *currBldrCtx); in removeDead() local
388 Bldr.generateNode(DiagnosticStmt, Pred, CleanedState, &cleanupTag, K); in removeDead()
400 StmtNodeBuilder Bldr(CheckedSet, Out, *currBldrCtx); in removeDead() local
420 Bldr.generateNode(DiagnosticStmt, *I, CleanedCheckerSt, &cleanupTag, K); in removeDead()
534 NodeBuilder Bldr(Tmp, Dst, *currBldrCtx); in ProcessInitializer() local
537 Bldr.generateNode(PP, N->getState(), N); in ProcessInitializer()
582 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessNewAllocator() local
585 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessNewAllocator()
627 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessDeleteDtor() local
628 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessDeleteDtor()
[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()
184 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx); in VisitObjCMessage() local
186 Pred = Bldr.generateNode(ME, Pred, nilState, nullptr, in VisitObjCMessage()
198 StmtNodeBuilder Bldr(Pred, dstNonNil, *currBldrCtx); in VisitObjCMessage() local
203 Pred = Bldr.generateNode(ME, Pred, notNilState); in VisitObjCMessage()
222 StmtNodeBuilder Bldr(dstGenericPrevisit, dstEval, *currBldrCtx); in VisitObjCMessage() local
[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()
299 StmtNodeBuilder Bldr(DstPreVisit, PreInitialized, *currBldrCtx); in VisitCXXConstructExpr() local
321 Bldr.generateNode(CE, *I, State, /*tag=*/nullptr, in VisitCXXConstructExpr()
332 StmtNodeBuilder Bldr(DstPreCall, DstEvaluated, *currBldrCtx); in VisitCXXConstructExpr() local
341 performTrivialCopy(Bldr, *I, *Call); in VisitCXXConstructExpr()
346 defaultEvalCall(Bldr, *I, *Call); in VisitCXXConstructExpr()
[all …]
|
| 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()
240 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx); in VisitBlockExpr() local
241 Bldr.generateNode(BE, Pred, in VisitBlockExpr()
273 StmtNodeBuilder Bldr(dstPreStmt, Dst, *currBldrCtx); in VisitCast() local
309 Bldr.generateNode(CastE, Pred, state); in VisitCast()
352 Bldr.generateNode(CastE, Pred, state); in VisitCast()
360 Bldr.generateNode(CastE, Pred, state); in VisitCast()
369 Bldr.generateNode(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()
198 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
213 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
265 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
267 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
309 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
316 CheckerContext C(Bldr, Eng, Pred, L); in runChecker()
354 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
356 CheckerContext C(Bldr, Eng, Pred, L); in runChecker()
[all …]
|
| D | ExprEngineCallAndReturn.cpp | 405 NodeBuilder &Bldr, ExplodedNode *Pred, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
447 Bldr.takeNodes(Pred); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
562 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, in conservativeEvalCall() argument
569 Bldr.generateNode(Call.getProgramPoint(), State, Pred); in conservativeEvalCall()
890 void ExprEngine::defaultEvalCall(NodeBuilder &Bldr, ExplodedNode *Pred, in defaultEvalCall() argument
898 performTrivialCopy(Bldr, Pred, *Call); in defaultEvalCall()
920 BifurcateCall(RD.getDispatchRegion(), *Call, D, Bldr, Pred); in defaultEvalCall()
926 conservativeEvalCall(*Call, Bldr, Pred, State); in defaultEvalCall()
932 if (inlineCall(*Call, D, Bldr, Pred, State)) in defaultEvalCall()
938 conservativeEvalCall(*Call, Bldr, Pred, State); in defaultEvalCall()
[all …]
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngineObjC.cpp | 30 StmtNodeBuilder Bldr(Pred, dstIvar, *currBldrCtx); in VisitLvalObjCIvarRefExpr() local
31 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); in VisitLvalObjCIvarRefExpr()
50 StmtNodeBuilder &Bldr, bool hasElements) { in populateObjCForDestinationSet() argument
79 Bldr.generateNode(S, Pred, nextState); in populateObjCForDestinationSet()
131 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx); in VisitObjCForCollectionStmt() local
135 SymMgr, currBldrCtx, Bldr, in VisitObjCForCollectionStmt()
139 SymMgr, currBldrCtx, Bldr, in VisitObjCForCollectionStmt()
197 StmtNodeBuilder Bldr(Pred, dstNil, *currBldrCtx); in VisitObjCMessage() local
199 Pred = Bldr.generateNode(ME, Pred, nilState, nullptr, in VisitObjCMessage()
215 StmtNodeBuilder Bldr(Pred, dstNonNil, *currBldrCtx); in VisitObjCMessage() local
[all …]
|
| D | ExprEngine.cpp | 746 StmtNodeBuilder Bldr(CheckedSet, Out, *currBldrCtx); in removeDead() local
765 Bldr.generateNode(DiagnosticStmt, I, CleanedCheckerSt, &cleanupTag, K); in removeDead()
805 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessLoopExit() local
812 Bldr.generateNode(PP, NewState, Pred); in ProcessLoopExit()
845 NodeBuilder Bldr(Pred, Tmp, *currBldrCtx); in ProcessInitializer() local
847 Bldr.generateNode(PS, State, Pred); in ProcessInitializer()
895 NodeBuilder Bldr(Tmp, Dst, *currBldrCtx); in ProcessInitializer() local
898 Bldr.generateNode(PP, State, I); in ProcessInitializer()
943 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessNewAllocator() local
946 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessNewAllocator()
[all …]
|
| D | ExprEngineC.cpp | 80 StmtNodeBuilder Bldr(*it, Tmp2, *currBldrCtx); in VisitBinaryOperator() local
109 Bldr.generateNode(B, *it, state); in VisitBinaryOperator()
250 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx); in VisitBlockExpr() local
251 Bldr.generateNode(BE, Pred, in VisitBlockExpr()
261 QualType T, QualType ExTy, const CastExpr* CastE, StmtNodeBuilder& Bldr, in handleLValueBitCast() argument
280 Bldr.generateNode(CastE, Pred, state); in handleLValueBitCast()
287 StmtNodeBuilder &Bldr, ExplodedNode* Pred) { in handleLVectorSplat() argument
296 Bldr.generateNode(CastE, Pred, state); in handleLVectorSplat()
325 StmtNodeBuilder Bldr(dstPreStmt, Dst, *currBldrCtx); in VisitCast() local
361 Bldr.generateNode(CastE, Pred, state); in VisitCast()
[all …]
|
| D | ExprEngineCXX.cpp | 29 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx); in CreateCXXTemporaryObject() local
35 Bldr.generateNode(ME, Pred, state); in CreateCXXTemporaryObject()
40 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy() argument
71 Bldr.takeNodes(Pred); in performTrivialCopy()
93 Bldr.generateNode(PS, State, *I); in performTrivialCopy()
478 StmtNodeBuilder Bldr(Pred, destNodes, *currBldrCtx); in handleConstructor() local
482 Bldr.generateNode(CE, Pred, State); in handleConstructor()
586 StmtNodeBuilder Bldr(DstPreVisit, PreInitialized, *currBldrCtx); in handleConstructor() local
607 Bldr.generateNode(CE, *I, State, /*tag=*/nullptr, in handleConstructor()
623 StmtNodeBuilder Bldr(DstPreCall, DstEvaluated, *currBldrCtx); in handleConstructor() local
[all …]
|
| D | CheckerManager.cpp | 170 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
176 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
217 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
231 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
287 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
289 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
334 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
341 CheckerContext C(Bldr, Eng, Pred, L); in runChecker()
382 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
384 CheckerContext C(Bldr, Eng, Pred, L); in runChecker()
[all …]
|
| D | ExprEngineCallAndReturn.cpp | 431 NodeBuilder &Bldr, ExplodedNode *Pred, in REGISTER_MAP_WITH_PROGRAMSTATE()
472 Bldr.takeNodes(Pred); in REGISTER_MAP_WITH_PROGRAMSTATE()
708 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, in conservativeEvalCall() argument
714 Bldr.generateNode(Call.getProgramPoint(), State, Pred); in conservativeEvalCall()
1032 void ExprEngine::defaultEvalCall(NodeBuilder &Bldr, ExplodedNode *Pred, in defaultEvalCall() argument
1041 performTrivialCopy(Bldr, Pred, *Call); in defaultEvalCall()
1063 BifurcateCall(RD.getDispatchRegion(), *Call, D, Bldr, Pred); in defaultEvalCall()
1069 conservativeEvalCall(*Call, Bldr, Pred, State); in defaultEvalCall()
1075 if (inlineCall(*Call, D, Bldr, Pred, State)) in defaultEvalCall()
1081 conservativeEvalCall(*Call, Bldr, Pred, State); in defaultEvalCall()
[all …]
|
| D | CheckerContext.cpp | 113 SValBuilder &Bldr = Mgr.getSValBuilder(); in evalComparison() local
114 SVal Eval = Bldr.evalBinOp(State, ComparisonOp, LHSVal, RHSVal, in evalComparison()
115 Bldr.getConditionType()); in evalComparison()
|
| D | CoreEngine.cpp | 231 NodeBuilder Bldr(Pred, Dst, BuilderCtx); in HandleBlockEdge() local
232 Pred = Bldr.generateNode(P, Pred->getState(), Pred); in HandleBlockEdge()
|
| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ExprEngine.h | 604 StmtNodeBuilder &Bldr,
610 StmtNodeBuilder &Bldr,
615 StmtNodeBuilder &Bldr);
813 bool inlineCall(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
818 void conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr,
824 const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
831 void performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ExprEngine.h | 587 bool inlineCall(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
592 void conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr,
598 const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
605 void performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,
|
| /external/llvm-project/clang/lib/Sema/ |
| D | SemaDeclAttr.cpp | 412 appendDiagnostics(const Sema::SemaDiagnosticBuilder &Bldr) { in appendDiagnostics() argument
413 return Bldr; in appendDiagnostics()
418 appendDiagnostics(const Sema::SemaDiagnosticBuilder &Bldr, T &&ExtraArg, in appendDiagnostics() argument
420 return appendDiagnostics(Bldr << std::forward<T>(ExtraArg), in appendDiagnostics()
|