| 885824d3 |
1 | |
| 2 | macros.c: (in macro needparen) |
| 3 | macros.c:7:26: Macro parameter used without parentheses: a |
| 4 | macros.c:7:30: Macro parameter used without parentheses: b |
| 5 | macros.c: (in macro needuse) |
| 6 | macros.c:8:21: Macro parameter b not used |
| 7 | macros.lcl:6:1: Specification of b |
| 8 | macros.c: (in macro multuse) |
| 9 | macros.c:9:18: Macro parameter a used more than once |
| 10 | macros.c: (in macro badassign) |
| 11 | macros.c:10:26: Assignment to macro parameter: a |
| 12 | macros.c:11: Macro badassign already defined |
| 13 | macros.c:10: Previous definition of badassign |
| 14 | macros.c: (in macro badassign) |
| 15 | macros.c:11:26: Operand of ++ is macro parameter (non-functional): (a)++ |
| 16 | macros.c:11:35: Operand of ++ is macro parameter (non-functional): ++(b) |
| 17 | macros.c: (in macro predbad) |
| 18 | macros.c:15:20: Macro parameter b used in true clause, but not in false clause |
| 19 | macros.c: (in macro predbad2) |
| 20 | macros.c:16:19: Macro parameter a used more than once |
| 21 | macros.c:16:22: Macro parameter b used more than once |
| 22 | macros.c: (in macro badval) |
| 23 | macros.c:22:23: Function badval specified to return int, implemented as macro |
| 24 | having type bool: ((a) == (b)) |
| 25 | macros.lcl:14: Specification of badval |
| 26 | macros.c: (in macro badconst) |
| 27 | macros.c:23:20: Constant badconst specified as bool, but defined as int: 5 |
| 28 | macros.lcl:18:15: Specification of badconst |
| 29 | macros.c:25:21: Constant worseconst implemented as parameterized macro |
| 30 | macros.lcl:20:14: Specification of worseconst |
| 31 | macros.c:27: Variable var implemented by a macro |
| 32 | macros.lcl:22:5: Specification of var |
| 33 | macros.c:28: Variable var2 implemented as parameterized macro |
| 34 | macros.lcl:23:5: Specification of var2 |
| 35 | macros.c: (in macro var2) |
| 36 | macros.c:28:15: Macro parameter x used more than once |
| 37 | |
| 11db3170 |
38 | Finished checking --- 17 code warnings, as expected |
| 885824d3 |
39 | |
| 40 | macros.c:3: Parameterized macro has no prototype or specification: mustard |
| 41 | macros.c: (in macro mustard) |
| 42 | macros.c:3:30: Macro parameter used without parentheses: b |
| 43 | macros.c:3:18: Macro parameter a used more than once |
| 44 | macros.c:3:34: Macro parameter used without parentheses: a |
| 45 | macros.c:4: Parameterized macro has no prototype or specification: ketchup |
| 46 | macros.c:6: Parameterized macro has no prototype or specification: ok |
| 47 | macros.c:7: Parameterized macro has no prototype or specification: needparen |
| 48 | macros.c: (in macro needparen) |
| 49 | macros.c:7:26: Macro parameter used without parentheses: a |
| 50 | macros.c:7:30: Macro parameter used without parentheses: b |
| 51 | macros.c:8: Parameterized macro has no prototype or specification: needuse |
| 52 | macros.c: (in macro needuse) |
| 53 | macros.c:8:21: Macro parameter b not used |
| 54 | macros.c:9: Parameterized macro has no prototype or specification: multuse |
| 55 | macros.c: (in macro multuse) |
| 56 | macros.c:9:18: Macro parameter a used more than once |
| 57 | macros.c:10: Parameterized macro has no prototype or specification: badassign |
| 58 | macros.c: (in macro badassign) |
| 59 | macros.c:10:26: Assignment to macro parameter: a |
| 60 | macros.c:11: Macro badassign already defined |
| 61 | macros.c:10: Previous definition of badassign |
| 62 | macros.c: (in macro badassign) |
| 63 | macros.c:11:26: Operand of ++ is macro parameter (non-functional): (a)++ |
| 64 | macros.c:11:35: Operand of ++ is macro parameter (non-functional): ++(b) |
| 65 | macros.c:14: Parameterized macro has no prototype or specification: predok |
| 66 | macros.c:15: Parameterized macro has no prototype or specification: predbad |
| 67 | macros.c: (in macro predbad) |
| 68 | macros.c:15:20: Macro parameter b used in true clause, but not in false clause |
| 69 | macros.c:16: Parameterized macro has no prototype or specification: predbad2 |
| 70 | macros.c: (in macro predbad2) |
| 71 | macros.c:16:19: Macro parameter a used more than once |
| 72 | macros.c:16:22: Macro parameter b used more than once |
| 73 | macros.c:18: Parameterized macro has no prototype or specification: badorder |
| 74 | macros.c:19: Parameterized macro has no prototype or specification: okorder |
| 75 | macros.c:20: Parameterized macro has no prototype or specification: okorder2 |
| 76 | macros.c:22: Parameterized macro has no prototype or specification: badval |
| 77 | macros.c:23: Macro constant badconst not declared |
| 78 | macros.c:24: Macro constant goodconst not declared |
| 79 | macros.c:25: Parameterized macro has no prototype or specification: worseconst |
| 80 | macros.c:27: Macro constant var not declared |
| 81 | macros.c:28: Parameterized macro has no prototype or specification: var2 |
| 82 | macros.c: (in macro var2) |
| 83 | macros.c:28:15: Macro parameter x used more than once |
| 84 | |
| 11db3170 |
85 | Finished checking --- 34 code warnings, as expected |
| 885824d3 |
86 | |
| 87 | macros.c:3: Parameterized macro has no prototype or specification: mustard |
| 88 | macros.c: (in macro mustard) |
| 89 | macros.c:3:30: Macro parameter used without parentheses: b |
| 90 | macros.c:3:18: Macro parameter a used more than once |
| 91 | macros.c:3:34: Macro parameter used without parentheses: a |
| 92 | macros.c:4: Parameterized macro has no prototype or specification: ketchup |
| 93 | macros.c:6: Parameterized macro has no prototype or specification: ok |
| 94 | macros.c:7: Parameterized macro has no prototype or specification: needparen |
| 95 | macros.c: (in macro needparen) |
| 96 | macros.c:7:26: Macro parameter used without parentheses: a |
| 97 | macros.c:7:30: Macro parameter used without parentheses: b |
| 98 | macros.c:8: Parameterized macro has no prototype or specification: needuse |
| 99 | macros.c: (in macro needuse) |
| 100 | macros.c:8:21: Macro parameter b not used |
| 101 | macros.c:9: Parameterized macro has no prototype or specification: multuse |
| 102 | macros.c: (in macro multuse) |
| 103 | macros.c:9:18: Macro parameter a used more than once |
| 104 | macros.c:10: Parameterized macro has no prototype or specification: badassign |
| 105 | macros.c: (in macro badassign) |
| 106 | macros.c:10:26: Assignment to macro parameter: a |
| 107 | macros.c:11: Macro badassign already defined |
| 108 | macros.c:10: Previous definition of badassign |
| 109 | macros.c: (in macro badassign) |
| 110 | macros.c:11:26: Operand of ++ is macro parameter (non-functional): (a)++ |
| 111 | macros.c:11:35: Operand of ++ is macro parameter (non-functional): ++(b) |
| 112 | macros.c:14: Parameterized macro has no prototype or specification: predok |
| 113 | macros.c:15: Parameterized macro has no prototype or specification: predbad |
| 114 | macros.c: (in macro predbad) |
| 115 | macros.c:15:20: Macro parameter b used in true clause, but not in false clause |
| 116 | macros.c:16: Parameterized macro has no prototype or specification: predbad2 |
| 117 | macros.c: (in macro predbad2) |
| 118 | macros.c:16:19: Macro parameter a used more than once |
| 119 | macros.c:16:22: Macro parameter b used more than once |
| 120 | macros.c:18: Parameterized macro has no prototype or specification: badorder |
| 121 | macros.c:19: Parameterized macro has no prototype or specification: okorder |
| 122 | macros.c:20: Parameterized macro has no prototype or specification: okorder2 |
| 123 | macros.c:22: Parameterized macro has no prototype or specification: badval |
| 124 | macros.c:25: Parameterized macro has no prototype or specification: worseconst |
| 125 | macros.c:28: Parameterized macro has no prototype or specification: var2 |
| 126 | macros.c: (in macro var2) |
| 127 | macros.c:28:15: Macro parameter x used more than once |
| 128 | |
| 11db3170 |
129 | Finished checking --- 31 code warnings, as expected |
andersk / splint.git / blame