]> granicus.if.org Git - clang/commitdiff
Post open source analyzer build checker-259.
authorTed Kremenek <kremenek@apple.com>
Wed, 25 Jan 2012 22:18:04 +0000 (22:18 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 25 Jan 2012 22:18:04 +0000 (22:18 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@148988 91177308-0d34-0410-b5e6-96231b3b80d8

lib/StaticAnalyzer/Core/BugReporterVisitors.cpp
www/analyzer/latest_checker.html.incl
www/analyzer/release_notes.html

index b27595a41b629c94ca6a96f5031c33c6354f0674..c4c1d659a8ed91abb15a748471e9c04203fbf79a 100644 (file)
@@ -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;
     }
index 8d7b58de215dcc90119d86ddd81ace3eeaf3496a..e47300a78db3525588b06c6e13378e11ddd18753 100644 (file)
@@ -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)
index 61546d70bd83579cc327117fa34783e734fe9ea6..423e136f4bf4ba8ce15815f0cd8e0b018230d668 100644 (file)
 
 <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>