[llvm-branch-commits] [cfe-branch] r278175 - [docs] Update 3.9 release notes for the static analyzer.
Devin Coughlin via llvm-branch-commits
llvm-branch-commits at lists.llvm.org
Tue Aug 9 16:01:44 PDT 2016
Date: Tue Aug 9 18:01:43 2016
New Revision: 278175
[docs] Update 3.9 release notes for the static analyzer.
--- cfe/branches/release_39/docs/ReleaseNotes.rst (original)
+++ cfe/branches/release_39/docs/ReleaseNotes.rst Tue Aug 9 18:01:43 2016
@@ -232,27 +232,22 @@ libclang
-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.
+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:
+The analyzer now checks for improper instance cleanup up in Objective-C
+``-dealloc`` methods under manual retain/release.
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 includes scan-build-py, an experimental reimplementation of
+scan-build in Python that also creates compilation databases.
-- 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
-- The analyzer now checks for missing and extra calls to ``[super dealloc]``
- under manual retain/release.
+The scan-build tool now supports a ``--force-analyze-debug-code`` flag that
+forces projects to analyze in debug mode. This flag leaves in assertions and so
+typically results in fewer false positives.
Core Analysis Improvements
More information about the llvm-branch-commits