| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 49 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 …]
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerManager.cpp | 156 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 D | ExprEngineCallAndReturn.cpp | 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()
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 | 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::getPendingInitLoop(ProgramStateRef State, const CXXConstructExpr *E, in getPendingInitLoop()
492 ProgramStateRef ExprEngine::removePendingInitLoop(ProgramStateRef State, in removePendingInitLoop()
501 ProgramStateRef ExprEngine::setPendingInitLoop(ProgramStateRef State, in setPendingInitLoop()
513 ExprEngine::getIndexOfElementToConstruct(ProgramStateRef State, in getIndexOfElementToConstruct()
522 ExprEngine::removeIndexOfElementToConstruct(ProgramStateRef State, in removeIndexOfElementToConstruct()
532 ExprEngine::getPendingArrayDestruction(ProgramStateRef State, in getPendingArrayDestruction()
[all …]
|
| H A D | ExprEngineCXX.cpp | 30 void ExprEngine::CreateCXXTemporaryObject(const MaterializeTemporaryExpr *ME, in CreateCXXTemporaryObject()
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()
844 void ExprEngine::VisitCXXConstructExpr(const CXXConstructExpr *CE, in VisitCXXConstructExpr()
850 void ExprEngine::VisitCXXInheritedCtorInitExpr( in VisitCXXInheritedCtorInitExpr()
856 void ExprEngine::VisitCXXDestructor(QualType ObjectType, in VisitCXXDestructor()
923 void ExprEngine::VisitCXXNewAllocatorCall(const CXXNewExpr *CNE, in VisitCXXNewAllocatorCall()
[all …]
|
| H A D | ExprEngineC.cpp | 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::VisitLogicalExpr(const BinaryOperator* B, ExplodedNode *Pred, in VisitLogicalExpr()
735 void ExprEngine::VisitInitListExpr(const InitListExpr *IE, in VisitInitListExpr()
783 void ExprEngine::VisitGuardedExpr(const Expr *Ex, in VisitGuardedExpr()
847 void ExprEngine::
[all …]
|
| H A D | SMTConstraintManager.cpp | 15 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { in CreateZ3ConstraintManager()
|
| H A D | ProgramState.cpp | 76 ExprEngine *ExprEng) in ProgramStateManager()
188 ExprEngine &Eng = Mgr.getOwningEngine(); in invalidateRegionsImpl()
|
| H A D | CallEvent.cpp | 546 ExprEngine &Engine = getState()->getStateManager().getOwningEngine(); in getReturnValueUnderConstruction()
578 ExprEngine &Engine = getState()->getStateManager().getOwningEngine(); in getRuntimeDefinition()
|
| H A D | CoreEngine.cpp | 75 CoreEngine::CoreEngine(ExprEngine &exprengine, FunctionSummariesTy *FS, in CoreEngine()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Frontend/ |
| H A D | AnalysisConsumer.cpp | 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::Inline_Minimal; in getInliningModeForFunction()
435 return ExprEngine::Inline_Regular; in getInliningModeForFunction()
659 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
59 friend class ExprEngine; variable
73 ExprEngine &ExprEng;
137 CoreEngine(ExprEngine &exprengine,
|
| H A D | CheckerContext.h | 25 ExprEngine &Eng;
42 ExprEngine &eng,
|
| H A D | ProgramState.h | 43 ProgramStateManager &, ExprEngine *);
510 ExprEngine *Eng; /* Can be null. */
542 ExprEngine *expreng);
583 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 | 35 SMTConstraintManager(clang::ento::ExprEngine *EE, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | CallEvent.h | 424 return ExprEngine::getObjectUnderConstruction( in isArgumentConstructedDirectly()
1136 return *ExprEngine::getObjectUnderConstruction(getState(), getOriginExpr(), in getObjectUnderConstruction()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | AnalyzerStatsChecker.cpp | 38 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
44 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 | 210 ExprEngine &Eng) const {} in checkEndAnalysis()
|
| H A D | AnalysisOrderChecker.cpp | 176 ExprEngine &Eng) const { in checkEndAnalysis()
|
| H A D | BasicObjCFoundationChecks.cpp | 986 if (!ExprEngine::hasMoreIteration(State, FCS, C.getLocationContext())) { in checkPostStmt()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 61 class ExprEngine; variable
680 ExprEngine& Eng;
692 PathSensitiveBugReporter(BugReporterData& d, ExprEngine& eng) in PathSensitiveBugReporter()
|