adlint 1.4.0 → 1.6.0
Sign up to get free protection for your applications and to get access to all the features.
- data/ChangeLog +413 -5
- data/MANIFEST +6 -0
- data/NEWS +43 -4
- data/etc/mesg.d/en_US/messages.yml +1 -1
- data/etc/mesg.d/ja_JP/messages.yml +1 -1
- data/lib/adlint/c.rb +1 -0
- data/lib/adlint/c/enum.rb +52 -0
- data/lib/adlint/c/expr.rb +43 -102
- data/lib/adlint/c/interp.rb +1 -1
- data/lib/adlint/c/mediator.rb +1 -0
- data/lib/adlint/c/message.rb +831 -49
- data/lib/adlint/c/message_shima.rb +236 -0
- data/lib/adlint/c/metric.rb +9 -0
- data/lib/adlint/c/object.rb +37 -32
- data/lib/adlint/c/parser.rb +7 -7
- data/lib/adlint/c/parser.y +7 -7
- data/lib/adlint/c/phase.rb +21 -0
- data/lib/adlint/c/syntax.rb +11 -4
- data/lib/adlint/c/type.rb +1 -1
- data/lib/adlint/cpp.rb +1 -0
- data/lib/adlint/cpp/asm.rb +73 -0
- data/lib/adlint/cpp/message.rb +13 -0
- data/lib/adlint/cpp/message_shima.rb +36 -0
- data/lib/adlint/cpp/phase.rb +3 -0
- data/lib/adlint/cpp/source.rb +9 -0
- data/lib/adlint/version.rb +3 -3
- data/share/demo/Makefile +4 -0
- data/share/demo/bad_conv/bad_conv.c +12 -0
- data/share/demo/bad_enum/bad_enum.c +48 -2
- data/share/demo/bad_label/bad_label.c +26 -0
- data/share/demo/bad_macro/bad_macro.c +3 -0
- data/share/demo/implicit_conv/implicit_conv.c +1 -0
- data/share/demo/inline_asm/inline_asm.c +18 -0
- data/share/demo/invalid_call/invalid_call.c +5 -0
- data/share/demo/multi_decl/multi_decl_1.c +30 -0
- data/share/demo/overflow/overflow.c +3 -3
- data/share/demo/redundant_select/redundant_select.c +25 -0
- data/share/demo/reserved_ident/reserved_ident.c +98 -0
- data/share/doc/developers_guide_ja.html +3 -3
- data/share/doc/developers_guide_ja.texi +1 -1
- data/share/doc/users_guide_en.html +234 -126
- data/share/doc/users_guide_en.texi +207 -98
- data/share/doc/users_guide_ja.html +247 -156
- data/share/doc/users_guide_ja.texi +221 -130
- data/share/sample/vim-7.3/adlint/xxd/adlint_traits.yml +1 -1
- metadata +8 -2
data/ChangeLog
CHANGED
|
@@ -1,3 +1,393 @@
|
|
|
1
|
+
Fri Apr 6 20:00:34 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
2
|
+
|
|
3
|
+
* release.ga : 1.6.0
|
|
4
|
+
- Add W0541 detection.
|
|
5
|
+
- Add W0573 detection.
|
|
6
|
+
- Add W0579 detection.
|
|
7
|
+
- Add W0685 detection.
|
|
8
|
+
- Add W0686 detection.
|
|
9
|
+
- Add W0781 detection.
|
|
10
|
+
- Add W0787 detection.
|
|
11
|
+
- Add W0788 detection.
|
|
12
|
+
- Add W0789 detection.
|
|
13
|
+
- Add W0807 detection.
|
|
14
|
+
- Add W0808 detection.
|
|
15
|
+
- Add W0809 detection.
|
|
16
|
+
- Add W1030 detection.
|
|
17
|
+
- Add W1053 detection.
|
|
18
|
+
- Add W1054 detection.
|
|
19
|
+
- Add W1055 detection.
|
|
20
|
+
- Add W1056 detection.
|
|
21
|
+
- Add W1057 detection.
|
|
22
|
+
- Add W1058 detection.
|
|
23
|
+
- Add W1059 detection.
|
|
24
|
+
- Add W1060 detection.
|
|
25
|
+
- Add W1061 detection.
|
|
26
|
+
- Add W1062 detection.
|
|
27
|
+
- Add W1063 detection.
|
|
28
|
+
- Fix W0027 detection not to warn when a pointer variable is compared
|
|
29
|
+
with NULL constant.
|
|
30
|
+
- Fix W0728, W0729 and W0730 detections not to warn when the target
|
|
31
|
+
is a variable of the other enum type.
|
|
32
|
+
- Fix W0104 detection not to warn about invariant parameter of array
|
|
33
|
+
type whose base type is qualified as const.
|
|
34
|
+
- Fix bad W0031, W0100, W0104, W0459 and W0460 detections.
|
|
35
|
+
- Fix bad FN_UNUV measurement.
|
|
36
|
+
- Update the user's guide in Japanese.
|
|
37
|
+
- Update the user's guide in English.
|
|
38
|
+
|
|
39
|
+
Fri Apr 6 19:49:19 2012 Rie Shima <rkakuuchi@users.sourceforge.net>
|
|
40
|
+
|
|
41
|
+
* share/doc/users_guide_ja.texi : Update descriptions about added
|
|
42
|
+
warning messages.
|
|
43
|
+
* share/doc/users_guide_en.texi : Ditto.
|
|
44
|
+
|
|
45
|
+
Fri Apr 6 19:13:05 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
46
|
+
|
|
47
|
+
* release.beta : 1.5.5
|
|
48
|
+
- Fix W1053 detection to warn only about constant expressions.
|
|
49
|
+
|
|
50
|
+
Fri Apr 6 19:06:34 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
51
|
+
|
|
52
|
+
* lib/adlint/c/message.rb : Fix W1053 detection to warn only about
|
|
53
|
+
constant expressions.
|
|
54
|
+
|
|
55
|
+
Fri Apr 6 16:44:17 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
56
|
+
|
|
57
|
+
* release.beta : 1.5.4
|
|
58
|
+
- Fix abend problem of W0461 and W0462 detections when a function is
|
|
59
|
+
specified as an argument.
|
|
60
|
+
|
|
61
|
+
Fri Apr 6 15:51:59 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
62
|
+
|
|
63
|
+
* lib/adlint/c/message.rb : Fix abend problem of W0461 and W0462
|
|
64
|
+
detections when a function is specified as an argument.
|
|
65
|
+
|
|
66
|
+
Fri Apr 6 15:35:17 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
67
|
+
|
|
68
|
+
* release.beta : 1.5.3
|
|
69
|
+
- Fix degraded W0581, W0639 and W0640 detections.
|
|
70
|
+
|
|
71
|
+
Fri Apr 6 15:32:44 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
72
|
+
|
|
73
|
+
* lib/adlint/c/expr.rb : Fix degraded W0581, W0639 and W0640
|
|
74
|
+
detections.
|
|
75
|
+
|
|
76
|
+
Fri Apr 6 11:48:37 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
77
|
+
|
|
78
|
+
* release.beta : 1.5.2
|
|
79
|
+
- Fix W0787, W0788 and W0789 detections to consider variable and
|
|
80
|
+
function definitions.
|
|
81
|
+
- Fix W0104 detection not to warn about invariant parameter of array
|
|
82
|
+
type whose base type is qualified as const.
|
|
83
|
+
- Fix bad W0031, W0100, W0104, W0459 and W0460 detections.
|
|
84
|
+
- Fix bad FN_UNUV measurement.
|
|
85
|
+
|
|
86
|
+
Fri Apr 6 11:33:43 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
87
|
+
|
|
88
|
+
* lib/adlint/c/metric.rb : Fix FN_UNUV measurement to watch variable
|
|
89
|
+
references and variable value references.
|
|
90
|
+
|
|
91
|
+
* lib/adlint/c/message.rb : Fix W0031 detection to watch variable
|
|
92
|
+
references and variable value references.
|
|
93
|
+
|
|
94
|
+
* lib/adlint/c/message.rb : Fix W0104 detection not to warn about a
|
|
95
|
+
parameter of const array type.
|
|
96
|
+
|
|
97
|
+
Fri Apr 6 11:18:33 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
98
|
+
|
|
99
|
+
* lib/adlint/c/expr.rb : Revise evaluation of object-specifier not to
|
|
100
|
+
convert the derived array object into a pointer variable.
|
|
101
|
+
|
|
102
|
+
* lib/adlint/c/expr.rb : Revise evaluation of
|
|
103
|
+
array-subscript-expression not to notify a value reference of the
|
|
104
|
+
base array object.
|
|
105
|
+
|
|
106
|
+
* lib/adlint/c/expr.rb : Revise evaluation of
|
|
107
|
+
array-subscript-expression not to convert the derived array object
|
|
108
|
+
into a pointer variable.
|
|
109
|
+
|
|
110
|
+
* lib/adlint/c/expr.rb : Revise evaluation of function-call-expression
|
|
111
|
+
not to notify a value reference of the array argument in assigning an
|
|
112
|
+
argument to a parameter.
|
|
113
|
+
* lib/adlint/c/object.rb : Ditto.
|
|
114
|
+
|
|
115
|
+
* lib/adlint/c/expr.rb : Revise evaluation of
|
|
116
|
+
member-access-by-value-expression not to notify a value reference of
|
|
117
|
+
the base composite object.
|
|
118
|
+
|
|
119
|
+
* lib/adlint/c/expr.rb : Revise evaluation of
|
|
120
|
+
member-access-by-value-expression not to convert the derived array
|
|
121
|
+
object into a pointer variable.
|
|
122
|
+
|
|
123
|
+
* lib/adlint/c/expr.rb : Revise evaluation of
|
|
124
|
+
member-access-by-pointer-expression not to convert the derived array
|
|
125
|
+
object into a pointer variable.
|
|
126
|
+
|
|
127
|
+
* lib/adlint/c/expr.rb : Revise evaluation of string-literal-specifier
|
|
128
|
+
not to convert the character array object into a pointer variable.
|
|
129
|
+
|
|
130
|
+
* lib/adlint/c/expr.rb : Revise evaluation of conditional-expression to
|
|
131
|
+
convert results of 2nd and 3rd expression into scalar variables
|
|
132
|
+
before unifying those values.
|
|
133
|
+
|
|
134
|
+
* lib/adlint/c/object.rb : Revise function's `value returning via
|
|
135
|
+
parameters' behavior to return a value when the parameter type is
|
|
136
|
+
non-const array.
|
|
137
|
+
|
|
138
|
+
Fri Apr 6 09:36:42 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
139
|
+
|
|
140
|
+
* lib/adlint/c/message.rb : Fix W0104 detection not to warn about
|
|
141
|
+
invariant parameter of array type whose base type is qualified as
|
|
142
|
+
const.
|
|
143
|
+
|
|
144
|
+
Thu Apr 5 16:43:55 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
145
|
+
|
|
146
|
+
* lib/adlint/c/message.rb : Fix W0787, W0788 and W0789 detections to
|
|
147
|
+
consider variable and function definitions.
|
|
148
|
+
|
|
149
|
+
* share/demo/multi_decl/multi_decl_1.c : Add sample code.
|
|
150
|
+
|
|
151
|
+
Thu Apr 5 15:05:37 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
152
|
+
|
|
153
|
+
* release.beta : 1.5.1
|
|
154
|
+
- Add W0579 detection.
|
|
155
|
+
- Add W0686 detection.
|
|
156
|
+
- Add W0787 detection.
|
|
157
|
+
- Add W0788 detection.
|
|
158
|
+
- Add W0789 detection.
|
|
159
|
+
- Fix W0809 detection not to warn about the AdLint internal tag name.
|
|
160
|
+
|
|
161
|
+
Thu Apr 5 12:03:52 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
162
|
+
|
|
163
|
+
* lib/adlint/c/message.rb : Add W0579 detection.
|
|
164
|
+
* lib/adlint/c/phase.rb : Ditto.
|
|
165
|
+
|
|
166
|
+
* share/demo/implicit_conv/implicit_conv.c : Add sample code.
|
|
167
|
+
|
|
168
|
+
Thu Apr 5 11:21:23 2012 Rie Shima <rkakuuchi@users.sourceforge.net>
|
|
169
|
+
|
|
170
|
+
* lib/adlint/c/message_shima.rb : Add W0686 detection.
|
|
171
|
+
* lib/adlint/c/phase.rb : Ditto.
|
|
172
|
+
|
|
173
|
+
* share/demo/bad_conv/bad_conv.c : Add sample code.
|
|
174
|
+
|
|
175
|
+
Thu Apr 5 10:37:13 2012 Rie Shima <rkakuuchi@users.sourceforge.net>
|
|
176
|
+
|
|
177
|
+
* lib/adlint/c/message_shima.rb : Fix W0809 detection not to warn about
|
|
178
|
+
the AdLint internal tag name.
|
|
179
|
+
|
|
180
|
+
* share/demo/reserved_ident/reserved_ident.c : Add sample code.
|
|
181
|
+
|
|
182
|
+
Thu Apr 5 10:21:37 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
183
|
+
|
|
184
|
+
* lib/adlint/c/message.rb : Add W0789 detection.
|
|
185
|
+
* lib/adlint/c/phase.rb : Ditto.
|
|
186
|
+
|
|
187
|
+
Tue Apr 3 20:12:29 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
188
|
+
|
|
189
|
+
* lib/adlint/c/message.rb : Add W0788 detection.
|
|
190
|
+
* lib/adlint/c/phase.rb : Ditto.
|
|
191
|
+
|
|
192
|
+
* share/demo/multi_decl/multi_decl_1.c : Add sample code.
|
|
193
|
+
|
|
194
|
+
Tue Apr 3 19:03:44 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
195
|
+
|
|
196
|
+
* lib/adlint/c/message.rb : Add W0787 detection.
|
|
197
|
+
* lib/adlint/c/phase.rb : Ditto.
|
|
198
|
+
|
|
199
|
+
* share/demo/multi_decl/multi_decl_1.c : Add sample code.
|
|
200
|
+
|
|
201
|
+
Tue Apr 3 16:37:30 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
202
|
+
|
|
203
|
+
* release.beta : 1.5.0
|
|
204
|
+
- This is the initial beta release for 1.6.0 GA release.
|
|
205
|
+
- Add W0541 detection.
|
|
206
|
+
- Add W0573 detection.
|
|
207
|
+
- Add W0685 detection.
|
|
208
|
+
- Add W0781 detection.
|
|
209
|
+
- Add W0807 detection.
|
|
210
|
+
- Add W0808 detection.
|
|
211
|
+
- Add W0809 detection.
|
|
212
|
+
- Add W1030 detection.
|
|
213
|
+
- Add W1053 detection.
|
|
214
|
+
- Add W1054 detection.
|
|
215
|
+
- Add W1055 detection.
|
|
216
|
+
- Add W1056 detection.
|
|
217
|
+
- Add W1057 detection.
|
|
218
|
+
- Add W1058 detection.
|
|
219
|
+
- Add W1059 detection.
|
|
220
|
+
- Add W1060 detection.
|
|
221
|
+
- Add W1061 detection.
|
|
222
|
+
- Add W1062 detection.
|
|
223
|
+
- Add W1063 detection.
|
|
224
|
+
- Fix W0027 detection not to warn when a pointer variable is compared
|
|
225
|
+
with NULL constant.
|
|
226
|
+
- Fix W0728, W0729 and W0730 detections not to warn when the target
|
|
227
|
+
is a variable of the other enum type.
|
|
228
|
+
|
|
229
|
+
Tue Apr 3 16:22:23 2012 Rie Shima <rkakuuchi@users.sourceforge.net>
|
|
230
|
+
|
|
231
|
+
* lib/adlint/cpp/message_shima.rb : Add W0807 and W0808 detections.
|
|
232
|
+
* lib/adlint/cpp/phase.rb : Ditto.
|
|
233
|
+
|
|
234
|
+
* share/demo/bad_macro/bad_macro.c : Add sample code.
|
|
235
|
+
|
|
236
|
+
Tue Apr 3 16:05:54 2012 Rie Shima <rkakuuchi@users.sourceforge.net>
|
|
237
|
+
|
|
238
|
+
* lib/adlint/c/message_shima.rb : Add W0685 detection.
|
|
239
|
+
* lib/adlint/c/phase.rb : Ditto.
|
|
240
|
+
|
|
241
|
+
* share/demo/bad_conv/bad_conv.c : Add sample code.
|
|
242
|
+
|
|
243
|
+
Tue Apr 3 15:35:10 2012 Rie Shima <rkakuuchi@users.sourceforge.net>
|
|
244
|
+
|
|
245
|
+
* lib/adlint/c/message_shima.rb : Add W1030 detection.
|
|
246
|
+
* lib/adlint/c/phase.rb : Ditto.
|
|
247
|
+
|
|
248
|
+
* share/demo/Makefile : Add `bad_label' demo.
|
|
249
|
+
* share/demo/bad_label/bad_label.c : Ditto.
|
|
250
|
+
* MANIFEST : Ditto.
|
|
251
|
+
|
|
252
|
+
Tue Apr 3 15:15:03 2012 Rie Shima <rkakuuchi@users.sourceforge.net>
|
|
253
|
+
|
|
254
|
+
* lib/adlint/c/message_shima.rb : Add W0809 detection.
|
|
255
|
+
* lib/adlint/c/phase.rb : Ditto.
|
|
256
|
+
|
|
257
|
+
* share/demo/Makefile : Add `reserved_ident' demo.
|
|
258
|
+
* share/demo/reserved_ident/reserved_ident.c : Ditto.
|
|
259
|
+
* MANIFEST : Ditto.
|
|
260
|
+
|
|
261
|
+
Tue Apr 3 11:22:03 2012 Rie Shima <rkakuuchi@users.sourceforge.net>
|
|
262
|
+
|
|
263
|
+
* lib/adlint/c/message_shima.rb : Add W0781 detection.
|
|
264
|
+
* lib/adlint/c/phase.rb : Ditto.
|
|
265
|
+
|
|
266
|
+
* share/demo/Makefile : Add `redundant_select' demo.
|
|
267
|
+
* share/demo/redundant_select/redundant_select.c : Ditto.
|
|
268
|
+
* MANIFEST : Ditto.
|
|
269
|
+
|
|
270
|
+
Tue Apr 3 10:22:45 2012 Rie Shima <rkakuuchi@users.sourceforge.net>
|
|
271
|
+
|
|
272
|
+
* lib/adlint/c/message_shima.rb : Add W0573 detection.
|
|
273
|
+
* lib/adlint/c/phase.rb : Ditto.
|
|
274
|
+
|
|
275
|
+
Tue Apr 3 09:42:18 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
276
|
+
|
|
277
|
+
* lib/adlint/c/message.rb : Fix W0027 detection not to warn when a
|
|
278
|
+
pointer variable is compared with NULL constant.
|
|
279
|
+
|
|
280
|
+
Mon Apr 2 17:29:18 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
281
|
+
|
|
282
|
+
* lib/adlint/cpp/message.rb : Add W0541 detection.
|
|
283
|
+
* lib/adlint/cpp/phase.rb : Ditto.
|
|
284
|
+
|
|
285
|
+
* share/demo/Makefile : Add `inline_asm' demo.
|
|
286
|
+
* share/demo/inline_asm/inline_asm.c : Ditto.
|
|
287
|
+
* MANIFEST : Ditto.
|
|
288
|
+
|
|
289
|
+
Mon Apr 2 17:24:58 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
290
|
+
|
|
291
|
+
* lib/adlint/cpp/asm.rb : Support extended inline assembly notations.
|
|
292
|
+
* lib/adlint/cpp/source.rb : Ditto.
|
|
293
|
+
* lib/adlint/cpp.rb : Ditto.
|
|
294
|
+
* MANIFEST : Ditto.
|
|
295
|
+
|
|
296
|
+
Mon Apr 2 15:55:22 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
297
|
+
|
|
298
|
+
* lib/adlint/c/message.rb : Add W1063 detection.
|
|
299
|
+
* lib/adlint/c/phase.rb : Ditto.
|
|
300
|
+
|
|
301
|
+
* share/demo/bad_enum/bad_enum.c : Add sample code.
|
|
302
|
+
|
|
303
|
+
Mon Apr 2 15:43:19 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
304
|
+
|
|
305
|
+
* lib/adlint/c/message.rb : Add W1062 detection.
|
|
306
|
+
* lib/adlint/c/phase.rb : Ditto.
|
|
307
|
+
|
|
308
|
+
* share/demo/bad_enum/bad_enum.c : Add sample code.
|
|
309
|
+
|
|
310
|
+
Mon Apr 2 15:15:39 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
311
|
+
|
|
312
|
+
* lib/adlint/c/message.rb : Add W1061 detection.
|
|
313
|
+
* lib/adlint/c/phase.rb : Ditto.
|
|
314
|
+
|
|
315
|
+
* share/demo/bad_enum/bad_enum.c : Add sample code.
|
|
316
|
+
|
|
317
|
+
Mon Apr 2 13:40:40 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
318
|
+
|
|
319
|
+
* lib/adlint/c/message.rb : Add W1060 detection.
|
|
320
|
+
* lib/adlint/c/phase.rb : Ditto.
|
|
321
|
+
|
|
322
|
+
* share/demo/bad_enum/bad_enum.c : Add sample code.
|
|
323
|
+
|
|
324
|
+
Mon Apr 2 13:31:52 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
325
|
+
|
|
326
|
+
* lib/adlint/c/message.rb : Add W1059 detection.
|
|
327
|
+
* lib/adlint/c/phase.rb : Ditto.
|
|
328
|
+
|
|
329
|
+
* share/demo/bad_enum/bad_enum.c : Add sample code.
|
|
330
|
+
|
|
331
|
+
Mon Apr 2 13:21:52 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
332
|
+
|
|
333
|
+
* lib/adlint/c/message.rb : Add W1058 detection.
|
|
334
|
+
* lib/adlint/c/phase.rb : Ditto.
|
|
335
|
+
|
|
336
|
+
* share/demo/bad_enum/bad_enum.c : Add sample code.
|
|
337
|
+
|
|
338
|
+
Mon Apr 2 13:15:48 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
339
|
+
|
|
340
|
+
* lib/adlint/c/message.rb : Add W1057 detection.
|
|
341
|
+
* lib/adlint/c/phase.rb : Ditto.
|
|
342
|
+
|
|
343
|
+
* share/demo/bad_enum/bad_enum.c : Add sample code.
|
|
344
|
+
|
|
345
|
+
Mon Apr 2 13:05:00 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
346
|
+
|
|
347
|
+
* lib/adlint/c/message.rb : Add W1056 detection.
|
|
348
|
+
* lib/adlint/c/phase.rb : Ditto.
|
|
349
|
+
|
|
350
|
+
Mon Apr 2 11:58:59 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
351
|
+
|
|
352
|
+
* lib/adlint/c/message.rb : Fix W0728, W0729 and W0730 detections not
|
|
353
|
+
to warn when the target is a variable of the other enum type.
|
|
354
|
+
|
|
355
|
+
* share/demo/bad_enum/bad_enum.c : Add sample code.
|
|
356
|
+
|
|
357
|
+
Mon Apr 2 11:42:24 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
358
|
+
|
|
359
|
+
* lib/adlint/c/syntax.rb : Fix incomplete decision about the expression
|
|
360
|
+
constancy.
|
|
361
|
+
* lib/adlint/c/expr.rb : Ditto.
|
|
362
|
+
* lib/adlint/c/type.rb : Ditto.
|
|
363
|
+
* lib/adlint/c/enum.rb : Ditto.
|
|
364
|
+
* lib/adlint/c/object.rb : Ditto.
|
|
365
|
+
* lib/adlint/c/mediator.rb : Ditto.
|
|
366
|
+
* lib/adlint/c.rb : Ditto.
|
|
367
|
+
* lib/adlint/message.rb : Ditto.
|
|
368
|
+
* MANIFEST : Ditto.
|
|
369
|
+
|
|
370
|
+
Fri Mar 30 15:09:52 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
371
|
+
|
|
372
|
+
* lib/adlint/c/message.rb : Add W1055 detection.
|
|
373
|
+
* lib/adlint/c/phase.rb : Ditto.
|
|
374
|
+
|
|
375
|
+
* share/demo/bad_enum/bad_enum.c : Add sample code.
|
|
376
|
+
|
|
377
|
+
Fri Mar 30 15:05:37 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
378
|
+
|
|
379
|
+
* lib/adlint/c/message.rb : Add W1054 detection.
|
|
380
|
+
* lib/adlint/c/phase.rb : Ditto.
|
|
381
|
+
|
|
382
|
+
* share/demo/bad_enum/bad_enum.c : Add sample code.
|
|
383
|
+
|
|
384
|
+
Fri Mar 30 14:59:19 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
385
|
+
|
|
386
|
+
* lib/adlint/c/message.rb : Add W1053 detection.
|
|
387
|
+
* lib/adlint/c/phase.rb : Ditto.
|
|
388
|
+
|
|
389
|
+
* share/demo/bad_enum/bad_enum.c : Add sample code.
|
|
390
|
+
|
|
1
391
|
Thu Mar 29 10:53:48 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
2
392
|
|
|
3
393
|
* release.ga : 1.4.0
|
|
@@ -40,8 +430,8 @@ Wed Mar 28 15:30:55 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
|
40
430
|
Wed Mar 28 15:24:20 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
41
431
|
|
|
42
432
|
* lib/adlint/c/interp.rb : Fix evaluation of a string literal as an
|
|
43
|
-
initializer of the array variable definition in order to detect
|
|
44
|
-
|
|
433
|
+
initializer of the array variable definition in order to detect W0653
|
|
434
|
+
correctly.
|
|
45
435
|
|
|
46
436
|
Wed Mar 28 13:51:55 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
47
437
|
|
|
@@ -73,7 +463,7 @@ Wed Mar 28 11:39:43 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
|
73
463
|
* lib/adlint/c/expr.rb : Fix access notification of array or composite
|
|
74
464
|
typeed variable value and add missing reference notification of the
|
|
75
465
|
array value in evaluation of an array-subscript-expression in order
|
|
76
|
-
to detect W0459 correctly.
|
|
466
|
+
to detect W0459 and W0460 correctly.
|
|
77
467
|
|
|
78
468
|
Wed Mar 28 09:58:58 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
79
469
|
|
|
@@ -99,24 +489,28 @@ Tue Mar 27 17:51:06 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
|
99
489
|
|
|
100
490
|
* lib/adlint/c/message.rb : Add W0743 detection.
|
|
101
491
|
* lib/adlint/c/phase.rb : Ditto.
|
|
492
|
+
|
|
102
493
|
* share/demo/overflow/overflow.c : Add sample code.
|
|
103
494
|
|
|
104
495
|
Tue Mar 27 17:34:14 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
105
496
|
|
|
106
497
|
* lib/adlint/c/message.rb : Add W0740 and W0741 detections.
|
|
107
498
|
* lib/adlint/c/phase.rb : Ditto.
|
|
499
|
+
|
|
108
500
|
* share/demo/wrap_around/wrap_around.c : Add sample code.
|
|
109
501
|
|
|
110
502
|
Tue Mar 27 17:14:34 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
111
503
|
|
|
112
504
|
* lib/adlint/c/message.rb : Add W0739 detection.
|
|
113
505
|
* lib/adlint/c/phase.rb : Ditto.
|
|
506
|
+
|
|
114
507
|
* share/demo/wrap_around/wrap_around.c : Add sample code.
|
|
115
508
|
|
|
116
509
|
Tue Mar 27 16:20:13 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
117
510
|
|
|
118
511
|
* lib/adlint/c/message.rb : Add W0738 detection.
|
|
119
512
|
* lib/adlint/c/phase.rb : Ditto.
|
|
513
|
+
|
|
120
514
|
* share/demo/overflow/overflow.c : Add sample code.
|
|
121
515
|
|
|
122
516
|
Tue Mar 27 16:18:14 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
@@ -130,12 +524,14 @@ Tue Mar 27 15:02:45 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
|
130
524
|
|
|
131
525
|
* lib/adlint/c/message.rb : Add W0737 detection.
|
|
132
526
|
* lib/adlint/c/phase.rb : Ditto.
|
|
527
|
+
|
|
133
528
|
* share/demo/incomplete_type/incomplete_type.c : Add sample code.
|
|
134
529
|
|
|
135
530
|
Tue Mar 27 12:05:03 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
136
531
|
|
|
137
532
|
* lib/adlint/c/interp.rb : Add missing conversion logic of
|
|
138
533
|
return-statement evaluation.
|
|
534
|
+
|
|
139
535
|
* share/demo/bad_enum/bad_enum.c : Add sample code.
|
|
140
536
|
|
|
141
537
|
Mon Mar 26 17:05:05 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
@@ -173,11 +569,13 @@ Mon Mar 26 16:50:45 2012 Rie Shima <rkakuuchi@users.sourceforge.net>
|
|
|
173
569
|
|
|
174
570
|
Mon Mar 26 16:13:26 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
175
571
|
|
|
572
|
+
* lib/adlint/c/interp.rb : Add notifications about switch-statement.
|
|
573
|
+
* lib/adlint/c/mediator.rb : Ditto.
|
|
574
|
+
|
|
176
575
|
* lib/adlint/c/message.rb : Add W0731, W1064 and W1065 detections.
|
|
177
576
|
* lib/adlint/c/phase.rb : Ditto.
|
|
577
|
+
|
|
178
578
|
* share/demo/bad_enum/bad_enum.c : Add sample code.
|
|
179
|
-
* lib/adlint/c/interp.rb : Add notifications about switch-statement.
|
|
180
|
-
* lib/adlint/c/mediator.rb : Ditto.
|
|
181
579
|
|
|
182
580
|
Mon Mar 26 12:23:10 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
183
581
|
|
|
@@ -186,6 +584,7 @@ Mon Mar 26 12:23:10 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
|
186
584
|
* lib/adlint/c/phase.rb : Ditto.
|
|
187
585
|
* lib/adlint/c/expr.rb : Ditto.
|
|
188
586
|
* lib/adlint/c/type.rb : Ditto.
|
|
587
|
+
|
|
189
588
|
* share/demo/Makefile : Add `bad_enum' demo.
|
|
190
589
|
* share/demo/bad_enum/bad_enum.c : Ditto.
|
|
191
590
|
|
|
@@ -198,12 +597,14 @@ Mon Mar 26 10:14:06 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
|
198
597
|
|
|
199
598
|
* lib/adlint/c/message.rb : Add W0722 and W0723 detections.
|
|
200
599
|
* lib/adlint/c/phase.rb : Ditto.
|
|
600
|
+
|
|
201
601
|
* share/demo/wrap_around/wrap_around.c : Add sample code.
|
|
202
602
|
|
|
203
603
|
Fri Mar 23 21:24:08 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
204
604
|
|
|
205
605
|
* lib/adlint/c/message.rb : Add W0721 detection.
|
|
206
606
|
* lib/adlint/c/phase.rb : Ditto.
|
|
607
|
+
|
|
207
608
|
* share/demo/overflow/overflow.c : Add sample code.
|
|
208
609
|
|
|
209
610
|
Fri Mar 23 20:11:29 2012 Rie Shima <rkakuuchi@users.sourceforge.net>
|
|
@@ -211,6 +612,7 @@ Fri Mar 23 20:11:29 2012 Rie Shima <rkakuuchi@users.sourceforge.net>
|
|
|
211
612
|
* lib/adlint/cpp/message_shima.rb : Add W0687, W0695 and W0806
|
|
212
613
|
detections.
|
|
213
614
|
* lib/adlint/cpp/phase.rb : Ditto.
|
|
615
|
+
|
|
214
616
|
* share/demo/bad_macro/bad_macro.c : Add sample code.
|
|
215
617
|
|
|
216
618
|
Fri Mar 23 20:08:37 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
@@ -235,9 +637,11 @@ Fri Mar 23 18:44:30 2012 Rie Shima <rkakuuchi@users.sourceforge.net>
|
|
|
235
637
|
* lib/adlint/c/phase.rb : Ditto.
|
|
236
638
|
* lib/adlint/c.rb : Ditto.
|
|
237
639
|
* MANIFEST : Ditto.
|
|
640
|
+
|
|
238
641
|
* share/demo/Makefile : Add `bad_return' and `unnamed_member' demos.
|
|
239
642
|
* share/demo/bad_return/bad_return.c : Ditto.
|
|
240
643
|
* share/demo/unnamed_member/unnamed_member.c : Ditto.
|
|
644
|
+
|
|
241
645
|
* share/demo/union_type/union_type.c : Add sample code.
|
|
242
646
|
* share/demo/various_fundef/various_fundef.c : Ditto.
|
|
243
647
|
|
|
@@ -252,6 +656,7 @@ Fri Mar 23 14:11:20 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
|
252
656
|
* lib/adlint/c/message.rb : Modify W0457 and W0458 detections to use
|
|
253
657
|
new #implicitly_typed? method to check whether a definition or
|
|
254
658
|
declaration is typed implicitly.
|
|
659
|
+
|
|
255
660
|
* lib/adlint/c/syntax.rb : Fix inverted check logic.
|
|
256
661
|
|
|
257
662
|
Fri Mar 23 13:39:12 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
@@ -339,6 +744,7 @@ Mon Mar 19 17:17:18 2012 Rie Shima <rkakuuchi@users.sourceforge.net>
|
|
|
339
744
|
* lib/adlint/cpp.rb : Ditto.
|
|
340
745
|
* MANIFEST : Ditto.
|
|
341
746
|
* etc/mesg.d/ja_JP/messages.yml : Ditto.
|
|
747
|
+
|
|
342
748
|
* share/demo/Makefile : Add `bad_line' demo.
|
|
343
749
|
* share/demo/bad_line : Ditto.
|
|
344
750
|
* share/demo/bad_line/bad_line.c : Ditto.
|
|
@@ -355,6 +761,7 @@ Mon Mar 19 14:49:07 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
|
355
761
|
|
|
356
762
|
* lib/adlint/c/expr.rb : Fix lack of notification of the array value
|
|
357
763
|
reference when the object-specifier specifies an array object.
|
|
764
|
+
|
|
358
765
|
* lib/adlint/c/message.rb : Remove useless branching in W0459
|
|
359
766
|
detection.
|
|
360
767
|
|
|
@@ -390,6 +797,7 @@ Fri Mar 15 18:17:40 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
|
390
797
|
|
|
391
798
|
* lib/adlint/c/phase.rb : Add W0597 and W0598 detections.
|
|
392
799
|
* lib/adlint/c/message.rb : Ditto.
|
|
800
|
+
|
|
393
801
|
* share/demo/Makefile : Add `sequence_point' demo.
|
|
394
802
|
* share/demo/sequence_point/sequence_point.c : Ditto.
|
|
395
803
|
|