X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/b9904f57dcee356ee752dd80154067720d142228..60868d40e1ea0f9d4c026d991b0e79e4b1e4c986:/lib/ansistrict.lcd

diff --git a/lib/ansistrict.lcd b/lib/ansistrict.lcd
index e5948c3..9b7fdad 100644
--- a/lib/ansistrict.lcd
+++ b/lib/ansistrict.lcd
@@ -1,6 +1,6 @@
-;;LCLint Dump: ansistrict.lcd
-;;LCLint 3.0.0.9 --- 23 July 2001
-;;lib:167
+;;; Splint Library  ansistrict.lcd
+;;Splint 3.0.0.20 --- 29 December 2001
+;;lib:169
 ;;ctTable
 0 u-2 19 38
 0 p1|-2 20 39
@@ -561,9 +561,9 @@
 3 f0 (20|$#,5|$#,63|$#,)!
 3 f19 (20|$#,5|$#,63|$#,)!
 3 f20 (20|$#,5|$#,63|$#,)!
-3 f0 (23|$#,4|$#,)!
-3 f19 (23|$#,4|$#,)!
-3 f23 (23|$#,4|$#,)!
+3 f0 (23|@5|$#,4|$#,)!
+3 f19 (23|@5|$#,4|$#,)!
+3 f23 (23|@5|$#,4|$#,)!
 3 f0 (23|$#,23|$#,)!
 3 f63 (23|$#,23|$#,)!
 3 f0 (23|@5|$#,23|$#,)!
@@ -615,6 +615,34 @@
 3 f421 (596|$#,)!
 3 f0 (23|4@0@7&#,63|$#,23|$#,421|$#,)!
 3 f63 (23|4@0@7&#,63|$#,23|$#,421|$#,)!
+0 s343|&
+0 s344|&
+0 s345|&
+0 s346|&
+0 s347|&
+0 s348|&
+0 s349|&
+0 s350|&
+0 s351|&
+0 s352|&
+0 s353|&
+0 s354|&
+0 s355|&
+0 s356|&
+0 s357|&
+0 s358|&
+0 s359|&
+0 s360|&
+0 s361|&
+0 s362|&
+0 s363|&
+0 s364|&
+0 s365|&
+0 s366|&
+0 s367|&
+0 s368|&
+0 s369|&
+0 s370|&
 ;;tistable
 0
 28
@@ -789,7 +817,7 @@
 ^171 227@6@0@1@2@0^$@0#sscanf
 ^172 229$@1@g18@6@0,s3@1@s3,tg18$@0#vprintf
 ^173 231$@0@s3,g22@6@0@1@s3,tp0,p2,g22$@0#vfprintf
-^174 233$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead.##vsprintf
+^174 233$@0@@1@p0$@0@W:bufferoverflowhigh#Use vsnprintf instead##vsprintf
 ^175 235$@0@@1@p0$@0#vsnprintf
 ^176 237$@0@s3,g22@6@0@1@s3,tp0,g22$@0#fgetc
 ^177 240@6@5@1@0@0@0@s3,g22@6@0@1@s3,tp0,tp2,g22$@0#fgets
@@ -797,7 +825,7 @@
 ^179 245$@0@s3@1@s3,tp1$@0#fputs
 ^180 247$@0@s3@1@s3,tp0$@0#getc
 ^181 249$@1@g17@6@0,s3@1@s3,tg17$@0#getchar
-^182 252@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
+^182 252@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 254$@0@s3@1@s3,tp1$@0#putc
 ^184 256$@1@g18@6@0,s3@1@s3,tg18$@0#putchar
 ^185 258$@1@g18@6@0,s3@1@s3,tg18$@0#puts
@@ -975,6 +1003,38 @@
 ^340 607@6@5@1@0@0^@19@3@0#gmtime
 ^341 610@6@5@1@0@0@0@g22@6@0@1@g22@19@3@0#localtime
 ^342 612$@0@@1@tp0$@0#strftime
+*0 (Datatype)
+^343 13@-@-@0@0@0@0@613#int8_t
+^344 13@-@-@0@0@0@0@614#int16_t
+^345 13@-@-@0@0@0@0@615#int32_t
+^346 13@-@-@0@0@0@0@616#int64_t
+^347 14@-@-@0@0@0@0@617#uint8_t
+^348 14@-@-@0@0@0@0@618#uint16_t
+^349 14@-@-@0@0@0@0@619#uint32_t
+^350 14@-@-@0@0@0@0@620#uint64_t
+^351 13@-@-@0@0@0@0@621#int_least8_t
+^352 13@-@-@0@0@0@0@622#int_least16_t
+^353 13@-@-@0@0@0@0@623#int_least32_t
+^354 13@-@-@0@0@0@0@624#int_least64_t
+^355 14@-@-@0@0@0@0@625#uint_least8_t
+^356 14@-@-@0@0@0@0@626#uint_least16_t
+^357 14@-@-@0@0@0@0@627#uint_least32_t
+^358 14@-@-@0@0@0@0@628#uint_least64_t
+^359 13@-@-@0@0@0@0@629#int_fast8_t
+^360 13@-@-@0@0@0@0@630#int_fast16_t
+^361 13@-@-@0@0@0@0@631#int_fast32_t
+^362 13@-@-@0@0@0@0@632#int_fast64_t
+^363 14@-@-@0@0@0@0@633#uint_fast8_t
+^364 14@-@-@0@0@0@0@634#uint_fast16_t
+^365 14@-@-@0@0@0@0@635#uint_fast32_t
+^366 14@-@-@0@0@0@0@636#uint_fast64_t
+^367 24@-@+@0@0@0@0@637#intptr_t
+^368 25@-@+@0@0@0@0@638#uintptr_t
+^369 15@-@-@0@0@0@0@639#intmax_t
+^370 14@-@-@0@0@0@0@640#uintmax_t
+*1 (Constant)
+^371 5$#INT8_MIN#INT16_MIN#INT32_MIN#INT64_MIN#INT8_MAX#INT16_MAX#INT32_MAX#INT64_MAX#UINT8_MIN#UINT16_MIN#UINT32_MIN#UINT64_MIN#INT_LEAST8_MIN#INT_LEAST16_MIN#INT_LEAST32_MIN#INT_LEAST64_MIN#INT_LEAST8_MAX#INT_LEAST16_MAX#INT_LEAST32_MAX#INT_LEAST64_MAX#UINT_LEAST8_MAX#UINT_LEAST16_MAX#UINT_LEAST32_MAX#UINT_LEAST64_MAX#INT_FAST8_MIN#INT_FAST16_MIN#INT_FAST32_MIN#INT_FAST64_MIN#INT_FAST8_MAX#INT_FAST16_MAX#INT_FAST32_MAX#INT_FAST64_MAX#UINT_FAST8_MAX#UINT_FAST16_MAX#UINT_FAST32_MAX#UINT_FAST64_MAX
+^407 63$#INTPTR_MIN#INTPTR_MAX
 ;; Library constraints
 vsnprintf
 pre:
@@ -1127,9 +1187,16 @@ l
 2
 Param 20 0
 r
+0
+1
+e1
 2
 2
 Param 63 2
+e2
+2
+3
+-1
 C
 0@1@3
 l
@@ -1139,9 +1206,16 @@ l
 2
 Param 20 1
 r
+0
+1
+e1
 2
 2
 Param 63 2
+e2
+2
+3
+-1
 ;; end precondition constraints
 post:EMPTY
 memmove
@@ -1155,9 +1229,16 @@ l
 2
 Param 20 0
 r
+0
+1
+e1
 2
 2
 Param 63 2
+e2
+2
+3
+-1
 C
 0@1@3
 l
@@ -1167,9 +1248,16 @@ l
 2
 Param 20 1
 r
+0
+1
+e1
 2
 2
 Param 63 2
+e2
+2
+3
+-1
 ;; end precondition constraints
 post:EMPTY
 strcpy
@@ -1366,7 +1454,7 @@ l
 3
 2
 2
-Result
+Param 23 0
 r
 0
 1