From: Jordan Rose <jordan_rose@apple.com>
Date: Mon, 5 Aug 2013 16:02:02 +0000 (+0000)
Subject: [analyzer] Clarify that r187624 is a hack and should be fixed better later.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=edc45d5a91f83d1135bc218f3c377e347ab0251f;p=clang

[analyzer] Clarify that r187624 is a hack and should be fixed better later.

Tracked by <rdar://problem/14648821>.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@187729 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/StaticAnalyzer/Core/BugReporter.cpp b/lib/StaticAnalyzer/Core/BugReporter.cpp
index aaa8c8d0ca..2123a45181 100644
--- a/lib/StaticAnalyzer/Core/BugReporter.cpp
+++ b/lib/StaticAnalyzer/Core/BugReporter.cpp
@@ -3205,6 +3205,9 @@ void BugReporter::emitReport(BugReport* R) {
   // Defensive checking: throw the bug away if it comes from a BodyFarm-
   // generated body. We do this very early because report processing relies
   // on the report's location being valid.
+  // FIXME: Valid bugs can occur in BodyFarm-generated bodies, so really we
+  // need to just find a reasonable location like we do later on with the path
+  // pieces.
   if (const ExplodedNode *E = R->getErrorNode()) {
     const LocationContext *LCtx = E->getLocationContext();
     if (LCtx->getAnalysisDeclContext()->isBodyAutosynthesized())