Tried to fix some problems with the configuration system.

[splint.git] / lib / unixstrict.lcd

diff --git a/lib/unixstrict.lcd b/lib/unixstrict.lcd
index 3166de73c9e3c2017976f9b13f3b1eb76c60b6d5..574ab201cac74e7cee93282da1ac3716a7f3578b 100644 (file)
--- a/lib/unixstrict.lcd
+++ b/lib/unixstrict.lcd
@@ -1,6 +1,6 @@
 ;;LCLint Dump: unixstrict.lcd
 ;;LCLint 3.0.0.19 --- 5 October 2001
-;;lib:167
+;;lib:168
 ;;ctTable
 0 u-2 19 38
 0 p1|-2 20 39
@@ -1510,6 +1510,9 @@
 3 f23 (23|@5|4@0@7&#,23|$#,63|$#,)!
 3 f0 (959|$#,)!
 3 f5 (959|$#,)!
+3 f0 (1469|$#,)!
+3 f19 (1469|$#,)!
+3 f23 (1469|$#,)!
 3 f0 (17|$#,17|$#,)!
 3 f17 (17|$#,17|$#,)!
 3 f0 (17|$#,)!
@@ -2493,19 +2496,20 @@
 ^1556 1502$@0@@1@tp0$@0#stpcpy
 ^1557 1505$@0@@1@tp0$@0#stpncpy
 ^1558 1507$@0@s3,g22@6@0@1@s3,g22$@0#usleep
-^1559 1509$@0@g22@6@0@1@g22$@0#hypot
-^1560 1511$@0@g22@6@0@1@g22$@0#j0
-^1561 1513$@0@g22@6@0@1@g22$@0#j1
-^1562 1515$@0@g22@6@0@1@g22$@0#jn
-^1563 1517$@0@g22@6@0@1@g22$@0#y0
-^1564 1519$@0@g22@6@0@1@g22$@0#y1
-^1565 1521$@0@g22@6@0@1@g22$@0#yn
-^1566 1523$@0@g22@6@0@1@g22$@0#acosh
-^1567 1525$@0@g22@6@0@1@g22$@0#asinh
-^1568 1527$@0@g22@6@0@1@g22$@0#atanh
-^1569 1529$@0@g22@6@0@1@g22$@0#lgamma
-^1570 1531$@0@g22@6@0@1@g22$@0#erf
-^1571 1533$@0@g22@6@0@1@g22$@0#erfc
+^1559 1510$$@3@0@0#inet_ntoa
+^1560 1512$@0@g22@6@0@1@g22$@0#hypot
+^1561 1514$@0@g22@6@0@1@g22$@0#j0
+^1562 1516$@0@g22@6@0@1@g22$@0#j1
+^1563 1518$@0@g22@6@0@1@g22$@0#jn
+^1564 1520$@0@g22@6@0@1@g22$@0#y0
+^1565 1522$@0@g22@6@0@1@g22$@0#y1
+^1566 1524$@0@g22@6@0@1@g22$@0#yn
+^1567 1526$@0@g22@6@0@1@g22$@0#acosh
+^1568 1528$@0@g22@6@0@1@g22$@0#asinh
+^1569 1530$@0@g22@6@0@1@g22$@0#atanh
+^1570 1532$@0@g22@6@0@1@g22$@0#lgamma
+^1571 1534$@0@g22@6@0@1@g22$@0#erf
+^1572 1536$@0@g22@6@0@1@g22$@0#erfc
 ;; Library constraints
 vsnprintf
 pre:
@@ -3290,9 +3294,35 @@ l
 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
@@ -3364,7 +3394,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
@@ -3603,6 +3653,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@