| /freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 50 class ExprEngine; variable
252 ExprEngine &Eng) { in runCheckersForPreStmt()
265 ExprEngine &Eng,
280 ExprEngine &Eng) { in runCheckersForPreObjCMessage()
288 ExprEngine &Eng,
298 ExprEngine &Eng) { in runCheckersForObjCMessageNil()
337 ExprEngine &Eng);
348 ExprEngine &Eng);
354 ExprEngine &Eng);
360 ExprEngine &Eng,
[all …]
|
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerManager.cpp | 157 ExprEngine &Eng;
203 ExprEngine &Eng;
274 ExprEngine &Eng;
320 ExprEngine &Eng;
325 ExprEngine &eng) in CheckLocationContext()
369 ExprEngine &Eng;
414 ExprEngine &Eng;
472 ExprEngine &Eng;
511 ExprEngine &Eng;
515 ExprEngine &Eng) in CheckNewAllocatorContext()
[all …]
|
| H A D | ExprEngineCallAndReturn.cpp | 43 void ExprEngine::processCallEnter(NodeBuilderContext& BC, CallEnter CE, in processCallEnter()
164 void ExprEngine::removeDeadOnEndOfFunction(NodeBuilderContext& BC, in removeDeadOnEndOfFunction()
206 void ExprEngine::processCallExit(ExplodedNode *CEBNode) { in processCallExit()
368 bool ExprEngine::isSmall(AnalysisDeclContext *ADC) const { in isSmall()
378 bool ExprEngine::isLarge(AnalysisDeclContext *ADC) const { in isLarge()
383 bool ExprEngine::isHuge(AnalysisDeclContext *ADC) const { in isHuge()
431 bool ExprEngine::inlineCall(const CallEvent &Call, const Decl *D, in REGISTER_MAP_WITH_PROGRAMSTATE()
550 void ExprEngine::finishArgumentConstruction(ExplodedNodeSet &Dst, in finishArgumentConstruction()
637 ProgramStateRef ExprEngine::bindReturnValue(const CallEvent &Call, in bindReturnValue()
732 ExprEngine::CallInlinePolicy
[all …]
|
| H A D | ExprEngine.cpp | 202 ExprEngine::ExprEngine(cross_tu::CrossTranslationUnitContext &CTU, in ExprEngine() function in ExprEngine
543 ExprEngine::processRegionChanges(ProgramStateRef state, in processRegionChanges()
623 void ExprEngine::processEndWorklist() { in processEndWorklist()
1025 void ExprEngine::ProcessBaseDtor(const CFGBaseDtor D, in ProcessBaseDtor()
2216 void ExprEngine::processBranch(const Stmt *Condition, in processBranch()
2959 void ExprEngine::evalLoad(ExplodedNodeSet &Dst, in evalLoad()
2997 void ExprEngine::evalLocation(ExplodedNodeSet &Dst, in evalLocation()
3033 ExprEngine::geteagerlyAssumeBinOpBifurcationTags() { in geteagerlyAssumeBinOpBifurcationTags()
3125 BugReporter &BR = static_cast<ExprEngine &>( in nodeHasBugReport()
3217 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 | 26 void ExprEngine::CreateCXXTemporaryObject(const MaterializeTemporaryExpr *ME, in CreateCXXTemporaryObject()
40 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy()
98 SVal ExprEngine::makeZeroElementRegion(ProgramStateRef State, SVal LValue, in makeZeroElementRegion()
112 SVal ExprEngine::computeObjectUnderConstruction( in computeObjectUnderConstruction()
356 ProgramStateRef ExprEngine::updateObjectsUnderConstruction( in updateObjectsUnderConstruction()
459 void ExprEngine::handleConstructor(const Expr *E, in handleConstructor()
686 void ExprEngine::VisitCXXConstructExpr(const CXXConstructExpr *CE, in VisitCXXConstructExpr()
692 void ExprEngine::VisitCXXInheritedCtorInitExpr( in VisitCXXInheritedCtorInitExpr()
698 void ExprEngine::VisitCXXDestructor(QualType ObjectType, in VisitCXXDestructor()
765 void ExprEngine::VisitCXXNewAllocatorCall(const CXXNewExpr *CNE, in VisitCXXNewAllocatorCall()
[all …]
|
| H A D | ExprEngineC.cpp | 40 void ExprEngine::VisitBinaryOperator(const BinaryOperator* B, in VisitBinaryOperator()
196 void ExprEngine::VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred, in VisitBlockExpr()
259 ProgramStateRef ExprEngine::handleLValueBitCast( in handleLValueBitCast()
285 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex, in VisitCast()
542 void ExprEngine::VisitCompoundLiteralExpr(const CompoundLiteralExpr *CL, in VisitCompoundLiteralExpr()
567 void ExprEngine::VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred, in VisitDeclStmt()
737 void ExprEngine::VisitInitListExpr(const InitListExpr *IE, in VisitInitListExpr()
786 void ExprEngine::VisitGuardedExpr(const Expr *Ex, in VisitGuardedExpr()
850 void ExprEngine::
869 void ExprEngine::
[all …]
|
| H A D | SMTConstraintManager.cpp | 16 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { in CreateZ3ConstraintManager()
|
| H A D | ProgramState.cpp | 79 ExprEngine *ExprEng) in ProgramStateManager()
192 ExprEngine &Eng = Mgr.getOwningEngine(); in invalidateRegionsImpl()
|
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Frontend/ |
| H A D | AnalysisConsumer.cpp | 199 ExprEngine::InliningModes IMode) { in DisplayFunction()
213 case ExprEngine::Inline_Minimal: in DisplayFunction()
216 case ExprEngine::Inline_Regular: in DisplayFunction()
249 ExprEngine::InliningModes
263 ExprEngine::InliningModes IMode = ExprEngine::Inline_Minimal,
267 ExprEngine::InliningModes IMode,
430 ExprEngine::InliningModes
439 return ExprEngine::Inline_Minimal; in getInliningModeForFunction()
442 return ExprEngine::Inline_Regular; in getInliningModeForFunction()
609 ExprEngine::InliningModes IMode, in HandleCode()
[all …]
|
| /freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | LocalCheckers.h | 20 class ExprEngine; variable
22 void RegisterCallInliner(ExprEngine &Eng);
|
| /freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ConstraintManager.h | 35 class ExprEngine; variable
196 ExprEngine *exprengine);
200 ExprEngine *exprengine);
|
| H A D | SimpleConstraintManager.h | 24 ExprEngine *EE;
28 SimpleConstraintManager(ExprEngine *exprengine, SValBuilder &SB) in SimpleConstraintManager()
|
| H A D | CoreEngine.h | 44 class ExprEngine; variable
58 friend class ExprEngine; variable
72 ExprEngine &ExprEng;
133 CoreEngine(ExprEngine &exprengine,
|
| H A D | CheckerContext.h | 24 ExprEngine &Eng;
41 ExprEngine &eng,
|
| H A D | ProgramState.h | 42 ProgramStateManager &, ExprEngine *);
468 ExprEngine *Eng; /* Can be null. */
500 ExprEngine *expreng);
541 ExprEngine &getOwningEngine() { return *Eng; } in getOwningEngine()
|
| H A D | ExprEngine.h | 127 class ExprEngine {
184 ExprEngine(cross_tu::CrossTranslationUnitContext &CTU, AnalysisManager &mgr,
188 virtual ~ExprEngine() = default;
|
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | AnalyzerStatsChecker.cpp | 36 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
42 ExprEngine &Eng) const { in checkEndAnalysis()
|
| H A D | UnreachableCodeChecker.cpp | 35 ExprEngine &Eng) const;
50 ExprEngine &Eng) const { in checkEndAnalysis()
|
| H A D | CheckerDocumentation.cpp | 207 ExprEngine &Eng) const {} in checkEndAnalysis()
|
| H A D | ExprInspectionChecker.cpp | 70 ExprEngine &Eng) const;
372 ExprEngine &Eng) const { in checkEndAnalysis()
|
| H A D | AnalysisOrderChecker.cpp | 176 ExprEngine &Eng) const { in checkEndAnalysis()
|
| H A D | DebugCheckers.cpp | 304 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const { in checkEndAnalysis()
|
| /freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugType.h | 27 class ExprEngine; variable
|
| H A D | BugReporter.h | 62 class ExprEngine; variable
667 ExprEngine& Eng;
679 PathSensitiveBugReporter(BugReporterData& d, ExprEngine& eng) in PathSensitiveBugReporter()
|