Added checking for union initializers.

[splint.git] / test / tests2.5 / newlint.lcd

diff --git a/test/tests2.5/newlint.lcd b/test/tests2.5/newlint.lcd
index c94f7b52e6e94da4713b79d81abc0c2ebe7e84a1..1a6ea549cc6533a7a47c282c57e8154d402aee19 100644 (file)
--- a/test/tests2.5/newlint.lcd
+++ b/test/tests2.5/newlint.lcd
@@ -1,6 +1,6 @@
-;;LCLint Dump: newlint.lcd
-;;LCLint 3.0.0.8 --- 19 July 2001
-;;lib:168
+;;; Splint Library  newlint.lcd
+;;Splint 3.0.0.20 --- 30 Dec 2001
+;;lib:170
 ;;ctTable
 0 u-2 19 38
 0 p1|-2 20 39
@@ -604,9 +604,9 @@
 3 f0 (20|$#,5|$#,63|$#,)!
 3 f19 (20|$#,5|$#,63|$#,)!
 3 f20 (20|$#,5|$#,63|$#,)!
-3 f0 (23|$#,265|$#,)!
-3 f19 (23|$#,265|$#,)!
-3 f23 (23|$#,265|$#,)!
+3 f0 (23|@5|$#,265|$#,)!
+3 f19 (23|@5|$#,265|$#,)!
+3 f23 (23|@5|$#,265|$#,)!
 3 f0 (23|$#,23|$#,)!
 3 f63 (23|$#,23|$#,)!
 3 f0 (23|@5|$#,23|$#,)!
@@ -658,13 +658,41 @@
 3 f445 (639|$#,)!
 3 f0 (23|4@0@7&#,63|$#,23|$#,445|$#,)!
 3 f63 (23|4@0@7&#,63|$#,23|$#,445|$#,)!
+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|&
 3 C1.5/1|!
 3 f0 (!.,)!
 3 f5 (!.,)!
-3 f656 (!.,)!
+3 f684 (!.,)!
 3 f0 (!.,)!
 3 f5 (!.,)!
-3 f656 (!.,)!
+3 f684 (!.,)!
 ;;tistable
 0
 28
@@ -839,7 +867,7 @@
 ^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
+^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
@@ -847,7 +875,7 @@
 ^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
+^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
@@ -1025,8 +1053,41 @@
 ^340 650@6@5@1@0@0^@19@3@0#gmtime
 ^341 653@6@5@1@0@0@0@g22@6@0@1@g22@19@3@0#localtime
 ^342 655$@0@@1@tp0$@0#strftime
-^343 659$$$@0#test1
-^344 662$$$@0#test2
+*0 (Datatype)
+^343 13@-@-@0@0@0@0@656#int8_t
+^344 13@-@-@0@0@0@0@657#int16_t
+^345 13@-@-@0@0@0@0@658#int32_t
+^346 13@-@-@0@0@0@0@659#int64_t
+^347 14@-@-@0@0@0@0@660#uint8_t
+^348 14@-@-@0@0@0@0@661#uint16_t
+^349 14@-@-@0@0@0@0@662#uint32_t
+^350 14@-@-@0@0@0@0@663#uint64_t
+^351 13@-@-@0@0@0@0@664#int_least8_t
+^352 13@-@-@0@0@0@0@665#int_least16_t
+^353 13@-@-@0@0@0@0@666#int_least32_t
+^354 13@-@-@0@0@0@0@667#int_least64_t
+^355 14@-@-@0@0@0@0@668#uint_least8_t
+^356 14@-@-@0@0@0@0@669#uint_least16_t
+^357 14@-@-@0@0@0@0@670#uint_least32_t
+^358 14@-@-@0@0@0@0@671#uint_least64_t
+^359 13@-@-@0@0@0@0@672#int_fast8_t
+^360 13@-@-@0@0@0@0@673#int_fast16_t
+^361 13@-@-@0@0@0@0@674#int_fast32_t
+^362 13@-@-@0@0@0@0@675#int_fast64_t
+^363 14@-@-@0@0@0@0@676#uint_fast8_t
+^364 14@-@-@0@0@0@0@677#uint_fast16_t
+^365 14@-@-@0@0@0@0@678#uint_fast32_t
+^366 14@-@-@0@0@0@0@679#uint_fast64_t
+^367 24@-@+@0@0@0@0@680#intptr_t
+^368 25@-@+@0@0@0@0@681#uintptr_t
+^369 15@-@-@0@0@0@0@682#intmax_t
+^370 14@-@-@0@0@0@0@683#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
+*4 (Function)
+^409 687$$$@0#test1
+^410 690$$$@0#test2
 ;; Library constraints
 vsnprintf
 pre:
@@ -1183,9 +1244,16 @@ l
 2
 Param 20 0
 r
+0
+1
+e1
 2
 2
 Param 63 2
+e2
+2
+3
+-1
 C
 0@1@3
 l
@@ -1195,9 +1263,16 @@ l
 2
 Param 20 1
 r
+0
+1
+e1
 2
 2
 Param 63 2
+e2
+2
+3
+-1
 ;; end precondition constraints
 post:
 ;; end precondition constraints
@@ -1212,9 +1287,16 @@ l
 2
 Param 20 0
 r
+0
+1
+e1
 2
 2
 Param 63 2
+e2
+2
+3
+-1
 C
 0@1@3
 l
@@ -1224,9 +1306,16 @@ l
 2
 Param 20 1
 r
+0
+1
+e1
 2
 2
 Param 63 2
+e2
+2
+3
+-1
 ;; end precondition constraints
 post:
 ;; end precondition constraints
@@ -1424,7 +1513,7 @@ l
 3
 2
 2
-Result
+Param 23 0
 r
 0
 1