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 484ad3e653d38537ae486010d8593c62d9f72759..037c431b0d6f2a4fe3932850e20daca67d8f8a95 100644 (file)
--- a/lib/unix.lcd
+++ b/lib/unix.lcd
@@ -1,6 +1,6 @@
 ;;LCLint Dump: unix.lcd
-;;LCLint 3.0.0.16 --- 10 September 2001
-;;lib:167
+;;LCLint 3.0.0.19 --- 5 October 2001
+;;lib:168
 ;;ctTable
 0 u-2 19 38
 0 p1|-2 20 39
@@ -705,7 +705,7 @@
 3 f695 (23|$#,)!
 3 f0 (695|$#,)!
 3 f19 (695|$#,)!
-1 t694|694 1536 -1
+1 t694|694 1535 -1
 3 f703 (695|$#,)!
 3 f0 (695|$#,)!
 3 f1 (695|$#,)!
@@ -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 ()!
@@ -1484,51 +1484,50 @@
 3 f19 (5|$#,)!
 3 f23 (5|$#,)!
 3 Shostent{23|@1|0@0@18@3@0#h_name,315|@1|0@0@18@3@0#h_aliases,5|@1|^#h_addrtype,5|@1|^#h_length,315|@1|0@0@18@3@0#h_addr_list,23|@1|0@0@18@3@0#h_addr,}!
-0 s1529|&
-3 Sin_addr{1482|@1|^#s_addr,}!
-0 s1530|&
-0 s1531|&
-3 f0 (1482|$#,)!
-3 f1482 (1482|$#,)!
-3 f0 (1485|$#,)!
-3 f1485 (1485|$#,)!
-3 f0 (1482|$#,)!
-3 f1482 (1482|$#,)!
-3 f0 (1485|$#,)!
-3 f1485 (1485|$#,)!
 3 f0 (23|0@2@7&#,)!
 3 f5 (23|0@2@7&#,)!
 3 f0 (5|$#,)!
 3 f5 (5|$#,)!
 3 C0.2/5|!
 3 C0.5/3|!
-3 f0 (1499|$#,)!
-3 f2 (1499|$#,)!
-3 f1498 (1499|$#,)!
-3 f0 (1499|$#,)!
-3 f2 (1499|$#,)!
-3 f1498 (1499|$#,)!
+3 f0 (1487|$#,)!
+3 f2 (1487|$#,)!
+3 f1486 (1487|$#,)!
+3 f0 (1487|$#,)!
+3 f2 (1487|$#,)!
+3 f1486 (1487|$#,)!
 3 C0.4/5|!
-3 f0 (1499|@7|$#,)!
-3 f4 (1499|@7|$#,)!
-3 f1506 (1499|@7|$#,)!
-3 f0 (1499|@7|$#,)!
-3 f4 (1499|@7|$#,)!
-3 f1506 (1499|@7|$#,)!
+3 f0 (1487|@7|$#,)!
+3 f4 (1487|@7|$#,)!
+3 f1494 (1487|@7|$#,)!
+3 f0 (1487|@7|$#,)!
+3 f4 (1487|@7|$#,)!
+3 f1494 (1487|@7|$#,)!
 3 f0 ()!
 3 f17 ()!
 2 F0/3|0&
 2 F8/3|8&
-3 f0 (1516|$#,)!
-3 f17 (1516|$#,)!
+3 f0 (1504|$#,)!
+3 f17 (1504|$#,)!
 3 f0 (9|$#,)!
 3 f1 (9|$#,)!
-0 s1545|&
-3 Sin_addr{1482|@1|^#s_addr,}!
+0 s1538|&
+0 s1539|&
+0 s1540|&
+3 Sin_addr{1510|@1|^#s_addr,}!
+0 s1541|&
 2 F0/8|0&
 2 F3/8|3&
-3 Ssockaddr_in{1521|@1|^#sin_family,1485|@1|^#sin_port,1484|@1|^#sin_addr,1524|@1|^#sin_zero,}!
-0 s1546|&
+3 Ssockaddr_in{1511|@1|^#sin_family,1509|@1|^#sin_port,1513|@1|^#sin_addr,1515|@1|^#sin_zero,}!
+0 s1542|&
+3 f0 (1510|$#,)!
+3 f1510 (1510|$#,)!
+3 f0 (1509|$#,)!
+3 f1509 (1509|$#,)!
+3 f0 (1510|$#,)!
+3 f1510 (1510|$#,)!
+3 f0 (1509|$#,)!
+3 f1509 (1509|$#,)!
 3 Sdirent{686|@1|^#d_ino,42|@1|^#d_name,}!
 3 f0 (695|$#,)!
 3 f5 (695|$#,)!
@@ -1539,8 +1538,8 @@
 3 f19 (695|$#,)!
 3 f703 (695|$#,)!
 1 t703|703&
-3 f0 (695|$#,703|$#,1536|$#,)!
-3 f5 (695|$#,703|$#,1536|$#,)!
+3 f0 (695|$#,703|$#,1535|$#,)!
+3 f5 (695|$#,703|$#,1535|$#,)!
 3 f0 (695|$#,)!
 3 f1 (695|$#,)!
 3 f0 (695|$#,9|$#,)!
@@ -1553,151 +1552,37 @@
 3 f0 (23|@5|4@0@7&#,23|$#,63|$#,)!
 3 f19 (23|@5|4@0@7&#,23|$#,63|$#,)!
 3 f23 (23|@5|4@0@7&#,23|$#,63|$#,)!
-3 f0 (211|$#,)!
-3 f1 (211|$#,)!
-3 f0 (23|@5|4@5@7&#,)!
-3 f19 (23|@5|4@5@7&#,)!
-3 f23 (23|@5|4@5@7&#,)!
-3 f0 (23|4@5@7&#,)!
-3 f19 (23|4@5@7&#,)!
-3 f23 (23|4@5@7&#,)!
-3 f0 (211|$#,)!
-3 f5 (211|$#,)!
-3 f0 (5|$#,23|$#,)!
-3 f19 (5|$#,23|$#,)!
-3 f211 (5|$#,23|$#,)!
-3 f0 (211|$#,)!
-3 f5 (211|$#,)!
-3 f0 (211|$#,)!
-3 f5 (211|$#,)!
-3 f0 (211|0@5@7&#,)!
-3 f5 (211|0@5@7&#,)!
-3 f0 (211|$#,)!
-3 f5 (211|$#,)!
-3 f0 (211|$#,289|4@0@7&#,)!
-3 f5 (211|$#,289|4@0@7&#,)!
-3 f0 (23|@5|4@0@7&#,5|$#,211|$#,)!
-3 f19 (23|@5|4@0@7&#,5|$#,211|$#,)!
-3 f23 (23|@5|4@0@7&#,5|$#,211|$#,)!
-3 f0 (211|$#,)!
-3 f5 (211|$#,)!
-3 f0 (211|$#,)!
-3 f1 (211|$#,)!
-3 f0 (23|$#,23|$#,)!
-3 f19 (23|$#,23|$#,)!
-3 f211 (23|$#,23|$#,)!
-3 C0.5/1|!
-3 f0 (211|$#,23|$#,!.,)!
-3 f5 (211|$#,23|$#,!.,)!
-3 f1584 (211|$#,23|$#,!.,)!
-3 f236 (211|$#,23|$#,!.,)!
-3 f0 (265|$#,211|$#,)!
-3 f5 (265|$#,211|$#,)!
-3 f0 (23|$#,211|$#,)!
-3 f5 (23|$#,211|$#,)!
-3 f0 (20|4@0@7&#,63|$#,63|$#,211|$#,)!
-3 f63 (20|4@0@7&#,63|$#,63|$#,211|$#,)!
-3 f0 (23|$#,23|$#,211|$#,)!
-3 f19 (23|$#,23|$#,211|$#,)!
-3 f211 (23|$#,23|$#,211|$#,)!
-3 f0 (211|$#,23|$#,!.,)!
-3 f5 (211|$#,23|$#,!.,)!
-3 f0 (211|$#,9|$#,5|$#,)!
-3 f5 (211|$#,9|$#,5|$#,)!
-3 f0 (211|$#,689|$#,5|$#,)!
-3 f5 (211|$#,689|$#,5|$#,)!
-3 f0 (211|$#,289|$#,)!
-3 f5 (211|$#,289|$#,)!
-3 f0 (211|$#,)!
-3 f9 (211|$#,)!
-3 f0 (211|$#,)!
-3 f689 (211|$#,)!
-3 f0 (211|$#,)!
-3 f1 (211|$#,)!
-3 f0 (211|$#,)!
-3 f1 (211|$#,)!
-3 f0 (20|$#,63|$#,63|$#,211|$#,)!
-3 f63 (20|$#,63|$#,63|$#,211|$#,)!
-3 f0 (211|@7|$#,)!
-3 f5 (211|@7|$#,)!
-3 f0 ()!
-3 f5 ()!
-3 f0 (211|@7|$#,)!
-3 f5 (211|@7|$#,)!
-3 f0 ()!
-3 f5 ()!
-3 f0 (5|$#,315|$#,23|$#,)!
-3 f5 (5|$#,315|$#,23|$#,)!
-3 f0 (23|4@0@7&#,)!
-3 f19 (23|4@0@7&#,)!
-3 f23 (23|4@0@7&#,)!
-3 f0 (211|$#,)!
-3 f5 (211|$#,)!
-3 f0 (211|$#,)!
-3 f5 (211|$#,)!
-3 f0 (23|0@5@7&#,)!
-3 f1 (23|0@5@7&#,)!
-3 f0 (23|$#,23|$#,)!
-3 f19 (23|$#,23|$#,)!
-3 f211 (23|$#,23|$#,)!
-3 C0.5/1|!
-3 f0 (23|$#,!.,)!
-3 f5 (23|$#,!.,)!
-3 f1638 (23|$#,!.,)!
-3 f236 (23|$#,!.,)!
-3 f0 (265|$#,211|@7|$#,)!
-3 f5 (265|$#,211|@7|$#,)!
-3 f0 (265|$#,)!
-3 f5 (265|$#,)!
-3 f0 (265|$#,211|@7|$#,)!
-3 f5 (265|$#,211|@7|$#,)!
-3 f0 (265|$#,)!
-3 f5 (265|$#,)!
-3 f0 (23|$#,)!
-3 f5 (23|$#,)!
-3 f0 (5|$#,211|$#,)!
-3 f5 (5|$#,211|$#,)!
-3 f0 (23|$#,)!
-3 f5 (23|$#,)!
-3 f0 (23|$#,23|$#,)!
-3 f5 (23|$#,23|$#,)!
-3 f0 (211|$#,)!
-3 f1 (211|$#,)!
-3 f0 (23|$#,!.,)!
-3 f5 (23|$#,!.,)!
-3 f0 (211|$#,23|0@5@19@2@0#,)!
-3 f1 (211|$#,23|0@5@19@2@0#,)!
-3 f0 (211|$#,23|0@5@19@2@0#,5|$#,63|$#,)!
-3 f5 (211|$#,23|0@5@19@2@0#,5|$#,63|$#,)!
-3 C0.5/1|!
-3 f0 (23|4@0@7&#,63|$#,23|$#,!.,)!
-3 f5 (23|4@0@7&#,63|$#,23|$#,!.,)!
-3 f1667 (23|4@0@7&#,63|$#,23|$#,!.,)!
-3 f0 (23|4@0@7&#,23|$#,!.,)!
-3 f5 (23|4@0@7&#,23|$#,!.,)!
-3 f1667 (23|4@0@7&#,23|$#,!.,)!
-3 f236 (23|4@0@7&#,23|$#,!.,)!
-3 f0 (23|4@0@7&#,23|$#,!.,)!
-3 f5 (23|4@0@7&#,23|$#,!.,)!
-3 f0 (23|$#,23|0@5@7&#,)!
-3 f19 (23|$#,23|0@5@7&#,)!
-3 f23 (23|$#,23|0@5@7&#,)!
-3 f0 ()!
-3 f19 ()!
-3 f211 ()!
-3 f0 (23|@5|4@5@7&#,)!
-3 f19 (23|@5|4@5@7&#,)!
-3 f23 (23|@5|4@5@7&#,)!
-3 f0 (265|$#,211|$#,)!
-3 f5 (265|$#,211|$#,)!
-3 f0 (211|$#,23|$#,204|$#,)!
-3 f5 (211|$#,23|$#,204|$#,)!
-3 f0 (23|$#,204|$#,)!
-3 f5 (23|$#,204|$#,)!
-3 f0 (23|4@0@7&#,63|$#,23|$#,204|$#,)!
-3 f5 (23|4@0@7&#,63|$#,23|$#,204|$#,)!
-3 f0 (23|4@0@7&#,23|$#,204|$#,)!
-3 f5 (23|4@0@7&#,23|$#,204|$#,)!
+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|$#,)!
+3 f17 (17|$#,)!
+3 f0 (17|$#,)!
+3 f17 (17|$#,)!
+3 f0 (5|$#,17|$#,)!
+3 f17 (5|$#,17|$#,)!
+3 f0 (17|$#,)!
+3 f17 (17|$#,)!
+3 f0 (17|$#,)!
+3 f17 (17|$#,)!
+3 f0 (5|$#,17|$#,)!
+3 f17 (5|$#,17|$#,)!
+3 f0 (17|$#,)!
+3 f17 (17|$#,)!
+3 f0 (17|$#,)!
+3 f17 (17|$#,)!
+3 f0 (17|$#,)!
+3 f17 (17|$#,)!
+3 f0 (17|$#,)!
+3 f17 (17|$#,)!
+3 f0 (17|$#,)!
+3 f17 (17|$#,)!
+3 f0 (17|$#,)!
+3 f17 (17|$#,)!
 ;;tistable
 0
 28
@@ -1862,48 +1747,48 @@
 *3 (Variable)
 ^155 211|@1|6@0@0@0@1#stderr
 *4 (Function)
-^156 1656$@0@s3,g22@6@0@1@s3,g22$@0#remove
-^157 1658$@0@s3,g22@6@0@1@s3,g22$@0#rename
-^158 1682@6@5@1@0@0@0@s3,g22@6@0@1@s3,g22@3@0@0#tmpfile
-^159 1685$@0@s1@1@tp0,s1@19@3@0#tmpnam
-^160 1560$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fclose
-^161 1569$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fflush
-^162 1583@6@5@1@0@0@0@s3,g22@6@0@1@s3,g22@18@0@0#fopen
-^163 1597@6@5@1@0@0@0@s3,g22@6@0@1@tp2,s3,g22@3@0@0#freopen
-^164 1664$@0@s3@1@s3,tp0,tp1$@0#setbuf
-^165 1666$@0@s3@1@s3,tp0,tp1$@0#setvbuf
-^166 1588@6@0@1@1@0@0@s3,g22@6@0@1@s3,tp0,g22$@0#fprintf
-^167 1599@6@0@1@2@0@0@s3,g22@6@0@1@s3,tp0,g22$@0#fscanf
-^168 1642@6@0@1@1@0@1@g18@6@0,s3@1@s3,tg18$@0#printf
-^169 1662@6@0@1@2@0@1@g17@6@0,s3,g22@6@0@1@s3,tg17,g22$@0#scanf
-^170 1674@6@0@1@1@0@0@@1@tp0$@0#sprintf
-^171 1676@6@0@1@2@0@1@g22@6@0@1@g22$@0#sscanf
-^172 1691$@1@g18@6@0,s3@1@s3,tg18$@0#vprintf
-^173 1689$@0@s3,g22@6@0@1@s3,tp0,p2,g22$@0#vfprintf
-^174 1695$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf
-^175 1693$@0@@1@p0$@0#vsnprintf
-^176 1571$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fgetc
-^177 1576@6@5@1@0@0@0@s3,g22@6@0@1@s3,tp0,tp2,g22$@0#fgets
-^178 1590$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputc
-^179 1592$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputs
-^180 1617$@0@s3,g22@6@0@1@s3,tp0,g22$@0#getc
-^181 1619$@1@g17@6@0,s3,g22@6@0@1@s3,tg17,g22$@0#getchar
-^182 1628@6@5@1@0@0@1@g17@6@0,s3,g22@6@0@1@s3,tp0,tg17,g22@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability.  Use fgets instead##gets
-^183 1644$@0@s3,g22@6@0@1@s3,tp1,g22$@0#putc
-^184 1646$@1@g18@6@0,s3,g22@6@0@1@s3,tg18,g22$@0#putchar
-^185 1652$@1@g18@6@0,s3,g22@6@0@1@s3,tg18,g22$@0#puts
-^186 1687$@0@s3,g22@6@0@1@s3,tp1,g22$@0#ungetc
-^187 1594$@0@s3,g22@6@0@1@s3,tp0,tp3,g22$@0#fread
-^188 1615$@0@s3,g22@6@0@1@s3,tp3,g22$@0#fwrite
-^189 1573$@0@g22@6@0@1@tp1,g22$@0#fgetpos
-^190 1601$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseek
-^191 1605$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fsetpos
-^192 1607$@0@g22@6@0@1@g22$@0#ftell
-^193 1660$@0@s3,g22@6@0@1@tp0,g22$@0#rewind
-^194 1552$@0@@1@tp0$@0#clearerr
-^195 1565$@0@g22@6@0@1@g22$@0#feof
-^196 1567$@0@g22@6@0@1@g22$@0#ferror
-^197 1634$@1@g22@6@0,g155@6@0,s3@1@s3,tg155$@0#perror
+^156 213$@0@s3,g22@6@0@1@s3,g22$@0#remove
+^157 215$@0@s3,g22@6@0@1@s3,g22$@0#rename
+^158 218@6@5@1@0@0@0@s3@1@s3@3@0@0#tmpfile
+^159 221$@0@s1@1@tp0,s1@19@3@0#tmpnam
+^160 223$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fclose
+^161 225$@0@g22@6@0,s3@1@tp0,g22,s3$@0#fflush
+^162 228@6@5@1@0@0@0@s3@1@s3@18@0@0#fopen
+^163 231@6@5@1@0@0@0@s3,g22@6@0@1@tp2,s3,g22@3@0@0#freopen
+^164 233$@0@s3@1@s3,tp0,tp1$@0#setbuf
+^165 235$@0@s3@1@s3,tp0,tp1$@0#setvbuf
+^166 239@6@0@1@1@0@0@s3@1@s3,tp0$@0#fprintf
+^167 241@6@0@1@2@0@0@s3@1@s3,tp0$@0#fscanf
+^168 244@6@0@1@1@0@1@g18@6@0,s3@1@s3,tg18$@0#printf
+^169 246@6@0@1@2@0@1@g17@6@0,s3@1@s3,tg17$@0#scanf
+^170 249@6@0@1@1@0@0@@1@tp0$@0#sprintf
+^171 251@6@0@1@2@0^$@0#sscanf
+^172 253$@1@g18@6@0,s3@1@s3,tg18$@0#vprintf
+^173 255$@0@s3,g22@6@0@1@s3,tp0,p2,g22$@0#vfprintf
+^174 257$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf
+^175 259$@0@@1@p0$@0#vsnprintf
+^176 261$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fgetc
+^177 264@6@5@1@0@0@0@s3,g22@6@0@1@s3,tp0,tp2,g22$@0#fgets
+^178 267$@0@s3,g22@6@0@1@s3,tp1,g22$@0#fputc
+^179 269$@0@s3@1@s3,tp1$@0#fputs
+^180 271$@0@s3@1@s3,tp0$@0#getc
+^181 273$@1@g17@6@0,s3@1@s3,tg17$@0#getchar
+^182 276@6@5@1@0@0@1@g17@6@0,s3,g22@6@0@1@s3,tp0,tg17,g22@3@0@0@W:bufferoverflowhigh#Use of gets leads to a buffer overflow vulnerability.  Use fgets instead##gets
+^183 278$@0@s3@1@s3,tp1$@0#putc
+^184 280$@1@g18@6@0,s3@1@s3,tg18$@0#putchar
+^185 282$@1@g18@6@0,s3@1@s3,tg18$@0#puts
+^186 284$@0@s3,g22@6@0@1@s3,tp1,g22$@0#ungetc
+^187 286$@0@s3,g22@6@0@1@s3,tp0,tp3,g22$@0#fread
+^188 288$@0@s3,g22@6@0@1@s3,tp3,g22$@0#fwrite
+^189 291$@0@g22@6@0@1@tp1,g22$@0#fgetpos
+^190 293$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseek
+^191 295$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fsetpos
+^192 297$@0@g22@6@0@1@g22$@0#ftell
+^193 299$@0@@1@tp0$@0#rewind
+^194 301$@0@@1@tp0$@0#clearerr
+^195 303$@0@g22@6@0@1@g22$@0#feof
+^196 305$@0@g22@6@0@1@g22$@0#ferror
+^197 307$@1@g22@6@0,g155@6@0,s3@1@s3,tg155$@0#perror
 ^198 309$^$@0#atof
 ^199 311$^$@0#atoi
 ^200 313$^$@0#atol
@@ -2101,7 +1986,7 @@
 *0 (Datatype)
 ^409 13@-@-@0@0@0@0@684#dev_t
 ^410 13@-@-@0@0@0@0@685#gid_t
-^411 13@-@-@0@0@0@0@686#ino_t
+^411 14@-@-@0@0@0@0@686#ino_t
 ^412 13@-@-@0@0@0@0@687#mode_t
 ^413 13@-@-@0@0@0@0@688#nlink_t
 ^414 13@-@-@0@0@0@0@689#off_t
@@ -2109,12 +1994,12 @@
 ^416 13@-@-@0@0@0@0@691#uid_t
 ^417 20@+@+@0@0@0@0@692#DIR
 *7 (Struct tag)
-^418 1527@694#@dirent
+^418 1526@694#@dirent
 *4 (Function)
-^419 1529$@0@g22@6@0@1@g22$@0#closedir
-^420 1532@6@5@1@0@0@0@g22@6@0@1@g22@3@0@0#opendir
-^421 1535@6@5@1@0@0@0@g22@6@0@1@g22@3@0@0#readdir
-^422 1540$^$@0#rewinddir
+^419 1528$@0@g22@6@0@1@g22$@0#closedir
+^420 1531@6@5@1@0@0@0@g22@6@0@1@g22@3@0@0#opendir
+^421 1534@6@5@1@0@0@0@g22@6@0@1@g22@3@0@0#readdir
+^422 1539$^$@0#rewinddir
 *1 (Constant)
 ^423 5$#E2BIG#EACCES#EAGAIN#EBADF#EBUSY#ECHILD#EDEADLK#EEXIST#EFAULT#EFBIG#EINTR#EINVAL#EIO#EISDIR#EMFILE#EMLINK#ENAMETOOLONG#ENFILE#ENODEV#ENOENT#ENOEXEC#ENOLCK#ENOMEM#ENOSPC#ENOSYS#ENOTDIR#ENOTEMPTY#ENOTTY#ENXIO#EPERM#EPIPE#EROFS#ESPIPE#ESRCH#EXDEV#FD_CLOEXEC#F_DUPFD#F_GETFD#F_GETFL#F_GETLK#F_RDLCK#F_SETFD#F_SETFL#F_SETLK#F_SETLKW#F_UNLCK#F_WRLCK#O_ACCMODE#O_APPEND#O_CREAT#O_EXCL#O_NOCTTY#O_NONBLOCK#O_RDONLY#O_RDWR#O_TRUNC#O_WRONLY#S_IRGRP#S_IROTH#S_IUSR#S_IWXG#S_IWXO#S_IWXU#S_ISGID#S_ISUID#S_IWGRP#S_IWOTH#S_IWUSR#S_IXGRP#S_IXOTH#S_IXUSR
 *7 (Struct tag)
@@ -2129,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)
@@ -2160,8 +2049,8 @@
 *1 (Constant)
 ^562 5$#L_ctermid#L_cuserid
 *4 (Function)
-^564 1563@6@5@1@0@0@0@g22@6@0,s3@1@g22,s3@18@0@0#fdopen
-^565 1578$@0@g22@6@0@1@g22$@0#fileno
+^564 769@6@5@1@0@0@0@g22@6@0,s3@1@g22,s3@18@0@0#fdopen
+^565 771$@0@g22@6@0@1@g22$@0#fileno
 *7 (Struct tag)
 ^566 1346@773#@stat
 *4 (Function)
@@ -2229,8 +2118,8 @@
 ^710 862$@0@g22@6@0@1@g22$@0#chdir
 ^711 864$@0@s3,g22@6@0@1@s3,g22$@0#chown
 ^712 866$@0@s3,g22@6@0@1@s3,g22$@0#close
-^713 1555$@0@s3@1@tp0,s3$@0#ctermid
-^714 1558$@0@@1@tp0@3@0@0#cuserid
+^713 869$@0@s3@1@tp0,s3$@0#ctermid
+^714 872$@0@@1@tp0@3@0@0#cuserid
 ^715 874$@0@g22@6@0,s3@1@g22,s3$@0#dup2
 ^716 876$@0@g22@6@0,s3@1@g22,s3$@0#dup
 ^717 878@6@0@5@0@0@0@g22@6@0@1@g22$@0#execl
@@ -2241,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
@@ -2621,83 +2510,51 @@
 ^1526 1475$$$@0#endhostent
 ^1527 1477$$$@0#herror
 ^1528 1480$$@3@0@0#hstrerror
+^1529 1483$$$@0@W:superuser#Only super-user processes may call chroot.##chroot
+^1530 1485$$$@0@W:superuser#Only super-user processes may call fchroot.##fchroot
+^1531 1490$^$@0#isascii
+^1532 1493$$$@0#toascii
+^1533 1497$$$@0#_toupper
+^1534 1500$$$@0#_tolower
+^1535 1502$@0@s1@1@s1$@0#drand48
+^1536 1506$@0@s1@1@s1$@0#erand48
+^1537 1508$@0@s1@1@s1$@0#srand48
 *0 (Datatype)
-^1529 662@-@-@0@0@0@0@1482#in_addr_t
+^1538 14@-@-@0@0@0@0@1509#in_port_t
+^1539 14@-@-@0@0@0@0@1510#in_addr_t
+^1540 14@-@-@0@0@0@0@1511#sa_family_t
 *7 (Struct tag)
-^1530 1483@1484#@in_addr
-*0 (Datatype)
-^1531 661@-@-@0@0@0@0@1485#in_port_t
-*4 (Function)
-^1532 1487$^$@0#htonl
-^1533 1489$^$@0#htons
-^1534 1491$^$@0#ntohl
-^1535 1493$^$@0#ntohs
-^1536 1495$$$@0@W:superuser#Only super-user processes may call chroot.##chroot
-^1537 1497$$$@0@W:superuser#Only super-user processes may call fchroot.##fchroot
-^1538 1502$^$@0#isascii
-^1539 1505$$$@0#toascii
-^1540 1509$$$@0#_toupper
-^1541 1512$$$@0#_tolower
-^1542 1514$@0@s1@1@s1$@0#drand48
-^1543 1518$@0@s1@1@s1$@0#erand48
-^1544 1520$@0@s1@1@s1$@0#srand48
-*0 (Datatype)
-^1545 14@-@-@0@0@0@0@1521#sa_family_t
-*7 (Struct tag)
-^1546 1525@1526#@sockaddr_in
+^1541 1512@1513#@in_addr
+^1542 1516@1517#@sockaddr_in
 *1 (Constant)
-^1547 5$#IPPROTO_IP#IPPROTO_ICMP#IPPROTO_TCP#IPPROTO_UDP
-^1551 1482$#INADDR_ANY#INADDR_BROADCAST
-*4 (Function)
-^1553 1538$$$@0#readdir_r
-^1554 1542$$$@0#seekdir
-^1555 1544$$$@0#telldir
-^1556 1547$@0@@1@tp0$@0#stpcpy
-^1557 1550$@0@@1@tp0$@0#stpncpy
-^1558 1580$@0@s3@1@tp0,s3$@0#flockfile
-^1559 1603$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fseeko
-^1560 1609$@0@g22@6@0@1@g22$@0#ftello
-^1561 1611$@0@s3@1@tp0,s3$@0#ftrylockfile
-^1562 1613$@0@s3@1@tp0,s3$@0#funlockfile
-^1563 1621$@0@s3,g22@6@0@1@s3,tp0,g22$@0#getc_unlocked
-^1564 1623$@1@g17@6@0,s3,g22@6@0@1@s3,tg17,g22$@0#getchar_unlocked
-*3 (Variable)
-^1565 23|@1|6@0@0@0@1#optarg
-^1566 5|@1|6@0@0@0@1#optind#optopt#opterr#optreset
+^1543 5$#IPPROTO_IP#IPPROTO_ICMP#IPPROTO_TCP#IPPROTO_UDP
+^1547 1510$#INADDR_ANY#INADDR_BROADCAST
 *4 (Function)
-^1570 1625$@1@g1565@6@0,g1566@6@0,g1567@6@0,g1568@6@0,g1569@6@0@1@g1565,g1566,g1567$@0#getopt
-^1571 1630$@0@s3,g22@6@0@1@s3,tp0,g22$@0#getw
-^1572 1632$@0@s3,g22@6@0@1@s3,tp0,g22$@0#pclose
-^1573 1637@6@5@1@0@0@0@s3,g22@6@0@1@s3,g22@18@0@0#popen
-^1574 1648$@0@s3,g22@6@0@1@s3,tp1,g22$@0#putc_unlocked
-^1575 1650$@1@g18@6@0,s3,g22@6@0@1@s3,tg18,g22$@0#putchar_unlocked
-^1576 1654$@0@s3,g22@6@0@1@s3,tp1,g22$@0#putw
-^1577 1670@6@0@1@1@0@0@@1@tp0$@0#snprintf
-^1578 1679@6@5@1@0@0@0@s1,g22@6@0@1@s1,g22@3@0@0#tempnam
+^1549 1519$^$@0#htonl
+^1550 1521$^$@0#htons
+^1551 1523$^$@0#ntohl
+^1552 1525$^$@0#ntohs
+^1553 1537$$$@0#readdir_r
+^1554 1541$$$@0#seekdir
+^1555 1543$$$@0#telldir
+^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 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
-setvbuf
-pre:
-C
-0@1@3
-l
-1
-1
-2
-2
-Param 23 1
-r
-0
-1
-e1
-2
-2
-Param 63 3
-e2
-2
-3
--1
-;; end precondition constraints
-post:EMPTY
 vsnprintf
 pre:
 C
@@ -2709,16 +2566,9 @@ l
 2
 Param 23 0
 r
-0
-1
-e1
 2
 2
 Param 63 1
-e2
-2
-3
--1
 ;; end precondition constraints
 post:EMPTY
 fgets
@@ -2776,74 +2626,6 @@ e2
 3
 -1
 ;; end precondition constraints
-fread
-pre:EMPTY
-post:
-C
-0@1@4
-l
-1
-3
-2
-2
-Param 20 0
-r
-0
-1
-e1
-2
-2
-Param 63 1
-e2
-2
-3
--1
-;; end precondition constraints
-fwrite
-pre:
-C
-0@1@3
-l
-1
-3
-2
-2
-Param 20 0
-r
-2
-2
-Param 63 1
-;; end precondition constraints
-post:EMPTY
-fgetpos
-pre:
-C
-0@1@3
-l
-1
-1
-2
-2
-Param 289 1
-r
-2
-3
-0
-;; end precondition constraints
-post:
-C
-0@1@3
-l
-1
-3
-2
-2
-Param 289 1
-r
-2
-3
-0
-;; end precondition constraints
 calloc
 pre:EMPTY
 post:
@@ -3545,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
@@ -3614,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
@@ -3853,57 +3697,11 @@ r
 2
 Param 23 0
 ;; end precondition constraints
-getopt
-pre:
-C
-0@1@3
-l
-1
-3
-2
-2
-Param 315 1
-r
-0
-1
-e1
-2
-2
-Param 5 0
-e2
-2
-3
--1
-;; end precondition constraints
-post:EMPTY
-snprintf
-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:EMPTY
-tempnam
+inet_ntoa
 pre:EMPTY
 post:
 C
-0@1@3
+0@1@1
 l
 1
 3
@@ -3913,9 +3711,9 @@ Result
 r
 2
 3
-0
+15
 C
-0@1@3
+0@1@1
 l
 1
 1
@@ -3925,7 +3723,7 @@ Result
 r
 2
 3
-0
+15
 ;; end precondition constraints
 ;; Modules access
 lltX_bool#1@