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