From: Jordan Rose <jordan_rose@apple.com>
Date: Sat, 18 May 2013 02:27:13 +0000 (+0000)
Subject: [analyzer] New edges: include an edge to the end-of-path location.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=6d0da608c144eb57b7dd22f71b363191a4a1b2c0;p=clang

[analyzer] New edges: include an edge to the end-of-path location.

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

diff --git a/lib/StaticAnalyzer/Core/BugReporter.cpp b/lib/StaticAnalyzer/Core/BugReporter.cpp
index d4277fc218..fddb7e7216 100644
--- a/lib/StaticAnalyzer/Core/BugReporter.cpp
+++ b/lib/StaticAnalyzer/Core/BugReporter.cpp
@@ -1581,6 +1581,8 @@ GenerateAlternateExtensivePathDiagnostic(PathDiagnostic& PD,
   // Record the last location for a given visited stack frame.
   llvm::DenseMap<const StackFrameContext *, PathDiagnosticLocation>
     PrevLocMap;
+  PrevLocMap[N->getLocationContext()->getCurrentStackFrame()] =
+    PD.getLocation();
 
   const ExplodedNode *NextNode = N->getFirstPred();
   while (NextNode) {