/freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
H A D | ExprEngineObjC.cpp | 30 StmtNodeBuilder Bldr(Pred, dstIvar, *currBldrCtx); 31 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); 44 /// Generate a node in \p Bldr for an iteration statement using ObjC 50 StmtNodeBuilder &Bldr, bool hasElements) { 81 Bldr.generateNode(S, Pred, nextState); 134 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx); 138 SymMgr, currBldrCtx, Bldr, 142 SymMgr, currBldrCtx, Bldr, 200 StmtNodeBuilder Bldr(Pred, dstNil, *currBldrCtx); 202 Pred = Bldr 46 populateObjCForDestinationSet( ExplodedNodeSet &dstLocation, SValBuilder &svalBuilder, const ObjCForCollectionStmt *S, const Stmt *elem, SVal elementV, SymbolManager &SymMgr, const NodeBuilderContext *currBldrCtx, StmtNodeBuilder &Bldr, bool hasElements) argument [all...] |
H A D | ExprEngineC.cpp | 80 StmtNodeBuilder Bldr(*it, Tmp2, *currBldrCtx); 109 Bldr.generateNode(B, *it, state); 250 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx); 251 Bldr.generateNode(BE, Pred, 261 QualType T, QualType ExTy, const CastExpr* CastE, StmtNodeBuilder& Bldr, 280 Bldr.generateNode(CastE, Pred, state); 287 StmtNodeBuilder &Bldr, ExplodedNode* Pred) { 296 Bldr.generateNode(CastE, Pred, state); 325 StmtNodeBuilder Bldr(dstPreStmt, Dst, *currBldrCtx); 361 Bldr 259 handleLValueBitCast( ProgramStateRef state, const Expr* Ex, const LocationContext* LCtx, QualType T, QualType ExTy, const CastExpr* CastE, StmtNodeBuilder& Bldr, ExplodedNode* Pred) argument 285 handleLVectorSplat( ProgramStateRef state, const LocationContext* LCtx, const CastExpr* CastE, StmtNodeBuilder &Bldr, ExplodedNode* Pred) argument 919 handleUOExtension(ExplodedNodeSet::iterator I, const UnaryOperator *U, StmtNodeBuilder &Bldr) argument [all...] |
H A D | ExprEngine.cpp | 746 StmtNodeBuilder Bldr(CheckedSet, Out, *currBldrCtx); 765 Bldr.generateNode(DiagnosticStmt, I, CleanedCheckerSt, &cleanupTag, K); 805 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); 812 Bldr.generateNode(PP, NewState, Pred); 845 NodeBuilder Bldr(Pred, Tmp, *currBldrCtx); 847 Bldr.generateNode(PS, State, Pred); 895 NodeBuilder Bldr(Tmp, Dst, *currBldrCtx); 898 Bldr.generateNode(PP, State, I); 943 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); 946 Bldr [all...] |
H A D | ExprEngineCXX.cpp | 29 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx); 35 Bldr.generateNode(ME, Pred, state); 40 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, argument 71 Bldr.takeNodes(Pred); 93 Bldr.generateNode(PS, State, *I); 464 StmtNodeBuilder Bldr(Pred, destNodes, *currBldrCtx); 468 Bldr.generateNode(CE, Pred, State); 572 StmtNodeBuilder Bldr(DstPreVisit, PreInitialized, *currBldrCtx); 593 Bldr.generateNode(CE, *I, State, /*tag=*/nullptr, 605 StmtNodeBuilder Bldr(DstPreCal [all...] |
H A D | CheckerContext.cpp | 113 SValBuilder &Bldr = Mgr.getSValBuilder(); local 114 SVal Eval = Bldr.evalBinOp(State, ComparisonOp, LHSVal, RHSVal, 115 Bldr.getConditionType());
|
H A D | CheckerManager.cpp | 170 NodeBuilder &Bldr, ExplodedNode *Pred) { 176 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); 217 NodeBuilder &Bldr, ExplodedNode *Pred) { 231 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); 287 NodeBuilder &Bldr, ExplodedNode *Pred) { 289 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); 334 NodeBuilder &Bldr, ExplodedNode *Pred) { 341 CheckerContext C(Bldr, Eng, Pred, L); 382 NodeBuilder &Bldr, ExplodedNode *Pred) { 384 CheckerContext C(Bldr, En 169 runChecker(CheckerManager::CheckStmtFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument 216 runChecker(CheckerManager::CheckObjCMessageFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument 286 runChecker(CheckerManager::CheckCallFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument 333 runChecker(CheckerManager::CheckLocationFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument 381 runChecker(CheckerManager::CheckBindFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument 425 runChecker(CheckerManager::CheckBeginFunctionFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument 482 runChecker(CheckerManager::CheckBranchConditionFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument 522 runChecker(CheckerManager::CheckNewAllocatorFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument 571 runChecker(CheckerManager::CheckDeadSymbolsFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument [all...] |
H A D | ExprEngineCallAndReturn.cpp | 431 NodeBuilder &Bldr, ExplodedNode *Pred, 472 Bldr.takeNodes(Pred); 708 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, argument 714 Bldr.generateNode(Call.getProgramPoint(), State, Pred); 1044 void ExprEngine::defaultEvalCall(NodeBuilder &Bldr, ExplodedNode *Pred, argument 1053 performTrivialCopy(Bldr, Pred, *Call); 1075 BifurcateCall(RD.getDispatchRegion(), *Call, D, Bldr, Pred); 1081 conservativeEvalCall(*Call, Bldr, Pred, State); 1087 if (inlineCall(*Call, D, Bldr, Pred, State)) 1093 conservativeEvalCall(*Call, Bldr, Pre 430 inlineCall(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr, ExplodedNode *Pred, ProgramStateRef State) argument 1096 BifurcateCall(const MemRegion *BifurReg, const CallEvent &Call, const Decl *D, NodeBuilder &Bldr, ExplodedNode *Pred) argument [all...] |
H A D | CoreEngine.cpp | 231 NodeBuilder Bldr(Pred, Dst, BuilderCtx); 232 Pred = Bldr.generateNode(P, Pred->getState(), Pred);
|
/freebsd-13-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A 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,
|
/freebsd-13-stable/contrib/llvm-project/clang/lib/Sema/ |
H A D | SemaDeclAttr.cpp | 408 appendDiagnostics(const Sema::SemaDiagnosticBuilder &Bldr) { argument 409 return Bldr; 414 appendDiagnostics(const Sema::SemaDiagnosticBuilder &Bldr, T &&ExtraArg, argument 416 return appendDiagnostics(Bldr << std::forward<T>(ExtraArg),
|