| /freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 49 class ExprEngine; variable
251 ExprEngine &Eng) { in runCheckersForPreStmt()
264 ExprEngine &Eng,
279 ExprEngine &Eng) { in runCheckersForPreObjCMessage()
287 ExprEngine &Eng,
297 ExprEngine &Eng) { in runCheckersForObjCMessageNil()
336 ExprEngine &Eng);
347 ExprEngine &Eng);
353 ExprEngine &Eng);
359 ExprEngine &Eng,
[all …]
|
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerManager.cpp | 156 ExprEngine &Eng;
202 ExprEngine &Eng;
273 ExprEngine &Eng;
319 ExprEngine &Eng;
324 ExprEngine &eng) in CheckLocationContext()
368 ExprEngine &Eng;
413 ExprEngine &Eng;
471 ExprEngine &Eng;
510 ExprEngine &Eng;
514 ExprEngine &Eng) in CheckNewAllocatorContext()
[all …]
|
| H A D | ExprEngineCallAndReturn.cpp | 44 void ExprEngine::processCallEnter(NodeBuilderContext& BC, CallEnter CE, in processCallEnter()
165 void ExprEngine::removeDeadOnEndOfFunction(NodeBuilderContext& BC, in removeDeadOnEndOfFunction()
254 void ExprEngine::processCallExit(ExplodedNode *CEBNode) { in processCallExit()
438 bool ExprEngine::isSmall(AnalysisDeclContext *ADC) const { in isSmall()
448 bool ExprEngine::isLarge(AnalysisDeclContext *ADC) const { in isLarge()
453 bool ExprEngine::isHuge(AnalysisDeclContext *ADC) const { in isHuge()
653 void ExprEngine::finishArgumentConstruction(ExplodedNodeSet &Dst, in finishArgumentConstruction()
841 ExprEngine::CallInlinePolicy
1170 bool ExprEngine::shouldInlineArrayDestruction(uint64_t Size) { in shouldInlineArrayDestruction()
1178 bool ExprEngine::shouldRepeatCtorCall(ProgramStateRef State, in shouldRepeatCtorCall()
[all …]
|
| H A D | ExprEngine.cpp | 221 ExprEngine::ExprEngine(cross_tu::CrossTranslationUnitContext &CTU, in ExprEngine() function in ExprEngine
541 ProgramStateRef ExprEngine::setPendingArrayDestruction( in setPendingArrayDestruction()
960 void ExprEngine::processEndWorklist() { in processEndWorklist()
1485 void ExprEngine::ProcessBaseDtor(const CFGBaseDtor D, in ProcessBaseDtor()
2742 void ExprEngine::processBranch(const Stmt *Condition, in processBranch()
3649 void ExprEngine::evalLoad(ExplodedNodeSet &Dst, in evalLoad()
3687 void ExprEngine::evalLocation(ExplodedNodeSet &Dst, in evalLocation()
3723 ExprEngine::geteagerlyAssumeBinOpBifurcationTags() { in geteagerlyAssumeBinOpBifurcationTags()
3814 BugReporter &BR = static_cast<ExprEngine &>( in nodeHasBugReport()
3902 void ExprEngine::ViewGraph(bool trim) { in ViewGraph()
[all …]
|
| H A D | ExprEngineObjC.cpp | 21 void ExprEngine::VisitLvalObjCIvarRefExpr(const ObjCIvarRefExpr *Ex, in VisitLvalObjCIvarRefExpr()
38 void ExprEngine::VisitObjCAtSynchronizedStmt(const ObjCAtSynchronizedStmt *S, in VisitObjCAtSynchronizedStmt()
57 ExprEngine::setWhetherHasMoreIteration(state, S, LCtx, hasElements); in populateObjCForDestinationSet()
83 void ExprEngine::VisitObjCForCollectionStmt(const ObjCForCollectionStmt *S, in VisitObjCForCollectionStmt()
147 void ExprEngine::VisitObjCMessage(const ObjCMessageExpr *ME, in VisitObjCMessage()
|
| H A D | ExprEngineCXX.cpp | 30 void ExprEngine::CreateCXXTemporaryObject(const MaterializeTemporaryExpr *ME, in CreateCXXTemporaryObject()
44 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy()
100 SVal ExprEngine::makeElementRegion(ProgramStateRef State, SVal LValue, in makeElementRegion()
121 SVal ExprEngine::computeObjectUnderConstruction( in computeObjectUnderConstruction()
399 ProgramStateRef ExprEngine::updateObjectsUnderConstruction( in updateObjectsUnderConstruction()
582 void ExprEngine::handleConstructor(const Expr *E, in handleConstructor()
844 void ExprEngine::VisitCXXConstructExpr(const CXXConstructExpr *CE, in VisitCXXConstructExpr()
850 void ExprEngine::VisitCXXInheritedCtorInitExpr( in VisitCXXInheritedCtorInitExpr()
856 void ExprEngine::VisitCXXDestructor(QualType ObjectType, in VisitCXXDestructor()
923 void ExprEngine::VisitCXXNewAllocatorCall(const CXXNewExpr *CNE, in VisitCXXNewAllocatorCall()
[all …]
|
| H A D | ExprEngineC.cpp | 40 void ExprEngine::VisitBinaryOperator(const BinaryOperator* B, in VisitBinaryOperator()
193 void ExprEngine::VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred, in VisitBlockExpr()
254 ProgramStateRef ExprEngine::handleLValueBitCast( in handleLValueBitCast()
282 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex, in VisitCast()
538 void ExprEngine::VisitCompoundLiteralExpr(const CompoundLiteralExpr *CL, in VisitCompoundLiteralExpr()
563 void ExprEngine::VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred, in VisitDeclStmt()
733 void ExprEngine::VisitInitListExpr(const InitListExpr *IE, in VisitInitListExpr()
781 void ExprEngine::VisitGuardedExpr(const Expr *Ex, in VisitGuardedExpr()
845 void ExprEngine::
864 void ExprEngine::
[all …]
|
| H A D | SMTConstraintManager.cpp | 15 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { in CreateZ3ConstraintManager()
|
| H A D | ProgramState.cpp | 76 ExprEngine *ExprEng) in ProgramStateManager()
188 ExprEngine &Eng = Mgr.getOwningEngine(); in invalidateRegionsImpl()
|
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Frontend/ |
| H A D | AnalysisConsumer.cpp | 193 ExprEngine::InliningModes IMode) { in DisplayFunction()
207 case ExprEngine::Inline_Minimal: in DisplayFunction()
210 case ExprEngine::Inline_Regular: in DisplayFunction()
243 ExprEngine::InliningModes
257 ExprEngine::InliningModes IMode = ExprEngine::Inline_Minimal,
261 ExprEngine::InliningModes IMode,
423 ExprEngine::InliningModes
432 return ExprEngine::Inline_Minimal; in getInliningModeForFunction()
435 return ExprEngine::Inline_Regular; in getInliningModeForFunction()
658 ExprEngine::InliningModes IMode, in HandleCode()
[all …]
|
| /freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ConstraintManager.h | 35 class ExprEngine; variable
189 ExprEngine *exprengine);
193 ExprEngine *exprengine);
|
| H A D | SimpleConstraintManager.h | 24 ExprEngine *EE;
28 SimpleConstraintManager(ExprEngine *exprengine, SValBuilder &SB) in SimpleConstraintManager()
|
| H A D | CoreEngine.h | 45 class ExprEngine; variable
59 friend class ExprEngine; variable
73 ExprEngine &ExprEng;
137 CoreEngine(ExprEngine &exprengine,
|
| H A D | CheckerContext.h | 25 ExprEngine &Eng;
42 ExprEngine &eng,
|
| H A D | ProgramState.h | 43 ProgramStateManager &, ExprEngine *);
508 ExprEngine *Eng; /* Can be null. */
540 ExprEngine *expreng);
581 ExprEngine &getOwningEngine() { return *Eng; } in getOwningEngine()
|
| H A D | ExprEngine.h | 124 class ExprEngine {
182 ExprEngine(cross_tu::CrossTranslationUnitContext &CTU, AnalysisManager &mgr,
186 virtual ~ExprEngine() = default;
|
| H A D | RangedConstraintManager.h | 409 RangedConstraintManager(ExprEngine *EE, SValBuilder &SB) in RangedConstraintManager()
|
| H A D | SMTConstraintManager.h | 35 SMTConstraintManager(clang::ento::ExprEngine *EE, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | AnalyzerStatsChecker.cpp | 38 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
44 ExprEngine &Eng) const { in checkEndAnalysis()
|
| H A D | UnreachableCodeChecker.cpp | 36 ExprEngine &Eng) const;
51 ExprEngine &Eng) const { in checkEndAnalysis()
|
| H A D | CheckerDocumentation.cpp | 207 ExprEngine &Eng) const {} in checkEndAnalysis()
|
| H A D | AnalysisOrderChecker.cpp | 176 ExprEngine &Eng) const { in checkEndAnalysis()
|
| H A D | DebugCheckers.cpp | 303 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const { in checkEndAnalysis()
|
| H A D | ExprInspectionChecker.cpp | 74 ExprEngine &Eng) const;
412 ExprEngine &Eng) const { in checkEndAnalysis()
|
| /freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 61 class ExprEngine; variable
669 ExprEngine& Eng;
681 PathSensitiveBugReporter(BugReporterData& d, ExprEngine& eng) in PathSensitiveBugReporter()
|