| 86d93ed3 |
1 | |
| 2 | Finished checking --- no warnings |
| 3 | |
| 4 | prefixes.c:20: Parameterized macro has no prototype or specification: mf |
| 5 | prefixes.c: (in macro mf) |
| 6 | prefixes.c:20:37: Variable y name is not consistent with macro variable |
| 7 | namespace prefix "m_" |
| 8 | prefixes.c:20:37: Variable y declared but not used |
| 9 | prefixes.c:20:26: Variable m_x declared but not used |
| 10 | |
| 11 | Finished checking --- 4 code warnings, as expected |
| 12 | |
| 13 | prefixes.c:2:13: Datatype QINT name is not consistent with user-defined type |
| 14 | namespace prefix "T" |
| 15 | prefixes.c:3:13: Datatype tint name is not consistent with user-defined type |
| 16 | namespace prefix "T" |
| 17 | |
| 18 | Finished checking --- 2 code warnings, as expected |
| 19 | |
| 20 | prefixes.c:3:13: Datatype tint name is not consistent with user-defined type |
| 21 | namespace prefix "^" |
| 22 | |
| 23 | Finished checking --- 1 code warning, as expected |
| 24 | |
| 25 | prefixes.c:1:13: Datatype Tin_ty name is not consistent with user-defined type |
| 26 | namespace prefix "^*" |
| 27 | prefixes.c:3:13: Datatype tint name is not consistent with user-defined type |
| 28 | namespace prefix "^*" |
| 29 | |
| 30 | Finished checking --- 2 code warnings, as expected |
| 31 | |
| 32 | prefixes.c:2:13: Datatype QINT name is not consistent with user-defined type |
| 33 | namespace prefix "^%*" |
| 34 | prefixes.c:3:13: Datatype tint name is not consistent with user-defined type |
| 35 | namespace prefix "^%*" |
| 36 | |
| 37 | Finished checking --- 2 code warnings, as expected |
| 38 | |
| 39 | prefixes.c:1:13: Datatype Tin_ty name is not consistent with user-defined type |
| 40 | namespace prefix "^~*" |
| 41 | prefixes.c:3:13: Datatype tint name is not consistent with user-defined type |
| 42 | namespace prefix "^~*" |
| 43 | |
| 44 | Finished checking --- 2 code warnings, as expected |
| 45 | |
| 46 | prefixes.c:3:13: Datatype tint name is not consistent with user-defined type |
| 47 | namespace prefix "^" |
| 48 | prefixes.c:6:12: Variable FSint name is not a user-defined type (it is a file |
| 49 | static), but matches the user-defined type namespace prefix "^" |
| 50 | prefixes.c:7:12: Variable TYint name is not a user-defined type (it is a file |
| 51 | static), but matches the user-defined type namespace prefix "^" |
| 52 | prefixes.c:8:12: Variable V3int name is not a user-defined type (it is a file |
| 53 | static), but matches the user-defined type namespace prefix "^" |
| 54 | prefixes.c:10:12: Variable Xqmxt name is not a user-defined type (it is a file |
| 55 | static), but matches the user-defined type namespace prefix "^" |
| 56 | prefixes.c:11:12: Variable XqmXt name is not a user-defined type (it is a file |
| 57 | static), but matches the user-defined type namespace prefix "^" |
| 58 | prefixes.c:14:12: Variable Gint name is not a user-defined type (it is a |
| 59 | external), but matches the user-defined type namespace prefix "^" |
| 60 | |
| 61 | Finished checking --- 7 code warnings, as expected |
| 62 | |
| 63 | prefixes.c:8:12: Variable V3int name is not consistent with file static |
| 64 | namespace prefix "^^" |
| 65 | prefixes.c:9:12: Variable sint name is not consistent with file static |
| 66 | namespace prefix "^^" |
| 67 | prefixes.c:10:12: Variable Xqmxt name is not consistent with file static |
| 68 | namespace prefix "^^" |
| 69 | prefixes.c:11:12: Variable XqmXt name is not consistent with file static |
| 70 | namespace prefix "^^" |
| 71 | |
| 72 | Finished checking --- 4 code warnings, as expected |
| 73 | |
| 74 | prefixes.c:6:12: Variable FSint name is not consistent with file static |
| 75 | namespace prefix "^#" |
| 76 | prefixes.c:7:12: Variable TYint name is not consistent with file static |
| 77 | namespace prefix "^#" |
| 78 | prefixes.c:9:12: Variable sint name is not consistent with file static |
| 79 | namespace prefix "^#" |
| 80 | prefixes.c:10:12: Variable Xqmxt name is not consistent with file static |
| 81 | namespace prefix "^#" |
| 82 | prefixes.c:11:12: Variable XqmXt name is not consistent with file static |
| 83 | namespace prefix "^#" |
| 84 | |
| 85 | Finished checking --- 5 code warnings, as expected |
| 86 | |
| 87 | prefixes.c:6:12: Variable FSint name is not consistent with file static |
| 88 | namespace prefix "^?&x" |
| 89 | prefixes.c:7:12: Variable TYint name is not consistent with file static |
| 90 | namespace prefix "^?&x" |
| 91 | prefixes.c:8:12: Variable V3int name is not consistent with file static |
| 92 | namespace prefix "^?&x" |
| 93 | prefixes.c:9:12: Variable sint name is not consistent with file static |
| 94 | namespace prefix "^?&x" |
| 95 | prefixes.c:11:12: Variable XqmXt name is not consistent with file static |
| 96 | namespace prefix "^?&x" |
| 97 | |
| 98 | Finished checking --- 5 code warnings, as expected |
| 99 | |
| 100 | prefixes.c:15:12: Variable aGb_Xint name is not consistent with global variable |
| 101 | namespace prefix "G" |
| 102 | |
| 103 | Finished checking --- 1 code warning, as expected |
| 104 | |
| 105 | prefixes.c:14:12: Variable Gint name is not consistent with global variable |
| 106 | namespace prefix "&G?_^" |
| 107 | |
| 108 | Finished checking --- 1 code warning, as expected |
| 109 | |
| 110 | prefixes.c:1:13: Datatype Tin_ty name is not consistent with external namespace |
| 111 | prefix "G" |
| 112 | prefixes.c:2:13: Datatype QINT name is not consistent with external namespace |
| 113 | prefix "G" |
| 114 | prefixes.c:3:13: Datatype tint name is not consistent with external namespace |
| 115 | prefix "G" |
| 116 | prefixes.c:15:12: Variable aGb_Xint name is not consistent with external |
| 117 | namespace prefix "G" |
| 118 | prefixes.c:18:12: Function g name is not consistent with external namespace |
| 119 | prefix "G" |
| 120 | |
| 121 | Finished checking --- 5 code warnings, as expected |
| 122 | |
| 123 | prefixes.c:2:13: Datatype QINT name is not consistent with user-defined type |
| 124 | namespace prefix "T" |
| 125 | prefixes.c:3:13: Datatype tint name is not consistent with user-defined type |
| 126 | namespace prefix "T" |
| 127 | prefixes.c:15:12: Variable aGb_Xint name is not consistent with external |
| 128 | namespace prefix "G" |
| 129 | prefixes.c:18:12: Function g name is not consistent with external namespace |
| 130 | prefix "G" |
| 131 | |
| 132 | Finished checking --- 4 code warnings, as expected |
| 133 | |
| 134 | prefixes.c:20: Expanded macro mf name is not a local variable (it is a |
| 135 | unchecked macro), but matches the local variable namespace prefix "?*" |
| 136 | prefixes.c:1:13: Datatype Tin_ty name is not a local variable (it is a |
| 137 | external), but matches the local variable namespace prefix "?*" |
| 138 | prefixes.c:2:13: Datatype QINT name is not a local variable (it is a external), |
| 139 | but matches the local variable namespace prefix "?*" |
| 140 | prefixes.c:3:13: Datatype tint name is not a local variable (it is a external), |
| 141 | but matches the local variable namespace prefix "?*" |
| 142 | prefixes.c:6:12: Variable FSint name is not a local variable (it is a file |
| 143 | static), but matches the local variable namespace prefix "?*" |
| 144 | prefixes.c:7:12: Variable TYint name is not a local variable (it is a file |
| 145 | static), but matches the local variable namespace prefix "?*" |
| 146 | prefixes.c:8:12: Variable V3int name is not a local variable (it is a file |
| 147 | static), but matches the local variable namespace prefix "?*" |
| 148 | prefixes.c:9:12: Variable sint name is not a local variable (it is a file |
| 149 | static), but matches the local variable namespace prefix "?*" |
| 150 | prefixes.c:10:12: Variable Xqmxt name is not a local variable (it is a file |
| 151 | static), but matches the local variable namespace prefix "?*" |
| 152 | prefixes.c:11:12: Variable XqmXt name is not a local variable (it is a file |
| 153 | static), but matches the local variable namespace prefix "?*" |
| 154 | prefixes.c:14:12: Variable Gint name is not a local variable (it is a |
| 155 | external), but matches the local variable namespace prefix "?*" |
| 156 | prefixes.c:15:12: Variable aGb_Xint name is not a local variable (it is a |
| 157 | external), but matches the local variable namespace prefix "?*" |
| 158 | prefixes.c:18:12: Function g name is not a local variable (it is a external), |
| 159 | but matches the local variable namespace prefix "?*" |
| 160 | |
| 161 | Finished checking --- 13 code warnings, as expected |
andersk / splint.git / blame