Home
last modified time | relevance | path

Searched refs:ExprEngine (Results 1 – 25 of 34) sorted by relevance

12

/freebsd-src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h49 class ExprEngine; variable
251 ExprEngine &Eng) { in runCheckersForPreStmt()
264 ExprEngine &Eng,
272 const Stmt *S, ExprEngine &Eng,
279 ExprEngine &Eng) { in runCheckersForPreObjCMessage()
287 ExprEngine &Eng,
297 ExprEngine &Eng) { in runCheckersForObjCMessageNil()
306 const ObjCMethodCall &msg, ExprEngine &Eng,
311 const CallEvent &Call, ExprEngine &Eng) { in runCheckersForPreCall()
317 const CallEvent &Call, ExprEngine
[all...]
/freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCheckerManager.cpp156 ExprEngine &Eng;
160 const Stmt *s, ExprEngine &eng, bool wasInlined = false) in CheckStmtContext()
186 ExprEngine &Eng, in runCheckersForStmt()
202 ExprEngine &Eng;
206 const ObjCMethodCall &msg, ExprEngine &eng, in CheckObjCMessageContext()
242 ExprEngine &Eng, in runCheckersForObjCMessage()
273 ExprEngine &Eng;
276 const CallEvent &call, ExprEngine &eng, in CheckCallContext()
300 ExprEngine &Eng, in runCheckersForCallEvent()
319 ExprEngine &Eng;
[all …]
H A DExprEngineCallAndReturn.cpp9 // This file defines ExprEngine's support for calls and returns.
22 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
33 #define DEBUG_TYPE "ExprEngine"
44 void ExprEngine::processCallEnter(NodeBuilderContext& BC, CallEnter CE, in processCallEnter()
165 void ExprEngine::removeDeadOnEndOfFunction(NodeBuilderContext& BC, in removeDeadOnEndOfFunction()
226 ProgramStateRef ExprEngine::removeStateTraitsUsedForArrayEvaluation( in removeStateTraitsUsedForArrayEvaluation()
254 void ExprEngine::processCallExit(ExplodedNode *CEBNode) { in processCallExit()
355 static SimpleProgramPointTag retValBind("ExprEngine", "Bind Return Value"); in processCallExit()
438 bool ExprEngine::isSmall(AnalysisDeclContext *ADC) const { in isSmall()
448 bool ExprEngine
[all...]
H A DExprEngine.cpp1 //===- ExprEngine.cpp - Path-Sensitive Expression-Level Dataflow ----------===//
15 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
90 #define DEBUG_TYPE "ExprEngine"
219 static const char* TagProviderName = "ExprEngine";
221 ExprEngine::ExprEngine(cross_tu::CrossTranslationUnitContext &CTU, in ExprEngine() function in ExprEngine
244 ProgramStateRef ExprEngine::getInitialState(const LocationContext *InitLoc) { in getInitialState()
321 ProgramStateRef ExprEngine::createTemporaryRegionIfNeeded( in createTemporaryRegionIfNeeded()
475 ProgramStateRef ExprEngine::setIndexOfElementToConstruct( in setIndexOfElementToConstruct()
486 ExprEngine
[all...]
H A DExprEngineObjC.cpp21 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 DExprEngineCXX.cpp1 //===- ExprEngineCXX.cpp - ExprEngine support for C++ -----------*- C++ -*-===//
21 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
30 void ExprEngine::CreateCXXTemporaryObject(const MaterializeTemporaryExpr *ME, in CreateCXXTemporaryObject()
43 // checker rather than as a special case in ExprEngine.
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()
643 static SimpleProgramPointTag T{"ExprEngine", in handleConstructor()
[all...]
H A DExprEngineC.cpp1 //=-- ExprEngineC.cpp - ExprEngine support for C expressions ----*- C++ -*-===//
9 // This file defines ExprEngine's support for C expressions.
16 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
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()
540 void ExprEngine::VisitCompoundLiteralExpr(const CompoundLiteralExpr *CL, in VisitCompoundLiteralExpr()
565 void ExprEngine::VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred, in VisitDeclStmt()
641 void ExprEngine in VisitLogicalExpr()
[all...]
H A DSMTConstraintManager.cpp15 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { in CreateZ3ConstraintManager()
H A DProgramState.cpp19 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
76 ExprEngine *ExprEng) in ProgramStateManager()
188 ExprEngine &Eng = Mgr.getOwningEngine(); in invalidateRegionsImpl()
/freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Frontend/
H A DAnalysisConsumer.cpp35 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
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 in getInliningModeForFunction()
[all...]
/freebsd-src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h35 class ExprEngine; variable
189 ExprEngine *exprengine);
193 ExprEngine *exprengine);
H A DSimpleConstraintManager.h24 ExprEngine *EE;
28 SimpleConstraintManager(ExprEngine *exprengine, SValBuilder &SB) in SimpleConstraintManager()
H A DCoreEngine.h45 class ExprEngine; variable
59 friend class ExprEngine; variable
73 ExprEngine &ExprEng;
137 CoreEngine(ExprEngine &exprengine,
H A DCheckerContext.h17 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
25 ExprEngine &Eng;
42 ExprEngine &eng,
H A DProgramState.h43 ProgramStateManager &, ExprEngine *);
198 // for modeling path-sensitivity in ExprEngine/ProgramState.
509 /// Eng - The ExprEngine that owns this state manager.
510 ExprEngine *Eng; /* Can be null. */
542 ExprEngine *expreng);
583 ExprEngine &getOwningEngine() { return *Eng; }
H A DExprEngine.h1 //===- ExprEngine.h - Path-Sensitive Expression-Level Dataflow --*- C++ -*-===//
124 class ExprEngine {
171 /// destructor is called before the rest of the ExprEngine is destroyed.
182 ExprEngine(cross_tu::CrossTranslationUnitContext &CTU, AnalysisManager &mgr,
186 virtual ~ExprEngine() = default;
686 /// that is currently being processed by ExprEngine.
898 /// ExprEngine::VisitObjCForCollectionStmt().
H A DRangedConstraintManager.h409 RangedConstraintManager(ExprEngine *EE, SValBuilder &SB) in RangedConstraintManager()
H A DSMTConstraintManager.h35 SMTConstraintManager(clang::ento::ExprEngine *EE, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DAnalyzerStatsChecker.cpp38 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
44 ExprEngine &Eng) const { in checkEndAnalysis()
H A DUnreachableCodeChecker.cpp36 ExprEngine &Eng) const;
51 ExprEngine &Eng) const { in checkEndAnalysis()
H A DCheckerDocumentation.cpp210 ExprEngine &Eng) const {}
H A DAnalysisOrderChecker.cpp176 ExprEngine &Eng) const { in checkEndAnalysis()
H A DDebugCheckers.cpp303 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const { in checkEndAnalysis()
H A DExprInspectionChecker.cpp74 ExprEngine &Eng) const;
412 ExprEngine &Eng) const { in checkEndAnalysis()
/freebsd-src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporter.h61 class ExprEngine; variable
680 ExprEngine& Eng;
692 PathSensitiveBugReporter(BugReporterData& d, ExprEngine& eng)

12