Searched refs:Bldr (Results 1 - 10 of 10) sorted by relevance

/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineObjC.cpp30 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 DExprEngineC.cpp80 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
907 handleUOExtension(ExplodedNodeSet::iterator I, const UnaryOperator *U, StmtNodeBuilder &Bldr) argument
[all...]
H A DExprEngine.cpp746 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 DExprEngineCXX.cpp29 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);
409 StmtNodeBuilder Bldr(Pred, destNodes, *currBldrCtx);
413 Bldr.generateNode(CE, Pred, State);
507 StmtNodeBuilder Bldr(DstPreVisit, PreInitialized, *currBldrCtx);
528 Bldr.generateNode(CE, *I, State, /*tag=*/nullptr,
538 StmtNodeBuilder Bldr(DstPreCal
[all...]
H A DCheckerContext.cpp113 SValBuilder &Bldr = Mgr.getSValBuilder(); local
114 SVal Eval = Bldr.evalBinOp(State, ComparisonOp, LHSVal, RHSVal,
115 Bldr.getConditionType());
H A DCheckerManager.cpp170 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
523 runChecker(CheckerManager::CheckNewAllocatorFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument
568 runChecker(CheckerManager::CheckDeadSymbolsFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument
[all...]
H A DExprEngineCallAndReturn.cpp432 NodeBuilder &Bldr, ExplodedNode *Pred,
473 Bldr.takeNodes(Pred);
709 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, argument
715 Bldr.generateNode(Call.getProgramPoint(), State, Pred);
1038 void ExprEngine::defaultEvalCall(NodeBuilder &Bldr, ExplodedNode *Pred, argument
1047 performTrivialCopy(Bldr, Pred, *Call);
1069 BifurcateCall(RD.getDispatchRegion(), *Call, D, Bldr, Pred);
1075 conservativeEvalCall(*Call, Bldr, Pred, State);
1081 if (inlineCall(*Call, D, Bldr, Pred, State))
1087 conservativeEvalCall(*Call, Bldr, Pre
431 inlineCall(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr, ExplodedNode *Pred, ProgramStateRef State) argument
1090 BifurcateCall(const MemRegion *BifurReg, const CallEvent &Call, const Decl *D, NodeBuilder &Bldr, ExplodedNode *Pred) argument
[all...]
H A DCoreEngine.cpp232 NodeBuilder Bldr(Pred, Dst, BuilderCtx);
233 Pred = Bldr.generateNode(P, Pred->getState(), Pred);
/freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h570 StmtNodeBuilder &Bldr,
576 StmtNodeBuilder &Bldr,
581 StmtNodeBuilder &Bldr);
750 bool inlineCall(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
755 void conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr,
761 const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
768 void performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,
/freebsd-12-stable/contrib/llvm-project/clang/lib/Sema/
H A DSemaDeclAttr.cpp409 appendDiagnostics(const Sema::SemaDiagnosticBuilder &Bldr) { argument
410 return Bldr;
415 appendDiagnostics(const Sema::SemaDiagnosticBuilder &Bldr, T &&ExtraArg, argument
417 return appendDiagnostics(Bldr << std::forward<T>(ExtraArg),

Completed in 108 milliseconds