[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
This commit is contained in:
Jordan Rose 2013-01-26 01:28:09 +00:00
Родитель a7db6a200a
Коммит 7ee8906295
3 изменённых файлов: 8 добавлений и 8 удалений

Просмотреть файл

@ -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.
///

Просмотреть файл

@ -140,8 +140,8 @@ bool AnalyzerOptions::mayInlineObjCMethod() {
/* Default = */ true);
}
bool AnalyzerOptions::shouldPruneNullReturnPaths() {
return getBooleanOption(PruneNullReturnPaths,
bool AnalyzerOptions::shouldSuppressNullReturnPaths() {
return getBooleanOption(SuppressNullReturnPaths,
"suppress-null-return-paths",
/* Default = */ true);
}

Просмотреть файл

@ -251,7 +251,7 @@ public:
// the report is resurrected as valid later on.
ExprEngine &Eng = BRC.getBugReporter().getEngine();
AnalyzerOptions &Options = Eng.getAnalysisManager().options;
if (Options.shouldPruneNullReturnPaths()) {
if (Options.shouldSuppressNullReturnPaths()) {
if (hasCounterSuppression(Options))
Mode = MaybeSuppress;
else