| 885824d3 |
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 |
| 80ee600a |
8 | special.c:20:50: Format argument 3 to printf (%hd) expects short int gets int: |
| 9 | i |
| 885824d3 |
10 | special.c:20:25: Corresponding format code |
| 11 | special.c:27:19: Variable s used before definition |
| 80ee600a |
12 | special.c:29:28: Format argument 1 to printf (%+14.3i) expects int gets char: c |
| 885824d3 |
13 | special.c:29:24: Corresponding format code |
| 14 | special.c:29:3: Format string for printf has 1 arg, given 2 |
| 80ee600a |
15 | special.c:30:38: Format argument 1 to fprintf (%+14.33i) expects int gets char: |
| 16 | c |
| 885824d3 |
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 | |
| 11db3170 |
44 | Finished checking --- 20 code warnings, as expected |
| 885824d3 |
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 |
| 80ee600a |
50 | special.c:20:43: Format argument 1 to printf (%ld) expects long int gets int: i |
| 885824d3 |
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 |
| 80ee600a |
54 | special.c:20:50: Format argument 3 to printf (%hd) expects short int gets int: |
| 55 | i |
| 885824d3 |
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 |
| 80ee600a |
61 | special.c:29:28: Format argument 1 to printf (%+14.3i) expects int gets char: c |
| 885824d3 |
62 | special.c:29:24: Corresponding format code |
| 63 | special.c:29:3: Format string for printf has 1 arg, given 2 |
| 80ee600a |
64 | special.c:30:38: Format argument 1 to fprintf (%+14.33i) expects int gets char: |
| 65 | c |
| 885824d3 |
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 | |
| 11db3170 |
93 | Finished checking --- 22 code warnings, as expected |
andersk / splint.git / blame