Simple modification to tests.

[splint.git] / test / null6.lcd

diff --git a/test/null6.lcd b/test/null6.lcd
index 339dc5a5ff48903ddb7e7258b302ea7d4898f4e6..896b9aca0d215c835107c9934aea3488cb800dac 100644 (file)
--- a/test/null6.lcd
+++ b/test/null6.lcd
@@ -577,18 +577,18 @@
 3 f1 (20|@5|4@0@7&#,20|$#,63|$#,)!
 3 f567 (20|@5|4@0@7&#,20|$#,63|$#,)!
 3 C0.1/23|!
-3 f0 (23|@5|4@0@9&#,23|$#,)!
-3 f1 (23|@5|4@0@9&#,23|$#,)!
-3 f574 (23|@5|4@0@9&#,23|$#,)!
-3 f0 (23|@5|4@0@9&#,23|$#,63|$#,)!
-3 f1 (23|@5|4@0@9&#,23|$#,63|$#,)!
-3 f574 (23|@5|4@0@9&#,23|$#,63|$#,)!
-3 f0 (23|@5|4@0@9&#,23|$#,)!
-3 f1 (23|@5|4@0@9&#,23|$#,)!
-3 f574 (23|@5|4@0@9&#,23|$#,)!
-3 f0 (23|@5|4@0@9&#,23|$#,5|$#,)!
-3 f1 (23|@5|4@0@9&#,23|$#,5|$#,)!
-3 f574 (23|@5|4@0@9&#,23|$#,5|$#,)!
+3 f0 (23|4@0@9&#,23|$#,)!
+3 f1 (23|4@0@9&#,23|$#,)!
+3 f574 (23|4@0@9&#,23|$#,)!
+3 f0 (23|4@0@9&#,23|$#,63|$#,)!
+3 f1 (23|4@0@9&#,23|$#,63|$#,)!
+3 f574 (23|4@0@9&#,23|$#,63|$#,)!
+3 f0 (23|4@0@9&#,23|$#,)!
+3 f1 (23|4@0@9&#,23|$#,)!
+3 f574 (23|4@0@9&#,23|$#,)!
+3 f0 (23|4@0@9&#,23|$#,5|$#,)!
+3 f1 (23|4@0@9&#,23|$#,5|$#,)!
+3 f574 (23|4@0@9&#,23|$#,5|$#,)!
 3 f0 (20|$#,20|$#,63|$#,)!
 3 f5 (20|$#,20|$#,63|$#,)!
 3 f0 (23|$#,23|$#,)!
@@ -602,9 +602,9 @@
 3 f0 (20|$#,5|$#,63|$#,)!
 3 f19 (20|$#,5|$#,63|$#,)!
 3 f20 (20|$#,5|$#,63|$#,)!
-3 f0 (23|@5|$#,263|$#,)!
-3 f19 (23|@5|$#,263|$#,)!
-3 f23 (23|@5|$#,263|$#,)!
+3 f0 (23|$#,263|$#,)!
+3 f19 (23|$#,263|$#,)!
+3 f23 (23|$#,263|$#,)!
 3 f0 (23|$#,23|$#,)!
 3 f63 (23|$#,23|$#,)!
 3 f0 (23|@5|$#,23|$#,)!
@@ -697,8 +697,8 @@
 372@-@-@0@0@0@0@374#ldiv_t
 *1 (Constant)
 0@i0@0@6#NULL
-2@i1@0@0#TRUE
 2$#NDEBUG
+2@i1@0@0#TRUE
 2@i0@0@6#FALSE
 3$#UCHAR_MAX#UCHAR_MIN
 4$#CHAR_MAX#CHAR_MIN#SCHAR_MAX#SCHAR_MIN
@@ -763,8 +763,8 @@
 423$@0@s3,g125@0@0@1@s3,tg125$@0#vwprintf
 388$@0@s3@1@s3,tp1$@0#fputws
 434$@1@@1@s0$@0#wcscmp#wcscoll
-499@6@0@1@1@0@1@g125@0@0,g113@0@0@1@g113,tg125$@0#wprintf
 501@6@0@1@2@0@1@g124@0@0,g113@0@0@1@g113,tg124$@0#wscanf
+499@6@0@1@1@0@1@g125@0@0,g113@0@0@1@g113,tg125$@0#wprintf
 265$@0@s3,g113@0@0@1@s3,tp1,g113$@0#fputc#ungetc
 276$@0@s3@1@s3,tp1$@0#putc
 364$@1@@1@s0$@0#abs
@@ -782,8 +782,8 @@
 344$@0@s1@1@s1$@0#atexit
 405$@1@@1@s0$@0#mbsinit
 278$@1@g125@0@0,s3@1@s3,tg125$@0#putchar
-271$@1@g124@0@0,s3@1@s3,tg124$@0#getchar
 321$@0@s1@1@s1$@0#rand
+271$@1@g124@0@0,s3@1@s3,tg124$@0#getchar
 317$@0@g113@0@0@1@tp1,g113$@0#strtol
 477$@0@@1@tp1$@0#wcstol
 371$@1@@1@s0$@0#labs
@@ -809,8 +809,9 @@
 329@4@5@1@0@0@1@@1@s0@2@0@0#malloc
 262@6@5@1@0@0@0@s3,g113@0@0@1@s3,tp0,tp2,g113$@0#fgets
 122@6@5@1@0@0@0@s1,g113@0@0@1@s1,g113@19@3@0#setlocale
+602@6@5@1@0@0@1@@1@s0@19@2@0#strchr
 607@6@5@1@0@0@1@@1@s0@19@2@0#strpbrk
-602@6@5@1@0@0@1@@1@s0@19@2@0#strchr#strrchr
+610@6@5@1@0@0@1@@1@s0@19@2@0#strrchr
 618@6@5@1@0@0@0@s1,g113@0@0@1@tp0,s1,g113@19@2@0#strtok
 615@6@5@1@0@0@1@@1@s0@19@2@0#strstr
 625$@1@@1@s0@19@3@0#strerror
@@ -870,9 +871,9 @@
 622$@0@@1@tp0$@0#memset
 573$@0@@1@tp0$@0#memmove
 570$@0@@1@tp0$@0#memcpy
-586$@0@@1@tp0$@0#strncat
-580$@0@@1@tp0$@0#strncpy
-583$@0@@1@tp0$@0#strcat#strcpy
+586$@0@@1@tp0@3@0@0#strncat
+580$@0@@1@tp0@3@0@0#strncpy
+583$@0@@1@tp0@3@0@0#strcat#strcpy
 451$@0@@1@tp0$@0#wcsncat#wcsncpy
 429$@0@@1@tp0$@0#wcscat#wcscpy
 516$@1@@1@s0$@0#iswctype