| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 48 class ExprEngine; variable
193 ExprEngine &Eng) { in runCheckersForPreStmt()
206 ExprEngine &Eng,
221 ExprEngine &Eng) { in runCheckersForPreObjCMessage()
229 ExprEngine &Eng,
278 ExprEngine &Eng);
289 ExprEngine &Eng);
295 ExprEngine &Eng);
301 ExprEngine &Eng,
313 ExprEngine &Eng,
[all …]
|
| H A D | Checker.h | 229 BugReporter &BR, ExprEngine &Eng) { in _checkEndAnalysis()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerManager.cpp | 148 ExprEngine &Eng;
194 ExprEngine &Eng;
265 ExprEngine &Eng;
311 ExprEngine &Eng;
316 ExprEngine &eng) in CheckLocationContext()
360 ExprEngine &Eng;
405 ExprEngine &Eng;
463 ExprEngine &Eng;
503 ExprEngine &Eng;
525 ExprEngine &Eng, bool WasInlined) { in runCheckersForNewAllocator()
[all …]
|
| H A D | ExprEngine.cpp | 189 ExprEngine::ExprEngine(cross_tu::CrossTranslationUnitContext &CTU, in ExprEngine() function in ExprEngine
211 ExprEngine::~ExprEngine() { in ~ExprEngine()
530 ExprEngine::processRegionChanges(ProgramStateRef state, in processRegionChanges()
573 void ExprEngine::processEndWorklist() { in processEndWorklist()
974 void ExprEngine::ProcessBaseDtor(const CFGBaseDtor D, in ProcessBaseDtor()
2031 void ExprEngine::processBranch(const Stmt *Condition, in processBranch()
2788 void ExprEngine::evalLoad(ExplodedNodeSet &Dst, in evalLoad()
2826 void ExprEngine::evalLocation(ExplodedNodeSet &Dst, in evalLocation()
2862 ExprEngine::geteagerlyAssumeBinOpBifurcationTags() { in geteagerlyAssumeBinOpBifurcationTags()
2954 BugReporter &BR = static_cast<ExprEngine &>( in nodeHasBugReport()
[all …]
|
| H A D | ExprEngineCallAndReturn.cpp | 40 void ExprEngine::processCallEnter(NodeBuilderContext& BC, CallEnter CE, in processCallEnter()
161 void ExprEngine::removeDeadOnEndOfFunction(NodeBuilderContext& BC, in removeDeadOnEndOfFunction()
203 void ExprEngine::processCallExit(ExplodedNode *CEBNode) { in processCallExit()
412 bool ExprEngine::inlineCall(const CallEvent &Call, const Decl *D, in REGISTER_MAP_WITH_PROGRAMSTATE()
479 void ExprEngine::VisitCallExpr(const CallExpr *CE, ExplodedNode *Pred, in VisitCallExpr()
532 void ExprEngine::finishArgumentConstruction(ExplodedNodeSet &Dst, in finishArgumentConstruction()
551 void ExprEngine::evalCall(ExplodedNodeSet &Dst, ExplodedNode *Pred, in evalCall()
583 ProgramStateRef ExprEngine::bindReturnValue(const CallEvent &Call, in bindReturnValue()
658 ExprEngine::CallInlinePolicy
893 bool ExprEngine::shouldInlineCall(const CallEvent &Call, const Decl *D, in shouldInlineCall()
[all …]
|
| H A D | ExprEngineCXX.cpp | 27 void ExprEngine::CreateCXXTemporaryObject(const MaterializeTemporaryExpr *ME, in CreateCXXTemporaryObject()
41 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy()
99 SVal ExprEngine::makeZeroElementRegion(ProgramStateRef State, SVal LValue, in makeZeroElementRegion()
113 std::pair<ProgramStateRef, SVal> ExprEngine::prepareForObjectConstruction( in prepareForObjectConstruction()
389 void ExprEngine::VisitCXXConstructExpr(const CXXConstructExpr *CE, in VisitCXXConstructExpr()
600 void ExprEngine::VisitCXXDestructor(QualType ObjectType, in VisitCXXDestructor()
637 void ExprEngine::VisitCXXNewAllocatorCall(const CXXNewExpr *CNE, in VisitCXXNewAllocatorCall()
706 void ExprEngine::VisitCXXNewExpr(const CXXNewExpr *CNE, ExplodedNode *Pred, in VisitCXXNewExpr()
816 void ExprEngine::VisitCXXDeleteExpr(const CXXDeleteExpr *CDE, in VisitCXXDeleteExpr()
823 void ExprEngine::VisitCXXCatchStmt(const CXXCatchStmt *CS, in VisitCXXCatchStmt()
[all …]
|
| H A D | ExprEngineC.cpp | 41 void ExprEngine::VisitBinaryOperator(const BinaryOperator* B, in VisitBinaryOperator()
193 void ExprEngine::VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred, in VisitBlockExpr()
256 ProgramStateRef ExprEngine::handleLValueBitCast( in handleLValueBitCast()
282 ProgramStateRef ExprEngine::handleLVectorSplat( in handleLVectorSplat()
298 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex, in VisitCast()
563 void ExprEngine::VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred, in VisitDeclStmt()
696 void ExprEngine::VisitInitListExpr(const InitListExpr *IE, in VisitInitListExpr()
745 void ExprEngine::VisitGuardedExpr(const Expr *Ex, in VisitGuardedExpr()
809 void ExprEngine::
829 void ExprEngine::
[all …]
|
| H A D | ExprEngineObjC.cpp | 22 void ExprEngine::VisitLvalObjCIvarRefExpr(const ObjCIvarRefExpr *Ex, in VisitLvalObjCIvarRefExpr()
39 void ExprEngine::VisitObjCAtSynchronizedStmt(const ObjCAtSynchronizedStmt *S, in VisitObjCAtSynchronizedStmt()
86 void ExprEngine::VisitObjCForCollectionStmt(const ObjCForCollectionStmt *S, in VisitObjCForCollectionStmt()
151 void ExprEngine::VisitObjCMessage(const ObjCMessageExpr *ME, in VisitObjCMessage()
|
| H A D | BugReporterVisitors.cpp | 1850 ExprEngine::geteagerlyAssumeBinOpBifurcationTags(); in VisitNodeImpl()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Frontend/ |
| H A D | AnalysisConsumer.cpp | 263 ExprEngine::InliningModes IMode) { in DisplayFunction()
277 case ExprEngine::Inline_Minimal: in DisplayFunction()
280 case ExprEngine::Inline_Regular: in DisplayFunction()
314 ExprEngine::InliningModes
328 ExprEngine::InliningModes IMode = ExprEngine::Inline_Minimal,
332 ExprEngine::InliningModes IMode,
454 ExprEngine::InliningModes
463 return ExprEngine::Inline_Minimal; in getInliningModeForFunction()
466 return ExprEngine::Inline_Regular; in getInliningModeForFunction()
692 ExprEngine::InliningModes IMode, in HandleCode()
[all …]
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | LocalCheckers.h | 21 class ExprEngine; variable
23 void RegisterCallInliner(ExprEngine &Eng);
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | AnalyzerStatsChecker.cpp | 37 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
43 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 | 208 ExprEngine &Eng) const {} in checkEndAnalysis()
|
| H A D | ExprInspectionChecker.cpp | 60 ExprEngine &Eng) const;
283 ExprEngine &Eng) const { in checkEndAnalysis()
|
| H A D | DebugCheckers.cpp | 225 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const { in checkEndAnalysis()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerContext.h | 25 ExprEngine &Eng;
42 ExprEngine &eng,
|
| H A D | ExprEngine.h | 84 class ExprEngine : public SubEngine {
157 ExprEngine(cross_tu::CrossTranslationUnitContext &CTU, AnalysisManager &mgr,
161 ~ExprEngine() override;
|
| H A D | CoreEngine.h | 58 friend class ExprEngine; variable
|
| H A D | CallEvent.h | 436 return ExprEngine::getObjectUnderConstruction( in isArgumentConstructedDirectly()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 61 class ExprEngine; variable
514 ExprEngine& Eng;
517 GRBugReporter(BugReporterData& d, ExprEngine& eng) in GRBugReporter()
|
| H A D | BugType.h | 28 class ExprEngine; variable
|
| /freebsd-12.1/lib/clang/libclang/ |
| H A D | Makefile | 590 SRCS_FUL+= StaticAnalyzer/Core/ExprEngine.cpp
|