Home
last modified time | relevance | path

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

12

/openbsd-src/gnu/llvm/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 &Eng,
[all …]
/openbsd-src/gnu/llvm/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.cpp44 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()
440 bool ExprEngine::isSmall(AnalysisDeclContext *ADC) const { in isSmall()
450 bool ExprEngine::isLarge(AnalysisDeclContext *ADC) const { in isLarge()
455 bool ExprEngine::isHuge(AnalysisDeclContext *ADC) const { in isHuge()
460 void ExprEngine::examineStackFrames(const Decl *D, const LocationContext *LCtx, in examineStackFrames()
504 void ExprEngine::ctuBifurcate(const CallEvent &Call, const Decl *D, in REGISTER_MAP_WITH_PROGRAMSTATE()
532 void ExprEngine::inlineCall(WorkList *WList, const CallEvent &Call, in inlineCall()
[all …]
H A DExprEngine.cpp220 ExprEngine::ExprEngine(cross_tu::CrossTranslationUnitContext &CTU, in ExprEngine() function in ExprEngine
243 ProgramStateRef ExprEngine::getInitialState(const LocationContext *InitLoc) { in getInitialState()
320 ProgramStateRef ExprEngine::createTemporaryRegionIfNeeded( in createTemporaryRegionIfNeeded()
470 ProgramStateRef ExprEngine::setIndexOfElementToConstruct( in setIndexOfElementToConstruct()
481 ExprEngine::getPendingInitLoop(ProgramStateRef State, const CXXConstructExpr *E, in getPendingInitLoop()
487 ProgramStateRef ExprEngine::removePendingInitLoop(ProgramStateRef State, in removePendingInitLoop()
496 ProgramStateRef ExprEngine::setPendingInitLoop(ProgramStateRef State, in setPendingInitLoop()
508 ExprEngine::getIndexOfElementToConstruct(ProgramStateRef State, in getIndexOfElementToConstruct()
517 ExprEngine::removeIndexOfElementToConstruct(ProgramStateRef State, in removeIndexOfElementToConstruct()
527 ExprEngine::getPendingArrayDestruction(ProgramStateRef State, in getPendingArrayDestruction()
[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.cpp28 void ExprEngine::CreateCXXTemporaryObject(const MaterializeTemporaryExpr *ME, in CreateCXXTemporaryObject()
42 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy()
99 SVal ExprEngine::makeElementRegion(ProgramStateRef State, SVal LValue, in makeElementRegion()
120 SVal ExprEngine::computeObjectUnderConstruction( in computeObjectUnderConstruction()
391 ProgramStateRef ExprEngine::updateObjectsUnderConstruction( in updateObjectsUnderConstruction()
574 void ExprEngine::handleConstructor(const Expr *E, in handleConstructor()
839 void ExprEngine::VisitCXXConstructExpr(const CXXConstructExpr *CE, in VisitCXXConstructExpr()
845 void ExprEngine::VisitCXXInheritedCtorInitExpr( in VisitCXXInheritedCtorInitExpr()
851 void ExprEngine::VisitCXXDestructor(QualType ObjectType, in VisitCXXDestructor()
918 void ExprEngine::VisitCXXNewAllocatorCall(const CXXNewExpr *CNE, in VisitCXXNewAllocatorCall()
[all …]
H A DExprEngineC.cpp40 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()
286 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex, in VisitCast()
547 void ExprEngine::VisitCompoundLiteralExpr(const CompoundLiteralExpr *CL, in VisitCompoundLiteralExpr()
572 void ExprEngine::VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred, in VisitDeclStmt()
648 void ExprEngine::VisitLogicalExpr(const BinaryOperator* B, ExplodedNode *Pred, in VisitLogicalExpr()
742 void ExprEngine::VisitInitListExpr(const InitListExpr *IE, in VisitInitListExpr()
790 void ExprEngine::VisitGuardedExpr(const Expr *Ex, in VisitGuardedExpr()
854 void ExprEngine::
[all …]
H A DSMTConstraintManager.cpp15 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { in CreateZ3ConstraintManager()
H A DCMakeLists.txt28 ExprEngine.cpp
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Frontend/
H A DAnalysisConsumer.cpp193 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 …]
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h35 class ExprEngine; variable
173 ExprEngine *exprengine);
177 ExprEngine *exprengine);
H A DSimpleConstraintManager.h24 ExprEngine *EE;
28 SimpleConstraintManager(ExprEngine *exprengine, SValBuilder &SB) in SimpleConstraintManager()
H A DCoreEngine.h44 class ExprEngine; variable
58 friend class ExprEngine; variable
72 ExprEngine &ExprEng;
136 CoreEngine(ExprEngine &exprengine,
H A DCheckerContext.h25 ExprEngine &Eng;
42 ExprEngine &eng,
H A DProgramState.h43 ProgramStateManager &, ExprEngine *);
508 ExprEngine *Eng; /* Can be null. */
540 ExprEngine *expreng);
581 ExprEngine &getOwningEngine() { return *Eng; } in getOwningEngine()
H A DExprEngine.h124 class ExprEngine {
182 ExprEngine(cross_tu::CrossTranslationUnitContext &CTU, AnalysisManager &mgr,
186 virtual ~ExprEngine() = default;
/openbsd-src/gnu/llvm/clang/docs/analyzer/developer-docs/
H A DIPA.rst18 instance methods when ExprEngine is confident about the dynamic type of the
125 ExprEngine::inlineCall and ExprEngine::processCallExit.
139 2. ExprEngine takes over (in processCallExit) and finds the return value of the
165 ReplayWithoutInlining bit added to it (ExprEngine::replayWithoutInlining). The
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
297 ExprEngine::BifurcateCall implements the ``-analyzer-config ipa=dynamic-bifurcate``
301 (RuntimeDefinition::mayHaveOtherDefinitions() evaluates to TRUE), ExprEngine
310 called. When this mode is set, ExprEngine uses the Decl from
[all …]
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DAnalyzerStatsChecker.cpp37 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
43 ExprEngine &Eng) const { in checkEndAnalysis()
H A DUnreachableCodeChecker.cpp36 ExprEngine &Eng) const;
51 ExprEngine &Eng) const { in checkEndAnalysis()
H A DCheckerDocumentation.cpp207 ExprEngine &Eng) const {} in checkEndAnalysis()
H A DAnalysisOrderChecker.cpp176 ExprEngine &Eng) const { in checkEndAnalysis()
H A DDebugCheckers.cpp304 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const { in checkEndAnalysis()
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/
H A DREADME.txt8 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
/openbsd-src/gnu/llvm/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/
H A DBUILD.gn37 "ExprEngine.cpp",
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporter.h61 class ExprEngine; variable
665 ExprEngine& Eng;
677 PathSensitiveBugReporter(BugReporterData& d, ExprEngine& eng) in PathSensitiveBugReporter()

12