[cfe-commits] r54834 - /cfe/trunk/test/Analysis/null-deref-ps.c
Ted Kremenek
kremenek at apple.com
Fri Aug 15 17:45:42 PDT 2008
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
+}
More information about the cfe-commits
mailing list