diff options
| -rw-r--r-- | lib/StaticAnalyzer/Core/BugReporterVisitors.cpp | 5 | ||||
| -rw-r--r-- | www/analyzer/latest_checker.html.incl | 2 | ||||
| -rw-r--r-- | www/analyzer/release_notes.html | 28 |
3 files changed, 23 insertions, 12 deletions
diff --git a/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp b/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp index b27595a41b..c4c1d659a8 100644 --- a/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp +++ b/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp @@ -138,17 +138,20 @@ PathDiagnosticPiece *FindLastStoreBRVisitor::VisitNode(const ExplodedNode *N, if (!StoreSite) { const ExplodedNode *Node = N, *Last = NULL; - for ( ; Node ; Last = Node, Node = Node->getFirstPred()) { + for ( ; Node ; Node = Node->getFirstPred()) { if (const VarRegion *VR = dyn_cast<VarRegion>(R)) { if (const PostStmt *P = Node->getLocationAs<PostStmt>()) if (const DeclStmt *DS = P->getStmtAs<DeclStmt>()) if (DS->getSingleDecl() == VR->getDecl()) { + // Record the last seen initialization point. Last = Node; break; } } + // Does the region still bind to value V? If not, we are done + // looking for store sites. if (Node->getState()->getSVal(R) != V) break; } diff --git a/www/analyzer/latest_checker.html.incl b/www/analyzer/latest_checker.html.incl index 8d7b58de21..e47300a78d 100644 --- a/www/analyzer/latest_checker.html.incl +++ b/www/analyzer/latest_checker.html.incl @@ -1 +1 @@ -<b><a href="/checker/checker-258.tar.bz2">checker-258.tar.bz2</a></b> (built October 13, 2011) +<b><a href="http://bit.ly/zOWf1P">checker-259.tar.bz2</a></b> (built January 25, 2012) diff --git a/www/analyzer/release_notes.html b/www/analyzer/release_notes.html index 61546d70bd..423e136f4b 100644 --- a/www/analyzer/release_notes.html +++ b/www/analyzer/release_notes.html @@ -15,10 +15,22 @@ <h1>Release notes for <tt>checker-XXX</tt> builds</h1> +<h4 id="checker_259">checker-259</h4> + +<p><b>built: </b>January 25, 2012<br> +<b>download:</b> <a href="http://bit.ly/zOWf1P">checker-259.tar.bz2</a></p> +<p><b>highlights:</b></p> + +<ul> + <li>Contains a newer version of the analyzer than the one shipped in Xcode 4.2.</li> + <li>Significant performance optimizations to reduce memory usage of the analyzer.</li> + <li>Tweaks to scan-build to have it work more easily with Xcode projects using Clang.</li> + <li>Numerous bug fixes to better support code using ARC.</li> +</ul> + <h4 id="checker_258">checker-258</h4> -<p><b>built:</b>October 13, 2011<br> -<b>download:</b> <a href="/checker/checker-258.tar.bz2">checker-258.tar.bz2</a></p> +<p><b>built: </b>October 13, 2011<br> <p><b>highlights:</b></p> <ul> @@ -30,8 +42,7 @@ <h4 id="checker_257">checker-257</h4> -<p><b>built:</b>May 25, 2011<br> -<b>download:</b> <a href="/checker/checker-257.tar.bz2">checker-257.tar.bz2</a></p> +<p><b>built: </b>May 25, 2011<br> <p><b>highlights:</b></p> <ul> @@ -43,8 +54,7 @@ <h4 id="checker_256">checker-256</h4> -<p><b>built:</b>April 13, 2011<br> -<b>download:</b> <a href="/checker/checker-256.tar.bz2">checker-256.tar.bz2</a></p> +<p><b>built: </b>April 13, 2011<br> <p><b>highlights:</b></p> <ul> @@ -93,8 +103,7 @@ $ find . | grep xcspec | grep Clang <h4 id="checker_255">checker-255</h4> -<p><b>built:</b> February 11, 2011<br> -<b>download:</b> <a href="/checker/checker-255.tar.bz2">checker-255.tar.bz2</a></p> +<p><b>built: </b> February 11, 2011<br> <p><b>highlights:</b></p> <ul> @@ -106,8 +115,7 @@ $ find . | grep xcspec | grep Clang <h4 id="checker_254">checker-254</h4> -<p><b>built:</b> January 27, 2011<br> -<b>download:</b> <a href="/checker/checker-254.tar.bz2">checker-254.tar.bz2</a></p> +<p><b>built: </b> January 27, 2011<br> <p><b>highlights:</b></p> <ul> |