Added doc/ directory

[splint.git] / lib / posixstrict.lcd

diff --git a/lib/posixstrict.lcd b/lib/posixstrict.lcd
index 96f973fb743685346bcaa3d9c0bad3665816005f..c97a6e85abe5019d94efb4b43d4660457fdc4afb 100644 (file)
--- a/lib/posixstrict.lcd
+++ b/lib/posixstrict.lcd
@@ -860,9 +860,9 @@
 3 f647 ()!
 3 f0 (5|$#,5|$#,)!
 3 f9 (5|$#,5|$#,)!
-3 f0 (23|@5|4@0@7&#,63|$#,)!
-3 f19 (23|@5|4@0@7&#,63|$#,)!
-3 f23 (23|@5|4@0@7&#,63|$#,)!
+3 f0 (23|@5|4@2@7&#,63|$#,)!
+3 f19 (23|@5|4@2@7&#,63|$#,)!
+3 f23 (23|@5|4@2@7&#,63|$#,)!
 3 f0 ()!
 3 f642 ()!
 3 f0 ()!
@@ -1372,7 +1372,11 @@
 ^499 677@6@5@1@0@0@0@g22@6@0@1@g22@3@0@0#getgrgid
 ^500 680@6@5@1@0@0@0@g22@6@0@1@g22@3@0@0#getgrnam
 *1 (Constant)
-^501 9$#ARG_MAX#CHILD_MAX#LINK_MAX#MAX_CANON#MAX_INPUT#NAME_MAX#NGROUPS_MAX#OPEN_MAX#PATH_MAX#PIPE_BUF#SSIZE_MAX#STREAM_MAX#TZNAME_MAX#_POSIX_ARG_MAX#_POSIX_CHILD_MAX#_POSIX_LINK_MAX#_POSIX_MAX_CANON#_POSIX_MAX_INPUT#_POSIX_NAME_MAX#_POSIX_NGROUPS_MAX#_POSIX_OPEN_MAX#_POSIX_PATH_MAX#_POSIX_PIPE_BUF#_POSIX_SSIZE#_POSIX_STREAM#_POSIX_TZNAME_MAX
+^501 9$#ARG_MAX#CHILD_MAX#LINK_MAX#MAX_CANON
+^505 63$#MAX_INPUT#NAME_MAX
+^507 9$#NGROUPS_MAX#OPEN_MAX
+^509 63$#PATH_MAX#PIPE_BUF
+^511 9$#SSIZE_MAX#STREAM_MAX#TZNAME_MAX#_POSIX_ARG_MAX#_POSIX_CHILD_MAX#_POSIX_LINK_MAX#_POSIX_MAX_CANON#_POSIX_MAX_INPUT#_POSIX_NAME_MAX#_POSIX_NGROUPS_MAX#_POSIX_OPEN_MAX#_POSIX_PATH_MAX#_POSIX_PIPE_BUF#_POSIX_SSIZE#_POSIX_STREAM#_POSIX_TZNAME_MAX
 *7 (Struct tag)
 ^527 681@682#@passwd
 *4 (Function)
@@ -1484,7 +1488,7 @@
 ^722 853@6@0@5@0@0@0@g22@6@0@1@g22$@0#execvp
 ^723 855$@0@s3,g22@6@0@1@s3,g22$@0#fork
 ^724 857$@0@g22@6@0@1@g22$@0#fpathconf
-^725 860$@0@g22@6@0@1@g22,tp0$@0#getcwd
+^725 860@6@5@1@0@0@0@g22@6@0@1@g22,tp0$@0#getcwd
 ^726 862$^$@0#getegid
 ^727 864$^$@0#geteuid
 ^728 866$^$@0#getgid
@@ -2304,6 +2308,22 @@ r
 3
 0
 ;; end precondition constraints
+getcwd
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+2
+2
+Param 63 1
+;; end precondition constraints
+post:EMPTY
 read
 pre:
 C