diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2013-01-26 01:28:15 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2013-01-26 01:28:15 +0000 |
| commit | aeca2cc3a6f486abff3fdfb4e82903cd3ca4267e (patch) | |
| tree | 48e97d13a95f417354c075866e2abaff113ff481 /include/clang/StaticAnalyzer/Core/AnalyzerOptions.h | |
| parent | 7ee8906295d56ceb84b8b3da502cdc8770509868 (diff) | |
[analyzer] Add 'prune-paths' config option to disable path pruning.
This should be used for testing only. Path pruning is still on by default.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@173545 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/StaticAnalyzer/Core/AnalyzerOptions.h')
| -rw-r--r-- | include/clang/StaticAnalyzer/Core/AnalyzerOptions.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/include/clang/StaticAnalyzer/Core/AnalyzerOptions.h b/include/clang/StaticAnalyzer/Core/AnalyzerOptions.h index 4643c67b70..c84f6c3768 100644 --- a/include/clang/StaticAnalyzer/Core/AnalyzerOptions.h +++ b/include/clang/StaticAnalyzer/Core/AnalyzerOptions.h @@ -297,6 +297,13 @@ public: /// option, which accepts the values "true" and "false". bool shouldAvoidSuppressingNullArgumentPaths(); + /// Returns whether irrelevant parts of a bug report path should be pruned + /// out of the final output. + /// + /// This is controlled by the 'prune-paths' config option, which accepts the + /// values "true" and "false". + bool shouldPrunePaths(); + // Returns the size of the functions (in basic blocks), which should be // considered to be small enough to always inline. // |