Fixed state clauses. Added obvious loop exec checking.

[splint.git] / test / postnotnull.c

diff --git a/test/postnotnull.c b/test/postnotnull.c
index b49f0298d8f93265e3de3716cd8d7c165802e0cf..755f024851da0173d5714347486ee61e52e1d132 100644 (file)
--- a/test/postnotnull.c
+++ b/test/postnotnull.c
@@ -6,7 +6,7 @@ static void foo(/*@special@*/ T* x)
      /*@defines x->x@*/
      /*@post:notnull x->x@*/ ;
      
-static void bar(/*@special@*/ T* x)
+static void bar (/*@out@*/ T* x)
      /*@post:notnull x->x@*/
 {
   foo(x);