| /openbsd/src/gnu/llvm/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 | 1080 StmtNodeBuilder Bldr(CheckedSet, Out, *currBldrCtx); in removeDead() local
1099 Bldr.generateNode(DiagnosticStmt, I, CleanedCheckerSt, &cleanupTag, K); in removeDead()
1139 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessLoopExit() local
1146 Bldr.generateNode(PP, NewState, Pred); in ProcessLoopExit()
1179 NodeBuilder Bldr(Pred, Tmp, *currBldrCtx); in ProcessInitializer() local
1181 Bldr.generateNode(PS, State, Pred); in ProcessInitializer()
1229 NodeBuilder Bldr(Tmp, Dst, *currBldrCtx); in ProcessInitializer() local
1232 Bldr.generateNode(PP, State, I); in ProcessInitializer()
1314 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessNewAllocator() local
1317 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
281 Bldr.generateNode(CastE, Pred, state); in handleLValueBitCast()
311 StmtNodeBuilder Bldr(dstPreStmt, Dst, *currBldrCtx); in VisitCast() local
348 Bldr.generateNode(CastE, Pred, state); in VisitCast()
359 Bldr.generateNode(CastE, Pred, state); in VisitCast()
364 handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred); in VisitCast()
[all …]
|
| D | ExprEngineCXX.cpp | 31 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx); in CreateCXXTemporaryObject() local
37 Bldr.generateNode(ME, Pred, state); in CreateCXXTemporaryObject()
42 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy() argument
73 Bldr.takeNodes(Pred); in performTrivialCopy()
95 Bldr.generateNode(PS, State, *I); in performTrivialCopy()
593 StmtNodeBuilder Bldr(Pred, destNodes, *currBldrCtx); in handleConstructor() local
597 Bldr.generateNode(CE, Pred, State); in handleConstructor()
634 StmtNodeBuilder Bldr(Pred, destNodes, *currBldrCtx); in handleConstructor() local
637 Bldr.generateNode(CE, Pred, State, &T); in handleConstructor()
739 StmtNodeBuilder Bldr(DstPreVisit, PreInitialized, *currBldrCtx); in handleConstructor() local
[all …]
|
| D | CheckerManager.cpp | 168 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
174 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
215 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
229 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
285 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
287 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
332 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
339 CheckerContext C(Bldr, Eng, Pred, L); in runChecker()
380 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
382 CheckerContext C(Bldr, Eng, Pred, L); in runChecker()
[all …]
|
| D | ExprEngineCallAndReturn.cpp | 505 NodeBuilder &Bldr, ExplodedNode *Pred, in REGISTER_MAP_WITH_PROGRAMSTATE()
514 inlineCall(Engine.getWorkList(), Call, D, Bldr, Pred, State); in REGISTER_MAP_WITH_PROGRAMSTATE()
520 inlineCall(Engine.getCTUWorkList(), Call, D, Bldr, Pred, State); in REGISTER_MAP_WITH_PROGRAMSTATE()
523 conservativeEvalCall(Call, Bldr, Pred, ConservativeEvalState); in REGISTER_MAP_WITH_PROGRAMSTATE()
525 conservativeEvalCall(Call, Bldr, Pred, State); in REGISTER_MAP_WITH_PROGRAMSTATE()
529 inlineCall(Engine.getWorkList(), Call, D, Bldr, Pred, State); in REGISTER_MAP_WITH_PROGRAMSTATE()
533 const Decl *D, NodeBuilder &Bldr, in inlineCall() argument
574 Bldr.takeNodes(Pred); in inlineCall()
834 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, in conservativeEvalCall() argument
840 Bldr.generateNode(Call.getProgramPoint(), State, Pred); in conservativeEvalCall()
[all …]
|
| D | CheckerContext.cpp | 137 SValBuilder &Bldr = Mgr.getSValBuilder(); in evalComparison() local
138 SVal Eval = Bldr.evalBinOp(State, ComparisonOp, LHSVal, RHSVal, in evalComparison()
139 Bldr.getConditionType()); in evalComparison()
|
| D | CoreEngine.cpp | 261 NodeBuilder Bldr(Pred, Dst, BuilderCtx); in HandleBlockEdge() local
262 Pred = Bldr.generateNode(P, Pred->getState(), Pred); in HandleBlockEdge()
|
| /openbsd/src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ExprEngine.h | 602 StmtNodeBuilder &Bldr,
608 StmtNodeBuilder &Bldr,
613 StmtNodeBuilder &Bldr);
862 NodeBuilder &Bldr, ExplodedNode *Pred, ProgramStateRef State);
864 void ctuBifurcate(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
872 void conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr,
878 const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
885 void performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,
|
| /openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| 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()
|
| /openbsd/src/gnu/llvm/clang/lib/Sema/ |
| D | SemaDeclAttr.cpp | 394 appendDiagnostics(const Sema::SemaDiagnosticBuilder &Bldr) { in appendDiagnostics() argument
395 return Bldr; in appendDiagnostics()
400 appendDiagnostics(const Sema::SemaDiagnosticBuilder &Bldr, T &&ExtraArg, in appendDiagnostics() argument
402 return appendDiagnostics(Bldr << std::forward<T>(ExtraArg), in appendDiagnostics()
|