[cfe-commits] r54834 - /cfe/trunk/test/Analysis/null-deref-ps.c

[Ted Kremenek]

Author: kremenek
Date: Fri Aug 15 19:45:40 2008
New Revision: 54834

URL: http://llvm.org/viewvc/llvm-project?rev=54834&view=rev
Log:
Enhance null-dereference checker test.

Modified:
    cfe/trunk/test/Analysis/null-deref-ps.c

Modified: cfe/trunk/test/Analysis/null-deref-ps.c
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/null-deref-ps.c?rev=54834&r1=54833&r2=54834&view=diff

==============================================================================
--- cfe/trunk/test/Analysis/null-deref-ps.c (original)
+++ cfe/trunk/test/Analysis/null-deref-ps.c Fri Aug 15 19:45:40 2008
@@ -77,4 +77,12 @@
   return x;
 }
 
-
+int f8(int *p, int *q) {
+  if (!p)
+    if (p)
+      *p = 1; // no-warning
+  
+  if (q)
+    if (!q)
+      *q = 1; // no-warning
+}