Hacking Makefile to print a warning when test suite to run under /usr

[splint.git] / test / null1.c

diff --git a/test/null1.c b/test/null1.c
index 2155fe25fae8d7e53ac908f821b7a5a0d0087917..250ff779e5105b58939399dc17979127ba1b75be 100644 (file)
--- a/test/null1.c
+++ b/test/null1.c
@@ -4,7 +4,7 @@ void g(/*@temp@*/ int *y);
 
 /*@truenull@*/ bool ptrpred (/*@out@*/ /*@null@*/ int *x)
 {
-  return (x == NULL);
+  return (x == NULL); /* new error detected by out undef */
 }
 
 /*@only@*/ int *f(/*@null@*/ int *x)