| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineObjC.cpp | 30 StmtNodeBuilder Bldr(Pred, dstIvar, *currBldrCtx); in VisitLvalObjCIvarRefExpr() local
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
139 SymMgr, currBldrCtx, Bldr, in VisitObjCForCollectionStmt()
210 StmtNodeBuilder Bldr(Pred, dstNil, *currBldrCtx); in VisitObjCMessage() local
228 StmtNodeBuilder Bldr(Pred, dstNonNil, *currBldrCtx); in VisitObjCMessage() local
233 Pred = Bldr.generateNode(ME, Pred, notNilState); in VisitObjCMessage()
266 Bldr.generateSink(ME, Pred, State); in VisitObjCMessage()
276 Bldr.generateSink(ME, Pred, Pred->getState()); in VisitObjCMessage()
[all …]
|
| H A D | ExprEngine.cpp | 1403 Bldr.takeNodes(Pred); in ProcessAutomaticObjDtor()
1480 Bldr.takeNodes(Pred); in ProcessDeleteDtor()
1558 Bldr.takeNodes(Pred); in ProcessMemberDtor()
1877 Bldr.addNodes(Dst); in Visit()
1892 Bldr.addNodes(Dst); in Visit()
1899 Bldr.addNodes(Dst); in Visit()
1958 Bldr.addNodes(Dst); in Visit()
2001 Bldr.addNodes(Dst); in Visit()
2043 Bldr.addNodes(Dst); in Visit()
2050 Bldr.addNodes(Dst); in Visit()
[all …]
|
| H A D | ExprEngineC.cpp | 109 Bldr.generateNode(B, *it, state); in VisitBinaryOperator()
246 Bldr.generateNode(BE, Pred, in VisitBlockExpr()
900 Bldr.generateNode(Ex, N, state); in VisitUnaryExprOrTypeTraitExpr()
933 Bldr.takeNodes(N); in VisitUnaryOperator()
936 Bldr.addNodes(Tmp); in VisitUnaryOperator()
952 Bldr.generateNode(U, N, in VisitUnaryOperator()
987 handleUOExtension(N, U, Bldr); in VisitUnaryOperator()
1084 Bldr.takeNodes(N); in VisitIncrementDecrementOperator()
1087 Bldr.addNodes(Dst3); in VisitIncrementDecrementOperator()
1152 Bldr.takeNodes(N); in VisitIncrementDecrementOperator()
[all …]
|
| H A D | ExprEngineCXX.cpp | 39 Bldr.generateNode(ME, Pred, state); in CreateCXXTemporaryObject()
68 Bldr.takeNodes(Pred); in performTrivialCopy()
96 Bldr.generateNode(PS, State, N); in performTrivialCopy()
1078 Bldr.takeNodes(Pred); in VisitCXXNewExpr()
1085 Bldr.takeNodes(Pred); in VisitCXXNewExpr()
1086 Bldr.addNodes(evaluated); in VisitCXXNewExpr()
1094 Bldr.generateNode(CNE, Pred, State); in VisitCXXNewExpr()
1120 Bldr.takeNodes(NewN); in VisitCXXNewExpr()
1141 defaultEvalCall(Bldr, I, *Call); in VisitCXXDeleteExpr()
1164 Bldr.generateNode(CS, Pred, state); in VisitCXXCatchStmt()
[all …]
|
| H A D | CheckerManager.cpp | 174 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
229 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
287 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
339 CheckerContext C(Bldr, Eng, Pred, L); in runChecker()
382 CheckerContext C(Bldr, Eng, Pred, L); in runChecker()
426 CheckerContext C(Bldr, Eng, Pred, L); in runChecker()
455 NodeBuilder Bldr(Pred, Dst, BC); in runCheckersForEndFunction() local
459 CheckerContext C(Bldr, Eng, Pred, L); in runCheckersForEndFunction()
484 CheckerContext C(Bldr, Eng, Pred, L); in runChecker()
524 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
[all …]
|
| H A D | ExprEngineCallAndReturn.cpp | 523 conservativeEvalCall(Call, Bldr, Pred, State); in REGISTER_MAP_WITH_PROGRAMSTATE()
531 const Decl *D, NodeBuilder &Bldr, in inlineCall() argument
572 Bldr.takeNodes(Pred); in inlineCall()
1222 performTrivialCopy(Bldr, Pred, *Call); in defaultEvalCall()
1251 conservativeEvalCall(*Call, Bldr, Pred, State); in defaultEvalCall()
1255 ctuBifurcate(*Call, D, Bldr, Pred, State); in defaultEvalCall()
1266 conservativeEvalCall(*Call, Bldr, Pred, State); in defaultEvalCall()
1283 ctuBifurcate(Call, D, Bldr, Pred, State); in BifurcateCall()
1287 conservativeEvalCall(Call, Bldr, Pred, State); in BifurcateCall()
1296 ctuBifurcate(Call, D, Bldr, Pred, IState); in BifurcateCall()
[all …]
|
| H A D | CheckerContext.cpp | 139 SValBuilder &Bldr = Mgr.getSValBuilder(); in evalComparison() local
140 SVal Eval = Bldr.evalBinOp(State, ComparisonOp, LHSVal, RHSVal, in evalComparison()
141 Bldr.getConditionType()); in evalComparison()
|
| H A D | CoreEngine.cpp | 261 NodeBuilder Bldr(Pred, Dst, BuilderCtx); in HandleBlockEdge() local
262 Pred = Bldr.generateNode(P, Pred->getState(), Pred); in HandleBlockEdge()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ExprEngine.h | 602 StmtNodeBuilder &Bldr,
606 StmtNodeBuilder &Bldr);
846 NodeBuilder &Bldr, ExplodedNode *Pred, ProgramStateRef State);
848 void ctuBifurcate(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
856 void conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr,
862 const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
869 void performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | SmartPtrModeling.cpp | 490 auto &Bldr = C.getSValBuilder(); in handleComparisionOp() local
498 auto RetVal = Bldr.evalBinOp(State, BOK, FirstPtrVal, SecondPtrVal, in handleComparisionOp()
507 TrueState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(true))); in handleComparisionOp()
510 FalseState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(false))); in handleComparisionOp()
|
| /freebsd/contrib/llvm-project/clang/lib/Sema/ |
| H A D | SemaDeclAttr.cpp | 408 appendDiagnostics(const Sema::SemaDiagnosticBuilder &Bldr) { in appendDiagnostics() argument
409 return Bldr; in appendDiagnostics()
414 appendDiagnostics(const Sema::SemaDiagnosticBuilder &Bldr, T &&ExtraArg, in appendDiagnostics() argument
416 return appendDiagnostics(Bldr << std::forward<T>(ExtraArg), in appendDiagnostics()
|