Fixed help.expect

[splint.git] / lib / posix.h

diff --git a/lib/posix.h b/lib/posix.h
index 268daeeaec5cea5e222863325f4bcb42e613c01f..7fea224a4b316575ef9cc18314a9e6b9761aae26 100644 (file)
--- a/lib/posix.h
+++ b/lib/posix.h
@@ -758,7 +758,10 @@ fpathconf (int fd, int name)
        /*@modifies errno@*/;
 
 extern /*@null@*/ char *getcwd (/*@returned@*/ /*@out@*/ /*@notnull@*/ char *buf, size_t size)
-     /*@requires maxSet(buf) >= size@*/ /*@modifies errno, *buf@*/ ;
+     /*@requires maxSet(buf) >= (size - 1)@*/
+     /*@requires maxRead(buf) <= (size - 1)*/
+
+     /*@modifies errno, *buf@*/ ;
 
        extern gid_t
 getegid (void)