Further wordsmith release notes for the static analyzer.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@180585 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/docs/ReleaseNotes.rst b/docs/ReleaseNotes.rst
index 7ced21e..34810c2 100644
--- a/docs/ReleaseNotes.rst
+++ b/docs/ReleaseNotes.rst
@@ -139,14 +139,25 @@
appearing to contain any CXCursor.
Static Analyzer
---------
-We've continued the work on improving the core analysis and added several new memory management checks:
+---------------
-- Support for reasoning about constructors and destructors
-- New false positive suppression mechanisms that reduced the number of null pointer dereference warnings
+The static analyzer (which contains additional code checking beyond compiler
+warnings) has improved significantly in both in the core analysis engine and
+also in the kinds of issues it can find.
+
+Core Analysis Improvements
+==========================
+
+- Support for interprocedural reasoning about constructors and destructors.
+- New false positive suppression mechanisms that reduced the number of false null pointer dereference warnings due to interprocedural analysis.
- Major performance enhancements to speed up interprocedural analysis
-- New memory error checks such as use-after-free with C++ 'delete', mismatched allocators and deallocators
-- Additional checks for misuse of Apple Foundation framework collection APIs
+
+New Issues Found
+================
+
+- New memory error checks such as use-after-free with C++ 'delete'.
+- Detection of mismatched allocators and deallocators (e.g., using 'new' with 'free()', 'malloc()' with 'delete').
+- Additional checks for misuses of Apple Foundation framework collection APIs.
Python Binding Changes
----------------------