]> andersk Git - splint.git/blob - test/special.expect
noexpand always false.
[splint.git] / test / special.expect
1
2 special.c: (in function f)
3 special.c:17:34: Variable c used before definition
4 special.c:19:31: Format argument 1 to printf (%d) expects int gets long int: li
5    special.c:19:17: Corresponding format code
6 special.c:20:46: Format argument 2 to printf (%d) expects int gets long int: li
7    special.c:20:21: Corresponding format code
8 special.c:20:50: Format argument 3 to printf (%hd) expects short int gets int:
9                     i
10    special.c:20:25: Corresponding format code
11 special.c:27:19: Variable s used before definition
12 special.c:29:28: Format argument 1 to printf (%+14.3i) expects int gets char: c
13    special.c:29:24: Corresponding format code
14 special.c:29:3: Format string for printf has 1 arg, given 2
15 special.c:30:38: Format argument 1 to fprintf (%+14.33i) expects int gets char:
16                     c
17    special.c:30:34: Corresponding format code
18 special.c:30:3: Format string for fprintf has 1 arg, given 2
19 special.c:31:25: Format argument 1 to printf (%d) expects int gets char: c
20    special.c:31:15: Corresponding format code
21 special.c:31:28: Format argument 2 to printf (%f) expects double gets int: i
22    special.c:31:18: Corresponding format code
23 special.c:31:3: No argument corresponding to printf format code 3 (%f):
24                    "%% %d %f %f"
25    special.c:31:21: Corresponding format code
26 special.c:34:40: Format argument 1 to scanf (%d) expects int * gets int: i
27    special.c:34:36: Corresponding format code
28 special.c:37:54: Format argument 1 to fscanf (%d) expects int * gets int: i
29    special.c:37:44: Corresponding format code
30 special.c:37:57: Format argument 2 to fscanf (%c) expects char * gets char: c
31    special.c:37:47: Corresponding format code
32 special.c:37:60: Format argument 3 to fscanf (%s) expects char * gets char **:
33                     &s
34    special.c:37:50: Corresponding format code
35 special.c:40:10: Undocumented modification of gi possible from call to fscanf:
36                     fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs)
37 special.c:40:10: Undocumented modification of gc possible from call to fscanf:
38                     fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs)
39 special.c:40:10: Undocumented modification of gs possible from call to fscanf:
40                     fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs)
41 special.c:42:10: Undocumented modification of gs possible from call to fscanf:
42                     fscanf(stdin, "hullo, welcome to %*23d %*c %s", gs)
43
44 Finished checking --- 20 code warnings, as expected
45
46 special.c: (in function f)
47 special.c:17:34: Variable c used before definition
48 special.c:19:31: Format argument 1 to printf (%d) expects int gets long int: li
49    special.c:19:17: Corresponding format code
50 special.c:20:43: Format argument 1 to printf (%ld) expects long int gets int: i
51    special.c:20:18: Corresponding format code
52 special.c:20:46: Format argument 2 to printf (%d) expects int gets long int: li
53    special.c:20:21: Corresponding format code
54 special.c:20:50: Format argument 3 to printf (%hd) expects short int gets int:
55                     i
56    special.c:20:25: Corresponding format code
57 special.c:20:60: Format argument 5 to printf (%d) expects int gets short int:
58                     silly
59    special.c:20:32: Corresponding format code
60 special.c:27:19: Variable s used before definition
61 special.c:29:28: Format argument 1 to printf (%+14.3i) expects int gets char: c
62    special.c:29:24: Corresponding format code
63 special.c:29:3: Format string for printf has 1 arg, given 2
64 special.c:30:38: Format argument 1 to fprintf (%+14.33i) expects int gets char:
65                     c
66    special.c:30:34: Corresponding format code
67 special.c:30:3: Format string for fprintf has 1 arg, given 2
68 special.c:31:25: Format argument 1 to printf (%d) expects int gets char: c
69    special.c:31:15: Corresponding format code
70 special.c:31:28: Format argument 2 to printf (%f) expects double gets int: i
71    special.c:31:18: Corresponding format code
72 special.c:31:3: No argument corresponding to printf format code 3 (%f):
73                    "%% %d %f %f"
74    special.c:31:21: Corresponding format code
75 special.c:34:40: Format argument 1 to scanf (%d) expects int * gets int: i
76    special.c:34:36: Corresponding format code
77 special.c:37:54: Format argument 1 to fscanf (%d) expects int * gets int: i
78    special.c:37:44: Corresponding format code
79 special.c:37:57: Format argument 2 to fscanf (%c) expects char * gets char: c
80    special.c:37:47: Corresponding format code
81 special.c:37:60: Format argument 3 to fscanf (%s) expects char * gets char **:
82                     &s
83    special.c:37:50: Corresponding format code
84 special.c:40:10: Undocumented modification of gi possible from call to fscanf:
85                     fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs)
86 special.c:40:10: Undocumented modification of gc possible from call to fscanf:
87                     fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs)
88 special.c:40:10: Undocumented modification of gs possible from call to fscanf:
89                     fscanf(stdin, "hullo, welcome to %23d %c %s", &gi, &gc, gs)
90 special.c:42:10: Undocumented modification of gs possible from call to fscanf:
91                     fscanf(stdin, "hullo, welcome to %*23d %*c %s", gs)
92
93 Finished checking --- 22 code warnings, as expected
This page took 0.06448 seconds and 5 git commands to generate.