diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2012-07-02 21:41:56 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2012-07-02 21:41:56 +0000 |
| commit | fb3cc8be6941edc44cf2176335fa6090d8ff4425 (patch) | |
| tree | 5deff8ad4136fc1f3084e6cbd51b742ea74b6b96 /lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp | |
| parent | 840c9842ed8b3a2b1276519a80f89e7d409fc148 (diff) | |
[analyzer] If 'super' is known to be nil, we can still mark its range.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@159596 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp b/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp index 2f95709e03..69b331c16c 100644 --- a/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp +++ b/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp @@ -310,9 +310,9 @@ void CallAndMessageChecker::emitNilReceiverBug(CheckerContext &C, os << "' that will be garbage"; BugReport *report = new BugReport(*BT_msg_ret, os.str(), N); + report->addRange(msg.getReceiverSourceRange()); // FIXME: This won't track "self" in messages to super. if (const Expr *receiver = msg.getInstanceReceiverExpr()) { - report->addRange(receiver->getSourceRange()); report->addVisitor(bugreporter::getTrackNullOrUndefValueVisitor(N, receiver, report)); |