Tried to fix some problems with the configuration system.

[splint.git] / lib / unix.lcd

diff --git a/lib/unix.lcd b/lib/unix.lcd
index cbd3e2911b13530c6b7373c28a39963d29d7f268..037c431b0d6f2a4fe3932850e20daca67d8f8a95 100644 (file)
--- a/lib/unix.lcd
+++ b/lib/unix.lcd
@@ -1,6 +1,6 @@
 ;;LCLint Dump: unix.lcd
 ;;LCLint 3.0.0.19 --- 5 October 2001
-;;lib:167
+;;lib:168
 ;;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 ()!
@@ -1554,6 +1554,9 @@
 3 f23 (23|@5|4@0@7&#,23|$#,63|$#,)!
 3 f0 (996|$#,)!
 3 f5 (996|$#,)!
+3 f0 (1513|$#,)!
+3 f19 (1513|$#,)!
+3 f23 (1513|$#,)!
 3 f0 (17|$#,17|$#,)!
 3 f17 (17|$#,17|$#,)!
 3 f0 (17|$#,)!
@@ -2011,7 +2014,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)
@@ -2123,7 +2130,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
@@ -2533,19 +2540,20 @@
 ^1556 1546$@0@@1@tp0$@0#stpcpy
 ^1557 1549$@0@@1@tp0$@0#stpncpy
 ^1558 1551$@0@s3,g22@6@0@1@s3,g22$@0#usleep
-^1559 1553$@0@g22@6@0@1@g22$@0#hypot
-^1560 1555$@0@g22@6@0@1@g22$@0#j0
-^1561 1557$@0@g22@6@0@1@g22$@0#j1
-^1562 1559$@0@g22@6@0@1@g22$@0#jn
-^1563 1561$@0@g22@6@0@1@g22$@0#y0
-^1564 1563$@0@g22@6@0@1@g22$@0#y1
-^1565 1565$@0@g22@6@0@1@g22$@0#yn
-^1566 1567$@0@g22@6@0@1@g22$@0#acosh
-^1567 1569$@0@g22@6@0@1@g22$@0#asinh
-^1568 1571$@0@g22@6@0@1@g22$@0#atanh
-^1569 1573$@0@g22@6@0@1@g22$@0#lgamma
-^1570 1575$@0@g22@6@0@1@g22$@0#erf
-^1571 1577$@0@g22@6@0@1@g22$@0#erfc
+^1559 1554$$@3@0@0#inet_ntoa
+^1560 1556$@0@g22@6@0@1@g22$@0#hypot
+^1561 1558$@0@g22@6@0@1@g22$@0#j0
+^1562 1560$@0@g22@6@0@1@g22$@0#j1
+^1563 1562$@0@g22@6@0@1@g22$@0#jn
+^1564 1564$@0@g22@6@0@1@g22$@0#y0
+^1565 1566$@0@g22@6@0@1@g22$@0#y1
+^1566 1568$@0@g22@6@0@1@g22$@0#yn
+^1567 1570$@0@g22@6@0@1@g22$@0#acosh
+^1568 1572$@0@g22@6@0@1@g22$@0#asinh
+^1569 1574$@0@g22@6@0@1@g22$@0#atanh
+^1570 1576$@0@g22@6@0@1@g22$@0#lgamma
+^1571 1578$@0@g22@6@0@1@g22$@0#erf
+^1572 1580$@0@g22@6@0@1@g22$@0#erfc
 ;; Library constraints
 vsnprintf
 pre:
@@ -3319,6 +3327,48 @@ 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
+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
+post:EMPTY
 read
 pre:
 C
@@ -3388,7 +3438,27 @@ Param 63 3
 ;; end precondition constraints
 post:EMPTY
 readlink
-pre:EMPTY
+pre:
+C
+0@1@3
+l
+1
+1
+2
+2
+Param 23 1
+r
+0
+1
+e1
+2
+2
+Param 5 2
+e2
+2
+3
+-1
+;; end precondition constraints
 post:
 C
 0@1@1
@@ -3627,6 +3697,34 @@ r
 2
 Param 23 0
 ;; end precondition constraints
+inet_ntoa
+pre:EMPTY
+post:
+C
+0@1@1
+l
+1
+3
+2
+2
+Result
+r
+2
+3
+15
+C
+0@1@1
+l
+1
+1
+2
+2
+Result
+r
+2
+3
+15
+;; end precondition constraints
 ;; Modules access
 lltX_bool#1@
 types#1@