X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/a469ccf0fcb67590e2954255f5dcc885d5689e60..53a895072e499cd7d36da1469ef159b4b34400e6:/lib/unixstrict.lcd

diff --git a/lib/unixstrict.lcd b/lib/unixstrict.lcd
index 23be02c..3166de7 100644
--- a/lib/unixstrict.lcd
+++ b/lib/unixstrict.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 ()!
@@ -1967,7 +1967,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)
@@ -2079,7 +2083,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
@@ -3275,6 +3279,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