diff options
Diffstat (limited to 'include/clang/StaticAnalyzer/Core/AnalyzerOptions.h')
-rw-r--r-- | include/clang/StaticAnalyzer/Core/AnalyzerOptions.h | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/include/clang/StaticAnalyzer/Core/AnalyzerOptions.h b/include/clang/StaticAnalyzer/Core/AnalyzerOptions.h index 9b9749df98..e1fe082049 100644 --- a/include/clang/StaticAnalyzer/Core/AnalyzerOptions.h +++ b/include/clang/StaticAnalyzer/Core/AnalyzerOptions.h @@ -132,9 +132,6 @@ public: std::string AnalyzeSpecificFunction; - /// \brief The maximum number of exploded nodes the analyzer will generate. - unsigned MaxNodes; - /// \brief The maximum number of times the analyzer visits a block. unsigned maxBlockVisitOnPath; @@ -223,6 +220,9 @@ private: /// \sa getMaxTimesInlineLarge llvm::Optional<unsigned> MaxTimesInlineLarge; + /// \sa getMaxNodesPerTopLevelFunction + llvm::Optional<unsigned> MaxNodesPerTopLevelFunction; + /// Interprets an option's string value as a boolean. /// /// Accepts the strings "true" and "false". @@ -332,6 +332,13 @@ public: /// This is controlled by the 'max-times-inline-large' config option. unsigned getMaxTimesInlineLarge(); + /// Returns the maximum number of nodes the analyzer can generate while + /// exploring a top level function (for each exploded graph). + /// 150000 is default; 0 means no limit. + /// + /// This is controlled by the 'max-nodes' config option. + unsigned getMaxNodesPerTopLevelFunction(); + public: AnalyzerOptions() : AnalysisStoreOpt(RegionStoreModel), |