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