*** empty log message ***

[splint.git] / lib / posixstrict.lcd

diff --git a/lib/posixstrict.lcd b/lib/posixstrict.lcd
index ef5c062870da8c94a15cd517c2546840d1b66b61..4bd993531fc7b58c940fa84727274487a85f82ee 100644 (file)
--- a/lib/posixstrict.lcd
+++ b/lib/posixstrict.lcd
@@ -1,6 +1,6 @@
 ;;LCLint Dump: posixstrict.lcd
-;;LCLint 3.0.0.12 --- 21 August 2001
-;;lib:167
+;;LCLint 3.0.0.19 --- 5 October 2001
+;;lib:168
 ;;ctTable
 0 u-2 19 38
 0 p1|-2 20 39
@@ -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 ()!
@@ -1344,7 +1344,7 @@
 *0 (Datatype)
 ^409 13@-@-@0@0@0@0@641#dev_t
 ^410 13@-@-@0@0@0@0@642#gid_t
-^411 13@-@-@0@0@0@0@643#ino_t
+^411 14@-@-@0@0@0@0@643#ino_t
 ^412 13@-@-@0@0@0@0@644#mode_t
 ^413 13@-@-@0@0@0@0@645#nlink_t
 ^414 13@-@-@0@0@0@0@646#off_t
@@ -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,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