Added doc/Makefile.am to get make dist to work.

[splint.git] / test / special.out

diff --git a/test/special.out b/test/special.out
index d6c6a1579a28ae81e051c2ab774695b0756d2f96..d8426512e714675f6c6ed8b32cf34fce74787141 100644 (file)
--- a/test/special.out
+++ b/test/special.out
@@ -1,7 +1,93 @@
 
-Cannot find standard library: ansi.lcd
-     Check LARCH_PATH environment variable.
-Continuing without LCL init file: lclinit.lci
-Continuing without LSL init file: lslinit.lsi
-Unable to find CTrait.syms or CTrait.lsl.  Check LARCH_PATH environment
-variable.
+special.c: (in function f)
+special.c:17:34: Variable c used before definition
+special.c:19:31: Format argument 1 to printf (%d) expects int gets long int: li
+   special.c:19:17: Corresponding format code
+special.c:20:46: Format argument 2 to printf (%d) expects int gets long int: li
+   special.c:20:21: Corresponding format code
+special.c:20:50: Format argument 3 to printf (%hd) expects short int gets int:
+                    i
+   special.c:20:25: Corresponding format code
+special.c:27:19: Variable s used before definition
+special.c:29:28: Format argument 1 to printf (%+14.3i) expects int gets char: c
+   special.c:29:24: Corresponding format code
+special.c:29:3: Format string for printf has 1 arg, given 2
+special.c:30:38: Format argument 1 to fprintf (%+14.33i) expects int gets char:
+                    c
+   special.c:30:34: Corresponding format code
+special.c:30:3: Format string for fprintf has 1 arg, given 2
+special.c:31:25: Format argument 1 to printf (%d) expects int gets char: c
+   special.c:31:15: Corresponding format code
+special.c:31:28: Format argument 2 to printf (%f) expects double gets int: i
+   special.c:31:18: Corresponding format code
+special.c:31:3: No argument corresponding to printf format code 3 (%f):
+                   "%% %d %f %f"
+   special.c:31:21: Corresponding format code
+special.c:34:40: Format argument 1 to scanf (%d) expects int * gets int: i
+   special.c:34:36: Corresponding format code
+special.c:37:54: Format argument 1 to fscanf (%d) expects int * gets int: i
+   special.c:37:44: Corresponding format code
+special.c:37:57: Format argument 2 to fscanf (%c) expects char * gets char: c
+   special.c:37:47: Corresponding format code
+special.c:37:60: Format argument 3 to fscanf (%s) expects char * gets char **:
+                    &s
+   special.c:37:50: Corresponding format code
+special.c:40:10: Undocumented modification of gi possible from call to fscanf:
+                    fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs)
+special.c:40:10: Undocumented modification of gc possible from call to fscanf:
+                    fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs)
+special.c:40:10: Undocumented modification of gs possible from call to fscanf:
+                    fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs)
+special.c:42:10: Undocumented modification of gs possible from call to fscanf:
+                    fscanf(stdin, "hullo, welcome to %*23d %*c %s", gs)
+
+Finished checking --- 20 code warnings, as expected
+
+special.c: (in function f)
+special.c:17:34: Variable c used before definition
+special.c:19:31: Format argument 1 to printf (%d) expects int gets long int: li
+   special.c:19:17: Corresponding format code
+special.c:20:43: Format argument 1 to printf (%ld) expects long int gets int: i
+   special.c:20:18: Corresponding format code
+special.c:20:46: Format argument 2 to printf (%d) expects int gets long int: li
+   special.c:20:21: Corresponding format code
+special.c:20:50: Format argument 3 to printf (%hd) expects short int gets int:
+                    i
+   special.c:20:25: Corresponding format code
+special.c:20:60: Format argument 5 to printf (%d) expects int gets short int:
+                    silly
+   special.c:20:32: Corresponding format code
+special.c:27:19: Variable s used before definition
+special.c:29:28: Format argument 1 to printf (%+14.3i) expects int gets char: c
+   special.c:29:24: Corresponding format code
+special.c:29:3: Format string for printf has 1 arg, given 2
+special.c:30:38: Format argument 1 to fprintf (%+14.33i) expects int gets char:
+                    c
+   special.c:30:34: Corresponding format code
+special.c:30:3: Format string for fprintf has 1 arg, given 2
+special.c:31:25: Format argument 1 to printf (%d) expects int gets char: c
+   special.c:31:15: Corresponding format code
+special.c:31:28: Format argument 2 to printf (%f) expects double gets int: i
+   special.c:31:18: Corresponding format code
+special.c:31:3: No argument corresponding to printf format code 3 (%f):
+                   "%% %d %f %f"
+   special.c:31:21: Corresponding format code
+special.c:34:40: Format argument 1 to scanf (%d) expects int * gets int: i
+   special.c:34:36: Corresponding format code
+special.c:37:54: Format argument 1 to fscanf (%d) expects int * gets int: i
+   special.c:37:44: Corresponding format code
+special.c:37:57: Format argument 2 to fscanf (%c) expects char * gets char: c
+   special.c:37:47: Corresponding format code
+special.c:37:60: Format argument 3 to fscanf (%s) expects char * gets char **:
+                    &s
+   special.c:37:50: Corresponding format code
+special.c:40:10: Undocumented modification of gi possible from call to fscanf:
+                    fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs)
+special.c:40:10: Undocumented modification of gc possible from call to fscanf:
+                    fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs)
+special.c:40:10: Undocumented modification of gs possible from call to fscanf:
+                    fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs)
+special.c:42:10: Undocumented modification of gs possible from call to fscanf:
+                    fscanf(stdin, "hullo, welcome to %*23d %*c %s", gs)
+
+Finished checking --- 22 code warnings, as expected