| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 50 class ExprEngine; variable
253 ExprEngine &Eng) { in runCheckersForPreStmt()
266 ExprEngine &Eng,
274 const Stmt *S, ExprEngine &Eng,
281 ExprEngine &Eng) { in runCheckersForPreObjCMessage()
289 ExprEngine &Eng,
299 ExprEngine &Eng) { in runCheckersForObjCMessageNil()
308 const ObjCMethodCall &msg, ExprEngine &Eng,
313 const CallEvent &Call, ExprEngine &Eng) { in runCheckersForPreCall()
319 const CallEvent &Call, ExprEngine &Eng,
[all …]
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerManager.cpp | 150 ExprEngine &Eng;
154 const Stmt *s, ExprEngine &eng, bool wasInlined = false) in CheckStmtContext()
181 ExprEngine &Eng, in runCheckersForStmt()
200 ExprEngine &Eng;
204 const ObjCMethodCall &msg, ExprEngine &eng, in CheckObjCMessageContext()
242 ExprEngine &Eng, in runCheckersForObjCMessage()
274 ExprEngine &Eng;
277 const CallEvent &call, ExprEngine &eng, in CheckCallContext()
302 ExprEngine &Eng, in runCheckersForCallEvent()
324 ExprEngine &Eng;
[all …]
|
| H A D | ExprEngineCallAndReturn.cpp | 42 void ExprEngine::processCallEnter(NodeBuilderContext& BC, CallEnter CE, in processCallEnter()
161 void ExprEngine::removeDeadOnEndOfFunction(NodeBuilderContext& BC, in removeDeadOnEndOfFunction()
222 ProgramStateRef ExprEngine::removeStateTraitsUsedForArrayEvaluation( in removeStateTraitsUsedForArrayEvaluation()
250 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()
458 void ExprEngine::examineStackFrames(const Decl *D, const LocationContext *LCtx, in examineStackFrames()
502 void ExprEngine::ctuBifurcate(const CallEvent &Call, const Decl *D, in REGISTER_MAP_WITH_PROGRAMSTATE()
530 void ExprEngine::inlineCall(WorkList *WList, const CallEvent &Call, in inlineCall()
[all …]
|
| H A D | ExprEngine.cpp | 222 ExprEngine::ExprEngine(cross_tu::CrossTranslationUnitContext &CTU, in ExprEngine() function in ExprEngine
245 ProgramStateRef ExprEngine::getInitialState(const LocationContext *InitLoc) { in getInitialState()
322 ProgramStateRef ExprEngine::createTemporaryRegionIfNeeded( in createTemporaryRegionIfNeeded()
476 ProgramStateRef ExprEngine::setIndexOfElementToConstruct( in setIndexOfElementToConstruct()
487 ExprEngine::getPendingInitLoop(ProgramStateRef State, const CXXConstructExpr *E, in getPendingInitLoop()
493 ProgramStateRef ExprEngine::removePendingInitLoop(ProgramStateRef State, in removePendingInitLoop()
502 ProgramStateRef ExprEngine::setPendingInitLoop(ProgramStateRef State, in setPendingInitLoop()
514 ExprEngine::getIndexOfElementToConstruct(ProgramStateRef State, in getIndexOfElementToConstruct()
523 ExprEngine::removeIndexOfElementToConstruct(ProgramStateRef State, in removeIndexOfElementToConstruct()
533 ExprEngine::getPendingArrayDestruction(ProgramStateRef State, in getPendingArrayDestruction()
[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()
151 void ExprEngine::VisitObjCMessage(const ObjCMessageExpr *ME, in VisitObjCMessage()
|
| H A D | ExprEngineCXX.cpp | 33 void ExprEngine::CreateCXXTemporaryObject(const MaterializeTemporaryExpr *ME, in CreateCXXTemporaryObject()
47 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy()
110 SVal ExprEngine::makeElementRegion(ProgramStateRef State, SVal LValue, in makeElementRegion()
131 SVal ExprEngine::computeObjectUnderConstruction( in computeObjectUnderConstruction()
409 ProgramStateRef ExprEngine::updateObjectsUnderConstruction( in updateObjectsUnderConstruction()
547 void ExprEngine::handleConstructor(const Expr *E, in handleConstructor()
814 void ExprEngine::VisitCXXConstructExpr(const CXXConstructExpr *CE, in VisitCXXConstructExpr()
820 void ExprEngine::VisitCXXInheritedCtorInitExpr( in VisitCXXInheritedCtorInitExpr()
826 void ExprEngine::VisitCXXDestructor(QualType ObjectType, in VisitCXXDestructor()
893 void ExprEngine::VisitCXXNewAllocatorCall(const CXXNewExpr *CNE, in VisitCXXNewAllocatorCall()
[all …]
|
| H A D | ExprEngineC.cpp | 41 void ExprEngine::VisitBinaryOperator(const BinaryOperator* B, in VisitBinaryOperator()
197 void ExprEngine::VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred, in VisitBlockExpr()
258 ProgramStateRef ExprEngine::handleLValueBitCast( in handleLValueBitCast()
286 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex, in VisitCast()
578 void ExprEngine::VisitCompoundLiteralExpr(const CompoundLiteralExpr *CL, in VisitCompoundLiteralExpr()
603 void ExprEngine::VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred, in VisitDeclStmt()
680 void ExprEngine::VisitLogicalExpr(const BinaryOperator* B, ExplodedNode *Pred, in VisitLogicalExpr()
774 void ExprEngine::VisitInitListExpr(const InitListExpr *IE, in VisitInitListExpr()
822 void ExprEngine::VisitGuardedExpr(const Expr *Ex, in VisitGuardedExpr()
886 void ExprEngine::
[all …]
|
| H A D | SMTConstraintManager.cpp | 15 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { in CreateZ3ConstraintManager()
|
| H A D | ProgramState.cpp | 75 ExprEngine *ExprEng) in ProgramStateManager()
118 ExprEngine &Eng = Mgr.getOwningEngine(); in bindLoc()
170 ExprEngine &Eng = Mgr.getOwningEngine(); in invalidateRegions()
440 ExprEngine &Eng = getStateManager().getOwningEngine(); in makeWithStore()
|
| H A D | CallEvent.cpp | 545 ExprEngine &Engine = getState()->getStateManager().getOwningEngine(); in getReturnValueUnderConstruction()
577 ExprEngine &Engine = getState()->getStateManager().getOwningEngine(); in getRuntimeDefinition()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Frontend/ |
| H A D | AnalysisConsumer.cpp | 196 ExprEngine::InliningModes IMode) { in DisplayFunction()
210 case ExprEngine::Inline_Minimal: in DisplayFunction()
213 case ExprEngine::Inline_Regular: in DisplayFunction()
236 ExprEngine::InliningModes
250 ExprEngine::InliningModes IMode = ExprEngine::Inline_Minimal,
254 ExprEngine::InliningModes IMode,
445 ExprEngine::InliningModes
454 return ExprEngine::Inline_Minimal; in getInliningModeForFunction()
457 return ExprEngine::Inline_Regular; in getInliningModeForFunction()
695 ExprEngine::InliningModes IMode, in HandleCode()
[all …]
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| 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
53 friend class ExprEngine; variable
67 ExprEngine &ExprEng;
139 CoreEngine(ExprEngine &exprengine,
|
| H A D | CheckerContext.h | 25 ExprEngine &Eng;
42 ExprEngine &eng,
|
| H A D | ProgramState.h | 43 ProgramStateManager &, ExprEngine *);
503 ExprEngine *Eng; /* Can be null. */
535 ExprEngine *expreng);
576 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 | 36 SMTConstraintManager(clang::ento::ExprEngine *EE, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | CallEvent.h | 424 return ExprEngine::getObjectUnderConstruction( in isArgumentConstructedDirectly()
1143 return *ExprEngine::getObjectUnderConstruction(getState(), getOriginExpr(), in getObjectUnderConstruction()
|
| /freebsd/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 | 36 ExprEngine &Eng) const;
51 ExprEngine &Eng) const { in checkEndAnalysis()
|
| H A D | CheckerDocumentation.cpp | 246 ExprEngine &Eng) const {} in checkEndAnalysis()
|
| H A D | AnalysisOrderChecker.cpp | 175 ExprEngine &Eng) const { in checkEndAnalysis()
|
| H A D | ExprInspectionChecker.cpp | 74 ExprEngine &Eng) const;
413 ExprEngine &Eng) const { in checkEndAnalysis()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 61 class ExprEngine; variable
684 ExprEngine& Eng;
697 PathSensitiveBugReporter(BugReporterData& d, ExprEngine& eng) in PathSensitiveBugReporter()
|