From edc45d5a91f83d1135bc218f3c377e347ab0251f Mon Sep 17 00:00:00 2001 From: Jordan Rose Date: Mon, 5 Aug 2013 16:02:02 +0000 Subject: [PATCH] [analyzer] Clarify that r187624 is a hack and should be fixed better later. Tracked by . git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@187729 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/StaticAnalyzer/Core/BugReporter.cpp | 3 +++ 1 file changed, 3 insertions(+) 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()) -- 2.50.1