From: Anton Yartsev <anton.yartsev@gmail.com>
Date: Thu, 30 Oct 2014 15:16:26 +0000 (+0000)
Subject: [analyzer] Updated tests for ZeroAllocDereference checker.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=16b770cc78954ac7388012fcf02155437fd1c281;p=clang

[analyzer] Updated tests for ZeroAllocDereference checker.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@220911 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/www/analyzer/potential_checkers.html b/www/analyzer/potential_checkers.html
index a06e9426fb..7ac8c5c9f3 100644
--- a/www/analyzer/potential_checkers.html
+++ b/www/analyzer/potential_checkers.html
@@ -461,12 +461,22 @@ unix.Malloc</span>.
 <p>Source: C++03 3.7.3.1p2; C++11 3.7.4.1p2.</p></div></div></td>
 <td><div class="exampleContainer expandable">
 <div class="example"><pre>
-int *p = malloc(0);
-*p = 1; // warn
+#include &lt;memory&gt;
+
+void test() {
+  int *p = (int *)malloc(0);
+  *p = 1; // warn
+  free(p);
+}
 </pre></div>
 <div class="example"><pre>
-int *p = new int{};
-int i = *p; // warn
+void f(int);
+
+void test() {
+  int *p = new int[0];
+  f(*p); // warn
+  delete[] p;
+}
 </pre></div></div></td>
 <td class="aligned"></td></tr>