From 309dd0952bd2035517b7e85c271db43ffb8ee2f3 Mon Sep 17 00:00:00 2001
From: Sylvestre Ledru <sylvestre@debian.org>
Date: Mon, 16 Dec 2013 10:43:55 +0000
Subject: [PATCH] Rewrite the static analyzer changes description for the 3.4
release.
After chatting with Anna Zaks, she believes that my code samples were
more bugs in the previous releases of the static analyzer.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/branches/release_34@197377 91177308-0d34-0410-b5e6-96231b3b80d8
---
docs/ReleaseNotes.rst | 44 ++-----------------------------------------
1 file changed, 2 insertions(+), 42 deletions(-)
diff --git a/docs/ReleaseNotes.rst b/docs/ReleaseNotes.rst
index d6b128f732..a10deb6a62 100644
--- a/docs/ReleaseNotes.rst
+++ b/docs/ReleaseNotes.rst
@@ -188,48 +188,8 @@ libclang
Static Analyzer
---------------
-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.
-
-For example, the static analyzer now manages the following cases:
-
-- Missing return after function pointer null check.
-
-.. code-block:: c
-
- void foo(void (*f)(void)) {
- if (f)
- return;
- f();
- }
-
-- Detect when ``delete`` is used on an uninitialized variable.
-
-.. code-block:: c++
-
- void foo() {
- int *x;
- delete[] x;
- }
-
-- Handle destructors for the argument to C++ ``delete``.
-
-.. code-block:: c++
-
- class DerefClass{
- public:
- int *x;
- DerefClass() {}
- ~DerefClass() {*x = 1;}
- };
-
- void testDoubleDeleteClassInstance() {
- DerefClass *foo = new DerefClass();
- delete foo;
- delete foo;
- }
-
+The static analyzer has been greatly improved. This impacts the overall analyzer quality and reduces a number of false positives.
+In particular, this release provides enhanced C++ support, reasoning about initializer lists, zeroing constructors, noreturn destructors and modeling of destructor calls on calls to delete.
Clang Format
------------
--
2.40.0