commit fb3cc8be6941edc44cf2176335fa6090d8ff4425
author Jordan Rose <jordan_rose@apple.com> Mon Jul 02 21:41:56 2012 +0000
committer Jordan Rose <jordan_rose@apple.com> Mon Jul 02 21:41:56 2012 +0000
tree 5deff8ad4136fc1f3084e6cbd51b742ea74b6b96
parent 840c9842ed8b3a2b1276519a80f89e7d409fc148

[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

lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp

diff --git a/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp b/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp
index 2f95709..69b331c 100644
--- a/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp
+++ b/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp
@@ -310,9 +310,9 @@
   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));