diff options
author | Jordan Rose <jordan_rose@apple.com> | 2013-01-26 01:28:09 +0000 |
---|---|---|
committer | Jordan Rose <jordan_rose@apple.com> | 2013-01-26 01:28:09 +0000 |
commit | 7ee8906295d56ceb84b8b3da502cdc8770509868 (patch) | |
tree | 202dd3d33ee6047b9e078e82903b959a24c29226 /include/clang/StaticAnalyzer/Core/AnalyzerOptions.h | |
parent | a7db6a200a434dfa5142a0568dbf66debbbc65e0 (diff) |
[analyzer] Rename PruneNullReturnPaths to SuppressNullReturnPaths.
"Prune" is the term for eliminating pieces of a path that are not
relevant to the user. "Suppress" means don't show that path at all.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@173544 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/StaticAnalyzer/Core/AnalyzerOptions.h')
-rw-r--r-- | include/clang/StaticAnalyzer/Core/AnalyzerOptions.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/include/clang/StaticAnalyzer/Core/AnalyzerOptions.h b/include/clang/StaticAnalyzer/Core/AnalyzerOptions.h index 69b2ac4c0c..4643c67b70 100644 --- a/include/clang/StaticAnalyzer/Core/AnalyzerOptions.h +++ b/include/clang/StaticAnalyzer/Core/AnalyzerOptions.h @@ -211,12 +211,12 @@ private: // \sa getAlwaysInlineSize llvm::Optional<unsigned> AlwaysInlineSize; - /// \sa shouldPruneNullReturnPaths - llvm::Optional<bool> PruneNullReturnPaths; + /// \sa shouldSuppressNullReturnPaths + llvm::Optional<bool> SuppressNullReturnPaths; /// \sa shouldAvoidSuppressingNullArgumentPaths llvm::Optional<bool> AvoidSuppressingNullArgumentPaths; - + /// \sa getGraphTrimInterval llvm::Optional<unsigned> GraphTrimInterval; @@ -284,12 +284,12 @@ public: /// /// This is controlled by the 'suppress-null-return-paths' config option, /// which accepts the values "true" and "false". - bool shouldPruneNullReturnPaths(); + bool shouldSuppressNullReturnPaths(); /// Returns whether a bug report should \em not be suppressed if its path /// includes a call with a null argument, even if that call has a null return. /// - /// This option has no effect when #shouldPruneNullReturnPaths() is false. + /// This option has no effect when #shouldSuppressNullReturnPaths() is false. /// /// This is a counter-heuristic to avoid false negatives. /// |