Enhance null-dereference checker test.

llvm-svn: 54834
This commit is contained in:
Ted Kremenek 2008-08-16 00:45:40 +00:00
parent 7c6d3a7c50
commit 3b977558ce
1 changed files with 9 additions and 1 deletions

View File

@ -77,4 +77,12 @@ int f7(int x) {
return x;
}
int f8(int *p, int *q) {
if (!p)
if (p)
*p = 1; // no-warning
if (q)
if (!q)
*q = 1; // no-warning
}