From 14924267950e75c6c1f6fcea39fa507b7168bc39 Mon Sep 17 00:00:00 2001 From: Anna Zaks Date: Wed, 24 Aug 2011 20:31:06 +0000 Subject: [PATCH] [analyzer] Allow checker writes to specify that no region should be accosiated with the report. (Useful when we report an error on endOfPath or deadSymbols, when the range of the last expression might have nothing to do with the error.) git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@138474 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/clang/StaticAnalyzer/Core/BugReporter/BugReporter.h | 6 +++++- lib/StaticAnalyzer/Core/BugReporter.cpp | 4 ++++ 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/include/clang/StaticAnalyzer/Core/BugReporter/BugReporter.h b/include/clang/StaticAnalyzer/Core/BugReporter/BugReporter.h index 95b27e7861..1c1b985c8f 100644 --- a/include/clang/StaticAnalyzer/Core/BugReporter/BugReporter.h +++ b/include/clang/StaticAnalyzer/Core/BugReporter/BugReporter.h @@ -138,8 +138,12 @@ public: /// /// Ranges are used to highlight regions of interest in the source code. /// They should be at the same source code line as the BugReport location. + /// By default, the source range of the statement corresponding to the error + /// node will be used; add a single invalid range to specify absence of + /// ranges. void addRange(SourceRange R) { - assert(R.isValid()); + assert((R.isValid() || Ranges.empty()) && "Invalid range can only be used " + "to specify that the report does not have a range."); Ranges.push_back(R); } diff --git a/lib/StaticAnalyzer/Core/BugReporter.cpp b/lib/StaticAnalyzer/Core/BugReporter.cpp index fc28c587d2..70efacbd34 100644 --- a/lib/StaticAnalyzer/Core/BugReporter.cpp +++ b/lib/StaticAnalyzer/Core/BugReporter.cpp @@ -1273,6 +1273,10 @@ BugReport::getRanges() { return std::make_pair(ranges_iterator(), ranges_iterator()); } + // User-specified absence of range info. + if (Ranges.size() == 1 && !Ranges.begin()->isValid()) + return std::make_pair(ranges_iterator(), ranges_iterator()); + return std::make_pair(Ranges.begin(), Ranges.end()); } -- 2.40.0