adlint 1.4.0 → 1.6.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (46) hide show
  1. data/ChangeLog +413 -5
  2. data/MANIFEST +6 -0
  3. data/NEWS +43 -4
  4. data/etc/mesg.d/en_US/messages.yml +1 -1
  5. data/etc/mesg.d/ja_JP/messages.yml +1 -1
  6. data/lib/adlint/c.rb +1 -0
  7. data/lib/adlint/c/enum.rb +52 -0
  8. data/lib/adlint/c/expr.rb +43 -102
  9. data/lib/adlint/c/interp.rb +1 -1
  10. data/lib/adlint/c/mediator.rb +1 -0
  11. data/lib/adlint/c/message.rb +831 -49
  12. data/lib/adlint/c/message_shima.rb +236 -0
  13. data/lib/adlint/c/metric.rb +9 -0
  14. data/lib/adlint/c/object.rb +37 -32
  15. data/lib/adlint/c/parser.rb +7 -7
  16. data/lib/adlint/c/parser.y +7 -7
  17. data/lib/adlint/c/phase.rb +21 -0
  18. data/lib/adlint/c/syntax.rb +11 -4
  19. data/lib/adlint/c/type.rb +1 -1
  20. data/lib/adlint/cpp.rb +1 -0
  21. data/lib/adlint/cpp/asm.rb +73 -0
  22. data/lib/adlint/cpp/message.rb +13 -0
  23. data/lib/adlint/cpp/message_shima.rb +36 -0
  24. data/lib/adlint/cpp/phase.rb +3 -0
  25. data/lib/adlint/cpp/source.rb +9 -0
  26. data/lib/adlint/version.rb +3 -3
  27. data/share/demo/Makefile +4 -0
  28. data/share/demo/bad_conv/bad_conv.c +12 -0
  29. data/share/demo/bad_enum/bad_enum.c +48 -2
  30. data/share/demo/bad_label/bad_label.c +26 -0
  31. data/share/demo/bad_macro/bad_macro.c +3 -0
  32. data/share/demo/implicit_conv/implicit_conv.c +1 -0
  33. data/share/demo/inline_asm/inline_asm.c +18 -0
  34. data/share/demo/invalid_call/invalid_call.c +5 -0
  35. data/share/demo/multi_decl/multi_decl_1.c +30 -0
  36. data/share/demo/overflow/overflow.c +3 -3
  37. data/share/demo/redundant_select/redundant_select.c +25 -0
  38. data/share/demo/reserved_ident/reserved_ident.c +98 -0
  39. data/share/doc/developers_guide_ja.html +3 -3
  40. data/share/doc/developers_guide_ja.texi +1 -1
  41. data/share/doc/users_guide_en.html +234 -126
  42. data/share/doc/users_guide_en.texi +207 -98
  43. data/share/doc/users_guide_ja.html +247 -156
  44. data/share/doc/users_guide_ja.texi +221 -130
  45. data/share/sample/vim-7.3/adlint/xxd/adlint_traits.yml +1 -1
  46. 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
- W0653 correctly.
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