| /llvm-project-15.0.7/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 …]
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerManager.cpp | 158 ExprEngine &Eng;
204 ExprEngine &Eng;
275 ExprEngine &Eng;
321 ExprEngine &Eng;
326 ExprEngine &eng) in CheckLocationContext()
370 ExprEngine &Eng;
415 ExprEngine &Eng;
473 ExprEngine &Eng;
512 ExprEngine &Eng;
516 ExprEngine &Eng) in CheckNewAllocatorContext()
[all …]
|
| H A D | ExprEngine.cpp | 213 ExprEngine::ExprEngine(cross_tu::CrossTranslationUnitContext &CTU, in ExprEngine() function in ExprEngine
630 ExprEngine::processRegionChanges(ProgramStateRef state, in processRegionChanges()
790 void ExprEngine::processEndWorklist() { in processEndWorklist()
1195 void ExprEngine::ProcessBaseDtor(const CFGBaseDtor D, in ProcessBaseDtor()
2400 void ExprEngine::processBranch(const Stmt *Condition, in processBranch()
3298 void ExprEngine::evalLoad(ExplodedNodeSet &Dst, in evalLoad()
3336 void ExprEngine::evalLocation(ExplodedNodeSet &Dst, in evalLocation()
3372 ExprEngine::geteagerlyAssumeBinOpBifurcationTags() { in geteagerlyAssumeBinOpBifurcationTags()
3463 BugReporter &BR = static_cast<ExprEngine &>( in nodeHasBugReport()
3554 void ExprEngine::ViewGraph(bool trim) { in ViewGraph()
[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()
386 bool ExprEngine::isSmall(AnalysisDeclContext *ADC) const { in isSmall()
396 bool ExprEngine::isLarge(AnalysisDeclContext *ADC) const { in isLarge()
401 bool ExprEngine::isHuge(AnalysisDeclContext *ADC) const { in isHuge()
603 void ExprEngine::finishArgumentConstruction(ExplodedNodeSet &Dst, in finishArgumentConstruction()
690 ProgramStateRef ExprEngine::bindReturnValue(const CallEvent &Call, in bindReturnValue()
785 ExprEngine::CallInlinePolicy
1110 bool ExprEngine::shouldRepeatCtorCall(ProgramStateRef State, in shouldRepeatCtorCall()
[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()
97 SVal ExprEngine::makeElementRegion(ProgramStateRef State, SVal LValue, in makeElementRegion()
114 SVal ExprEngine::computeObjectUnderConstruction( in computeObjectUnderConstruction()
379 ProgramStateRef ExprEngine::updateObjectsUnderConstruction( in updateObjectsUnderConstruction()
546 void ExprEngine::handleConstructor(const Expr *E, in handleConstructor()
789 void ExprEngine::VisitCXXConstructExpr(const CXXConstructExpr *CE, in VisitCXXConstructExpr()
795 void ExprEngine::VisitCXXInheritedCtorInitExpr( in VisitCXXInheritedCtorInitExpr()
801 void ExprEngine::VisitCXXDestructor(QualType ObjectType, in VisitCXXDestructor()
868 void ExprEngine::VisitCXXNewAllocatorCall(const CXXNewExpr *CNE, in VisitCXXNewAllocatorCall()
[all …]
|
| H A D | ExprEngineC.cpp | 39 void ExprEngine::VisitBinaryOperator(const BinaryOperator* B, in VisitBinaryOperator()
195 void ExprEngine::VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred, in VisitBlockExpr()
258 ProgramStateRef ExprEngine::handleLValueBitCast( in handleLValueBitCast()
285 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex, in VisitCast()
546 void ExprEngine::VisitCompoundLiteralExpr(const CompoundLiteralExpr *CL, in VisitCompoundLiteralExpr()
571 void ExprEngine::VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred, in VisitDeclStmt()
741 void ExprEngine::VisitInitListExpr(const InitListExpr *IE, in VisitInitListExpr()
789 void ExprEngine::VisitGuardedExpr(const Expr *Ex, in VisitGuardedExpr()
853 void ExprEngine::
872 void ExprEngine::
[all …]
|
| H A D | SMTConstraintManager.cpp | 15 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { in CreateZ3ConstraintManager()
|
| H A D | CMakeLists.txt | 28 ExprEngine.cpp
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Frontend/ |
| H A D | AnalysisConsumer.cpp | 194 ExprEngine::InliningModes IMode) { in DisplayFunction()
208 case ExprEngine::Inline_Minimal: in DisplayFunction()
211 case ExprEngine::Inline_Regular: in DisplayFunction()
244 ExprEngine::InliningModes
258 ExprEngine::InliningModes IMode = ExprEngine::Inline_Minimal,
262 ExprEngine::InliningModes IMode,
424 ExprEngine::InliningModes
433 return ExprEngine::Inline_Minimal; in getInliningModeForFunction()
436 return ExprEngine::Inline_Regular; in getInliningModeForFunction()
659 ExprEngine::InliningModes IMode, in HandleCode()
[all …]
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | LocalCheckers.h | 20 class ExprEngine; variable
22 void RegisterCallInliner(ExprEngine &Eng);
|
| /llvm-project-15.0.7/clang/test/Analysis/exploded-graph-rewriter/ |
| H A D | program_points.dot | 74 // CHECK-SAME: <font color="crimson">ExprEngine : Clean Node</font>
93 "tag": "ExprEngine : Clean Node",
121 "tag": "ExprEngine : Clean Node",
151 // CHECK-SAME: <font color="crimson">ExprEngine : Clean Node</font>
171 "tag": "ExprEngine : Clean Node",
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ConstraintManager.h | 35 class ExprEngine; variable
173 ExprEngine *exprengine);
177 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;
136 CoreEngine(ExprEngine &exprengine,
|
| H A D | CheckerContext.h | 24 ExprEngine &Eng;
41 ExprEngine &eng,
|
| /llvm-project-15.0.7/clang/test/SemaTemplate/ |
| H A D | instantiate-member-expr.cpp | 12 class ExprEngine { class
25 void f(ExprEngine& Eng) { in f()
|
| /llvm-project-15.0.7/clang/docs/analyzer/developer-docs/ |
| H A D | IPA.rst | 18 instance methods when ExprEngine is confident about the dynamic type of the
125 ExprEngine::inlineCall and ExprEngine::processCallExit.
192 processed by the ExprEngine. Thus, if the CFG was built without nodes for
198 - In C++, ExprEngine does not inline custom implementations of operator 'new'
267 parlance), which ExprEngine uses to decide whether or not the call should be
301 (RuntimeDefinition::mayHaveOtherDefinitions() evaluates to TRUE), ExprEngine
310 called. When this mode is set, ExprEngine uses the Decl from
316 definition is overridden in a subclass. In such cases, ExprEngine does not
334 ExprEngine relies on a set of heuristics to partition the set of Objective-C
370 * Arrays of objects are modeled very poorly right now. ExprEngine currently
[all …]
|
| /llvm-project-15.0.7/clang/unittests/StaticAnalyzer/ |
| H A D | SValTest.cpp | 76 ExprEngine &Engine) const { in checkEndAnalysis()
89 virtual void test(ExprEngine &Engine, const ASTContext &Context) const = 0;
137 void test(ExprEngine &Engine, const ASTContext &Context) const override; \
153 void NAME##SValCollector::test(ExprEngine &Engine, \
|
| H A D | Reusables.h | 56 ExprEngine Eng;
67 Eng(CTU, AMgr, &VisitedCallees, &FS, ExprEngine::Inline_Regular) {} in ExprEngineConsumer()
|
| /llvm-project-15.0.7/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()
|
| /llvm-project-15.0.7/clang/test/Analysis/ |
| H A D | PR3991.m | 53 // ExprEngine::Visit and ExprEngine::VisitLValue have such expressions
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/ |
| H A D | README.txt | 8 engine (ExprEngine.cpp and friends), and some static checkers
61 For example, the PreVisitCallExpr() method is called by ExprEngine
74 is constructed into. See ExprEngine::VisitCXXConstructExpr().
76 In ExprEngine::processCallExit(), we always bind the object region to the
95 best place to look is the visitation logic in ExprEngine, which
|
| /llvm-project-15.0.7/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/ |
| H A D | BUILD.gn | 37 "ExprEngine.cpp",
|