[llvm-branch-commits] [cfe-branch] r277772 - [docs] Add 3.9 release notes for the static analyzer.

Devin Coughlin via llvm-branch-commits llvm-branch-commits at lists.llvm.org
Thu Aug 4 14:27:47 PDT 2016

Author: dcoughlin
Date: Thu Aug  4 16:27:47 2016
New Revision: 277772

URL: http://llvm.org/viewvc/llvm-project?rev=277772&view=rev
[docs] Add 3.9 release notes for the static analyzer.


Modified: cfe/branches/release_39/docs/ReleaseNotes.rst
URL: http://llvm.org/viewvc/llvm-project/cfe/branches/release_39/docs/ReleaseNotes.rst?rev=277772&r1=277771&r2=277772&view=diff
--- cfe/branches/release_39/docs/ReleaseNotes.rst (original)
+++ cfe/branches/release_39/docs/ReleaseNotes.rst Thu Aug  4 16:27:47 2016
@@ -232,7 +232,27 @@ libclang
 Static Analyzer
+The scan-build and scan-build-py tools now include a 
+``--force-analyze-debug-code`` flag to force projects to build in debug mode.
+This can result in more precise analysis because it leaves in assertions.
+On Windows, checks for memory leaks, double frees, and use-after-free problems
+are now enabled by default.
+The analyzer now supports Objective-C class properties.
+Diagnostics for misuse of _Nonnull are greatly improved.
+Several new checkers were added:
+- The analyzer now checks for incorrect usage of MPI APIs in C and C++. This
+  check can be enabled by passing the following command to scan-build:
+  ``-enable-checker optin.mpi.MPI-Checker``.
+- The analyzer now checks for improper retains and releases of ivars synthesized
+  for properties in Objective-C ``-dealloc`` methods under manual
+  retain/release.
+- The analyzer now checks for missing and extra calls to ``[super dealloc]``
+  under manual retain/release.
 Core Analysis Improvements

More information about the llvm-branch-commits mailing list