[analyzer] Updated tests for ZeroAllocDereference checker.

llvm-svn: 220911
This commit is contained in:
Anton Yartsev 2014-10-30 15:16:26 +00:00
parent 6e3949a35c
commit 9959295142
1 changed files with 14 additions and 4 deletions

View File

@ -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>