Author: jrose
Date: Fri May 17 21:27:13 2013
New Revision: 182188
URL: http://llvm.org/viewvc/llvm-project?rev=182188&view=rev
Log:
[analyzer] New edges: include an edge to the end-of-path location.
Modified:
cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp
Modified: cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp?rev=182188&r1=182187&r2=182188&view=diff
==============================================================================
--- cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp (original)
+++ cfe/trunk/lib/StaticAnalyzer/Core/BugReporter.cpp Fri May 17 21:27:13 2013
@@ -1581,6 +1581,8 @@ GenerateAlternateExtensivePathDiagnostic
// 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) {
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
