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(R)) { if (const PostStmt *P = Node->getLocationAs()) if (const DeclStmt *DS = P->getStmtAs()) 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 @@ -checker-258.tar.bz2 (built October 13, 2011) +checker-259.tar.bz2 (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 @@

Release notes for checker-XXX builds

+

checker-259

+ +

built: January 25, 2012
+download: checker-259.tar.bz2

+

highlights:

+ +
    +
  • Contains a newer version of the analyzer than the one shipped in Xcode 4.2.
  • +
  • Significant performance optimizations to reduce memory usage of the analyzer.
  • +
  • Tweaks to scan-build to have it work more easily with Xcode projects using Clang.
  • +
  • Numerous bug fixes to better support code using ARC.
  • +
+

checker-258

-

built:October 13, 2011
-download: checker-258.tar.bz2

+

built: October 13, 2011

highlights:

    @@ -30,8 +42,7 @@

    checker-257

    -

    built:May 25, 2011
    -download: checker-257.tar.bz2

    +

    built: May 25, 2011

    highlights:

      @@ -43,8 +54,7 @@

      checker-256

      -

      built:April 13, 2011
      -download: checker-256.tar.bz2

      +

      built: April 13, 2011

      highlights:

        @@ -93,8 +103,7 @@ $ find . | grep xcspec | grep Clang

        checker-255

        -

        built: February 11, 2011
        -download: checker-255.tar.bz2

        +

        built: February 11, 2011

        highlights:

          @@ -106,8 +115,7 @@ $ find . | grep xcspec | grep Clang

          checker-254

          -

          built: January 27, 2011
          -download: checker-254.tar.bz2

          +

          built: January 27, 2011

          highlights: