Fixed preds.expect for name change.

[splint.git] / lib / posix.lcd

diff --git a/lib/posix.lcd b/lib/posix.lcd
index ad50d016d5bdfcd025b9b2c02cdeafe31854860b..64592fdba229ff41505a68b87f5d7063339c6f25 100644 (file)
--- a/lib/posix.lcd
+++ b/lib/posix.lcd
@@ -1,6 +1,6 @@
-;;LCLint Dump: posix.lcd
-;;LCLint 3.0.0.19 --- 5 October 2001
-;;lib:167
+;;; Splint Library  posix.lcd
+;;Splint 3.0.0.20 --- 31 Dec 2001
+;;lib:169
 ;;ctTable
 0 u-2 19 38
 0 p1|-2 20 39
@@ -897,9 +897,9 @@
 3 f690 ()!
 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 f685 ()!
 3 f0 ()!
@@ -1409,7 +1409,11 @@
 ^499 720@6@5@1@0@0@0@g22@6@0@1@g22@3@0@0#getgrgid
 ^500 723@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 724@725#@passwd
 *4 (Function)
@@ -1521,7 +1525,7 @@
 ^722 890@6@0@5@0@0@0@g22@6@0@1@g22$@0#execvp
 ^723 892$@0@s3,g22@6@0@1@s3,g22$@0#fork
 ^724 894$@0@g22@6@0@1@g22$@0#fpathconf
-^725 897$@0@g22@6@0@1@g22,tp0$@0#getcwd
+^725 897@6@5@1@0@0@0@g22@6@0@1@g22,tp0$@0#getcwd
 ^726 899$^$@0#getegid
 ^727 901$^$@0#geteuid
 ^728 903$^$@0#getgid
@@ -2341,6 +2345,49 @@ r
 3
 0
 ;; end precondition constraints
+getcwd
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 0
+r
+0
+1
+e1
+2
+2
+Param 63 1
+e2
+2
+3
+-1
+;; end precondition constraints
+post:
+C
+0@1@1
+l
+1
+3
+2
+2
+Param 23 0
+r
+0
+1
+e1
+2
+2
+Param 63 1
+e2
+2
+3
+-1
+;; end precondition constraints
 read
 pre:
 C