adlint 1.0.0 → 1.2.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 (54) hide show
  1. data/AUTHORS +3 -2
  2. data/ChangeLog +208 -63
  3. data/MANIFEST +4 -0
  4. data/NEWS +24 -5
  5. data/etc/conf.d/fallback/traits.erb +1 -1
  6. data/etc/conf.d/i686-cygwin/traits-gcc_4.3.4.erb +1 -1
  7. data/etc/conf.d/i686-devkit/traits-gcc_4.5.2.erb +1 -1
  8. data/etc/conf.d/i686-linux/traits-gcc_4.5.1.erb +1 -1
  9. data/etc/conf.d/i686-mingw/traits-gcc_4.6.1.erb +1 -1
  10. data/etc/mesg.d/en_US/messages.yml +3 -3
  11. data/etc/mesg.d/ja_JP/messages.yml +4 -4
  12. data/lib/adlint/c/builtin.rb +3 -3
  13. data/lib/adlint/c/ctrlexpr.rb +7 -11
  14. data/lib/adlint/c/expr.rb +548 -363
  15. data/lib/adlint/c/interp.rb +233 -525
  16. data/lib/adlint/c/mediator.rb +1 -0
  17. data/lib/adlint/c/message.rb +144 -1
  18. data/lib/adlint/c/object.rb +15 -6
  19. data/lib/adlint/c/parser.rb +170 -128
  20. data/lib/adlint/c/parser.y +36 -0
  21. data/lib/adlint/c/phase.rb +4 -0
  22. data/lib/adlint/c/seqp.rb +72 -0
  23. data/lib/adlint/c/syntax.rb +254 -3
  24. data/lib/adlint/c.rb +1 -0
  25. data/lib/adlint/cpp/code.rb +2 -2
  26. data/lib/adlint/cpp/eval.rb +29 -13
  27. data/lib/adlint/cpp/message.rb +71 -70
  28. data/lib/adlint/cpp/message_shima.rb +100 -0
  29. data/lib/adlint/cpp/phase.rb +4 -0
  30. data/lib/adlint/cpp/syntax.rb +5 -1
  31. data/lib/adlint/cpp.rb +1 -0
  32. data/lib/adlint/message.rb +6 -3
  33. data/lib/adlint/traits.rb +1 -1
  34. data/lib/adlint/version.rb +5 -5
  35. data/share/demo/Makefile +3 -1
  36. data/share/demo/bad_line/bad_line.c +27 -0
  37. data/share/demo/sequence_point/sequence_point.c +31 -0
  38. data/share/doc/adlint_on_vim_en.png +0 -0
  39. data/share/doc/adlint_on_vim_ja.png +0 -0
  40. data/share/doc/developers_guide_ja.html +3 -3
  41. data/share/doc/developers_guide_ja.texi +1 -1
  42. data/share/doc/users_guide_en.html +3118 -41
  43. data/share/doc/users_guide_en.texi +3090 -37
  44. data/share/doc/users_guide_ja.html +3120 -47
  45. data/share/doc/users_guide_ja.texi +3106 -65
  46. data/share/sample/ctags-5.8/adlint/GNUmakefile +13 -1
  47. data/share/sample/ctags-5.8/adlint/adlint_cinit.h +14 -2
  48. data/share/sample/ctags-5.8/adlint/adlint_pinit.h +14 -4
  49. data/share/sample/ctags-5.8/adlint/adlint_traits.yml +14 -1
  50. data/share/sample/flex-2.5.35/adlint/GNUmakefile +13 -1
  51. data/share/sample/flex-2.5.35/adlint/adlint_cinit.h +14 -2
  52. data/share/sample/flex-2.5.35/adlint/adlint_pinit.h +14 -4
  53. data/share/sample/flex-2.5.35/adlint/adlint_traits.yml +14 -1
  54. metadata +6 -2
data/AUTHORS CHANGED
@@ -23,5 +23,6 @@
23
23
 
24
24
  === Original Author
25
25
 
26
- Yutaka Yanoh <mailto:yanoh@users.sourceforge.net> and
27
- Code Quality Assessment Team of OGIS-RI Co.,Ltd.
26
+ * Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
27
+ * Rie Shima <mailto:rkakuuchi@users.sourceforge.net>
28
+ * Code Quality Assessment Team of {OGIS-RI}[http://www.ogis-ri.co.jp/] Co.,Ltd.
data/ChangeLog CHANGED
@@ -1,4 +1,142 @@
1
- 2012-02-28 Yutaka Yanoh <yanoh@users.sourceforge.net>
1
+ Wed Mar 21 18:50:39 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
2
+
3
+ * release.ga : 1.2.0
4
+ - Add W0597 detection.
5
+ - Add W0598 detection.
6
+ - Add W0599 detection.
7
+ - Add W0600 detection.
8
+ - Add W0688 detection.
9
+ - Add W0689 detection.
10
+ - Add W0690 detection.
11
+ - Change schema version validation method of input YAML files.
12
+ - Clarify message text of W0459 and W0460.
13
+ - Revise specification of W0459 and W0460 detections not to warn when
14
+ a pointer argument points to an uninitialized object.
15
+ - Fix bad FN_UNUV metric measurement.
16
+ - Update the user's guide in Japanese.
17
+ - Update the user's guide in English.
18
+
19
+ Wed Mar 21 14:36:30 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
20
+
21
+ * release.beta : 1.1.2
22
+ - Revise specification of W0459 and W0460 detections not to warn when
23
+ a pointer argument points to an uninitialized object.
24
+ - Fix bad FN_UNUV metric measurement.
25
+
26
+ Wed Mar 21 14:28:59 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
27
+
28
+ * lib/adlint/c/interp.rb : Fix lack of reference notification of the
29
+ controlling variable's value in for-statements and c99-for-statements
30
+ at end of the last iteration.
31
+
32
+ Wed Mar 21 13:07:29 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
33
+
34
+ * lib/adlint/c/expr.rb : Fix lack of notification of array and
35
+ composite type objects when its inner variable is accessed.
36
+
37
+ Wed Mar 21 13:03:26 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
38
+
39
+ * lib/adlint/c/expr.rb : Fix lack of notification of value references
40
+ in relational-expressions and equality-expressions.
41
+
42
+ Mon Mar 19 17:48:34 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
43
+
44
+ * release.beta : 1.1.1
45
+ - Add W0688 detection.
46
+ - Add W0689 detection.
47
+ - Add W0690 detection.
48
+ - Fix W0459 detection to warn when a pointer argument points to an
49
+ uninitialized array object.
50
+ - Clarify message text of W0459 and W0460.
51
+ - Update the user's guide in Japanese.
52
+ - Update the user's guide in English.
53
+
54
+ Mon Mar 19 17:27:53 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
55
+
56
+ * lib/adlint/cpp/eval.rb : Fix abend problem of incomplete pp-directive
57
+ processing.
58
+ * lib/adlint/cpp/code.rb : Ditto.
59
+ * lib/adlint/cpp/message.rb : Ditto.
60
+ * lib/adlint/cpp/syntax.rb : Ditto.
61
+
62
+ Mon Mar 19 17:17:18 2012 Rie Shima <rkakuuchi@users.sourceforge.net>
63
+
64
+ * lib/adlint/cpp/message_shima.rb : Add W0688, W0689 and W0690
65
+ detections.
66
+ * lib/adlint/cpp/phase.rb : Ditto.
67
+ * lib/adlint/cpp.rb : Ditto.
68
+ * MANIFEST : Ditto.
69
+ * etc/mesg.d/ja_JP/messages.yml : Ditto.
70
+ * share/demo/Makefile : Add `bad_line' demo.
71
+ * share/demo/bad_line : Ditto.
72
+ * share/demo/bad_line/bad_line.c : Ditto.
73
+
74
+ Mon Mar 19 15:06:29 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
75
+
76
+ * etc/mesg.d/ja_JP/messages.yml : Clarify message text of W0459 and
77
+ W0460.
78
+ * etc/mesg.d/en_US/messages.yml : Ditto.
79
+ * share/doc/users_guide_ja.texi : Ditto.
80
+ * share/doc/users_guide_en.texi : Ditto.
81
+
82
+ Mon Mar 19 14:49:07 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
83
+
84
+ * lib/adlint/c/expr.rb : Fix lack of notification of the array value
85
+ reference when the object-specifier specifies an array object.
86
+ * lib/adlint/c/message.rb : Remove useless branching in W0459
87
+ detection.
88
+
89
+ Mon Mar 19 12:43:33 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
90
+
91
+ * release.beta : 1.1.0
92
+ - This is the initial beta release for 1.2.0 GA release.
93
+ - Add W0597 detection.
94
+ - Add W0598 detection.
95
+ - Add W0599 detection.
96
+ - Add W0600 detection.
97
+ - Change schema version validation method of input YAML files.
98
+ - Update the user's guide in Japanese.
99
+ - Update the user's guide in English.
100
+
101
+ Sat Mar 17 12:29:09 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
102
+
103
+ * lib/adlint/version.rb : Change schema version validation method of
104
+ input YAML files.
105
+ * lib/adlint/message.rb : Ditto.
106
+ * lib/adlint/traits.rb : Ditto.
107
+ * etc/conf.d/fallback/traits.erb : Ditto.
108
+ * etc/conf.d/i686-cygwin/traits-gcc_4.3.4.erb : Ditto.
109
+ * etc/conf.d/i686-devkit/traits-gcc_4.5.2.erb : Ditto.
110
+ * etc/conf.d/i686-linux/traits-gcc_4.5.1.erb : Ditto.
111
+ * etc/conf.d/i686-mingw/traits-gcc_4.6.1.erb : Ditto.
112
+
113
+ Fri Mar 16 21:05:17 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
114
+
115
+ * lib/adlint/c/message.rb : Add W0599 and W0600 detections.
116
+
117
+ Fri Mar 15 18:17:40 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
118
+
119
+ * lib/adlint/c/phase.rb : Add W0597 and W0598 detections.
120
+ * lib/adlint/c/message.rb : Ditto.
121
+ * share/demo/Makefile : Add `sequence_point' demo.
122
+ * share/demo/sequence_point/sequence_point.c : Ditto.
123
+
124
+ Thu Mar 15 16:21:32 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
125
+
126
+ * lib/adlint/c/interp.rb : Add sequence-points tracking feature to the
127
+ interpreter.
128
+ * lib/adlint/c/object.rb : Ditto.
129
+ * lib/adlint/c/syntax.rb : Ditto.
130
+ * lib/adlint/c/expr.rb : Ditto.
131
+ * lib/adlint/c/seqp.rb : Ditto.
132
+ * lib/adlint/c.rb : Ditto.
133
+
134
+ Wed Mar 7 18:01:54 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
135
+
136
+ * lib/adlint/cpp/message.rb : Fix bad comment about ensuring of
137
+ uniqueness of duplicative warning messages.
138
+
139
+ Mon Feb 27 17:39:54 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
2
140
 
3
141
  * release.ga : 1.0.0
4
142
  - This is the initial GA release!
@@ -6,7 +144,7 @@
6
144
  memory alignment items such as `char_alignment'.
7
145
  - Correct to run on Ruby 1.9.3-p125 without warnings.
8
146
 
9
- 2012-02-22 Yutaka Yanoh <yanoh@users.sourceforge.net>
147
+ Wed Feb 22 18:48:24 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
10
148
 
11
149
  * release.rc : 0.6.8
12
150
  - Fix traits file validation to allow nil as `initial_header'.
@@ -20,25 +158,25 @@
20
158
  - Update the user's guide in Japanese.
21
159
  - Update the user's guide in English.
22
160
 
23
- 2012-02-21 Yutaka Yanoh <yanoh@users.sourceforge.net>
161
+ Tue Feb 21 18:28:05 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
24
162
 
25
163
  * release.rc : 0.6.7
26
164
  - Implement missing `traits file validation' feature.
27
165
 
28
- 2012-02-20 Yutaka Yanoh <yanoh@users.sourceforge.net>
166
+ Mon Feb 20 19:26:03 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
29
167
 
30
168
  * release.rc : 0.6.6
31
169
  - Revise project_traits:coding_style specification.
32
170
  - Update the user's guide in Japanese.
33
171
  - Update the user's guide in English.
34
172
 
35
- 2012-02-17 Yutaka Yanoh <yanoh@users.sourceforge.net>
173
+ Fri Feb 17 18:28:16 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
36
174
 
37
175
  * release.rc : 0.6.5
38
176
  - Update the user's guide in Japanese.
39
177
  - Update the user's guide in English.
40
178
 
41
- 2012-02-16 Yutaka Yanoh <yanoh@users.sourceforge.net>
179
+ Thu Feb 16 18:50:17 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
42
180
 
43
181
  * release.rc : 0.6.4
44
182
  - Revise specification of W0534 detection to warn when the
@@ -53,19 +191,19 @@
53
191
  storage-class-specifier is `register' or `auto'.
54
192
  - Update the user's guide in Japanese.
55
193
 
56
- 2012-02-10 Yutaka Yanoh <yanoh@users.sourceforge.net>
194
+ Fri Feb 10 17:26:03 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
57
195
 
58
196
  * release.rc : 0.6.3
59
197
  - Change gem packaging method.
60
198
  - Update the user's guide in Japanese.
61
199
 
62
- 2012-02-08 Yutaka Yanoh <yanoh@users.sourceforge.net>
200
+ Wed Feb 8 11:12:30 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
63
201
 
64
202
  * release.rc : 0.6.2
65
203
  - Fix abend problem of evaluating the indirection-expression which
66
204
  makes a function object.
67
205
 
68
- 2012-02-07 Yutaka Yanoh <yanoh@users.sourceforge.net>
206
+ Tue Feb 7 18:59:44 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
69
207
 
70
208
  * release.rc : 0.6.1
71
209
  - Fix lack of variable cross-ref records problem of the
@@ -85,7 +223,7 @@
85
223
  - Refine the message catalog for the locale `ja_JP'.
86
224
  - Refine the user's guide in Japanese.
87
225
 
88
- 2012-02-06 Yutaka Yanoh <yanoh@users.sourceforge.net>
226
+ Mon Feb 6 19:18:59 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
89
227
 
90
228
  * release.rc : 0.6.0
91
229
  - This is the initial release candidate for 1.0.0 GA release.
@@ -99,7 +237,7 @@
99
237
  - Update the user's guide in Japanese.
100
238
  - Update the user's guide in English.
101
239
 
102
- 2012-02-01 Yutaka Yanoh <yanoh@users.sourceforge.net>
240
+ Wed Feb 1 17:37:02 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
103
241
 
104
242
  * release.beta : 0.5.15
105
243
  - Fix degraded W0031 detection.
@@ -107,7 +245,7 @@
107
245
  family.
108
246
  - Update the user's guide in Japanese.
109
247
 
110
- 2012-01-30 Yutaka Yanoh <yanoh@users.sourceforge.net>
248
+ Mon Jan 30 17:47:11 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
111
249
 
112
250
  * release.beta : 0.5.14
113
251
  - Fix bootstrap error messages not to contain full pathname of the
@@ -131,7 +269,7 @@
131
269
  variable-definitions.
132
270
  - Update the user's guide in Japanese.
133
271
 
134
- 2012-01-26 Yutaka Yanoh <yanoh@users.sourceforge.net>
272
+ Thu Jan 26 16:40:52 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
135
273
 
136
274
  * release.beta : 0.5.13
137
275
  - Fix adlintize command to output files with UTF-8 encoding.
@@ -143,7 +281,7 @@
143
281
  adlintized GNUmakefile.
144
282
  - Implement missing `change_list' feature.
145
283
 
146
- 2012-01-25 Yutaka Yanoh <yanoh@users.sourceforge.net>
284
+ Wed Jan 25 18:09:57 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
147
285
 
148
286
  * release.beta : 0.5.12
149
287
  - Fix abend problem when the `file_encoding' is "binary" or omitted
@@ -157,21 +295,21 @@
157
295
  contains Japanese characters.
158
296
  - Update the user's guide in English.
159
297
 
160
- 2012-01-20 Yutaka Yanoh <yanoh@users.sourceforge.net>
298
+ Fri Jan 20 11:22:38 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
161
299
 
162
300
  * release.beta : 0.5.11
163
301
  - Fix bad lexing problem when an escaped newline appears at the line
164
302
  above a preprocessing directive line.
165
303
  - Fix gcc profile to emulate the __builtin_va_* functions.
166
304
 
167
- 2012-01-19 Yutaka Yanoh <yanoh@users.sourceforge.net>
305
+ Thu Jan 19 18:36:36 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
168
306
 
169
307
  * release.beta : 0.5.10
170
308
  - Add i686-mingw-gcc_4.6.1 profile.
171
309
  - Fix abend problem of W0108 and W0580 detection when the initializer
172
310
  of the global variable definition contains indirection-expressions.
173
311
 
174
- 2012-01-17 Yutaka Yanoh <yanoh@users.sourceforge.net>
312
+ Tue Jan 17 16:24:09 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
175
313
 
176
314
  * release.beta : 0.5.9
177
315
  - Fix W0061 detection not to include newline characters in the
@@ -184,14 +322,14 @@
184
322
  - Update the user's guide in Japanese.
185
323
  - Update the user's guide in English.
186
324
 
187
- 2012-01-16 Yutaka Yanoh <yanoh@users.sourceforge.net>
325
+ Mon Jan 16 19:33:19 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
188
326
 
189
327
  * release.beta : 0.5.8
190
328
  - Fix message duplication problem after improving the memory usage on
191
329
  0.5.7 release.
192
330
  - Correct to run on Ruby 1.9.3-p0 without warnings.
193
331
 
194
- 2012-01-12 Yutaka Yanoh <yanoh@users.sourceforge.net>
332
+ Thu Jan 12 18:03:42 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
195
333
 
196
334
  * release.beta : 0.5.7
197
335
  - Improve the memory usage.
@@ -200,7 +338,7 @@
200
338
  call ends at the next line.
201
339
  - Update the user's guide in Japanese.
202
340
 
203
- 2012-01-06 Yutaka Yanoh <yanoh@users.sourceforge.net>
341
+ Fri Jan 6 20:46:13 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
204
342
 
205
343
  * release.beta : 0.5.6
206
344
  - Fix W0553 detection to warn about the explicit conversion between
@@ -219,7 +357,7 @@
219
357
  - Update the user's guide in Japanese.
220
358
  - Update the user's guide in English.
221
359
 
222
- 2011-12-22 Yutaka Yanoh <yanoh@users.sourceforge.net>
360
+ Thu Dec 22 18:59:36 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
223
361
 
224
362
  * release.beta : 0.5.5
225
363
  - Fix the interpreter not to perform the implicit conversion when it
@@ -228,7 +366,7 @@
228
366
  conversion is smaller than the source type.
229
367
  - Refine the message catalog for the locale `en_US'.
230
368
 
231
- 2011-12-20 Yutaka Yanoh <yanoh@users.sourceforge.net>
369
+ Tue Dec 20 17:35:30 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
232
370
 
233
371
  * release.beta : 0.5.4
234
372
  - Fix W0036 detection to check the total count of
@@ -249,7 +387,7 @@
249
387
  - Update the user's guide in Japanese.
250
388
  - Add the user's guide in English.
251
389
 
252
- 2011-12-16 Yutaka Yanoh <yanoh@users.sourceforge.net>
390
+ Fri Dec 16 16:00:59 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
253
391
 
254
392
  * release.beta : 0.5.3
255
393
  - Unify W0093 and W0094 detection into W0093.
@@ -259,7 +397,7 @@
259
397
  to analyze without overwriting result files when same basenames in
260
398
  the target source files.
261
399
 
262
- 2011-12-13 Yutaka Yanoh <yanoh@users.sourceforge.net>
400
+ Tue Dec 13 17:07:24 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
263
401
 
264
402
  * release.beta : 0.5.2
265
403
  - Improve adlintize command to automatically detect the message
@@ -274,7 +412,14 @@
274
412
  - Update the user's guide.
275
413
  - Refine the message catalog for the locale `en_US'.
276
414
 
277
- 2011-12-09 Yutaka Yanoh <yanoh@users.sourceforge.net>
415
+ Fri Dec 9 18:43:53 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
416
+
417
+ * release.beta : 0.5.1
418
+ - Fix bad macro expansion problem of the function-like macro whose
419
+ replacement-list contains the token sequence consists of the
420
+ parameter followed by ## operator.
421
+
422
+ Fri Dec 9 16:09:00 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
278
423
 
279
424
  * release.beta : 0.5.0
280
425
  - This is the initial beta release for system tests and various
@@ -313,12 +458,8 @@
313
458
  - Add W1032 detection.
314
459
  - Add W1034 detection.
315
460
  - Add W0810 detection.
316
- * release.beta : 0.5.1
317
- - Fix bad macro expansion problem of the function-like macro whose
318
- replacement-list contains the token sequence consists of the
319
- parameter followed by ## operator.
320
461
 
321
- 2011-12-06 Yutaka Yanoh <yanoh@users.sourceforge.net>
462
+ Tue Dec 6 15:16:22 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
322
463
 
323
464
  * release.alpha : 0.4.11
324
465
  - Fix W0656 detection to warn when the conversion specifier
@@ -354,7 +495,7 @@
354
495
  - Add W0827 detection.
355
496
  - Add W0828 detection.
356
497
 
357
- 2011-12-01 Yutaka Yanoh <yanoh@users.sourceforge.net>
498
+ Thu Dec 1 18:52:57 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
358
499
 
359
500
  * release.alpha : 0.4.10
360
501
  - Rewrite the incomplete printf/scanf format analysis to comply with
@@ -401,7 +542,7 @@
401
542
  - Fix incomplete W0684 detection to comply with the ISO C99.
402
543
  - Add the message catalog for the locale `en_US'.
403
544
 
404
- 2011-11-18 Yutaka Yanoh <yanoh@users.sourceforge.net>
545
+ Fri Nov 18 19:12:34 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
405
546
 
406
547
  * release.alpha : 0.4.9
407
548
  - Improve interpretation of iteration-statements to manage the value
@@ -428,7 +569,7 @@
428
569
  - Add W0705 detection.
429
570
  - Add W0745 detection.
430
571
 
431
- 2011-11-16 Yutaka Yanoh <yanoh@users.sourceforge.net>
572
+ Wed Nov 16 20:37:38 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
432
573
 
433
574
  * release.alpha : 0.4.8
434
575
  - Fix abend problem of evaluating the conditional-expression whose
@@ -461,7 +602,7 @@
461
602
  - Fix abend problem of evaluating the function definition which has
462
603
  unnamed parameter which type is a user type.
463
604
 
464
- 2011-11-14 Yutaka Yanoh <yanoh@users.sourceforge.net>
605
+ Mon Nov 14 19:59:57 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
465
606
 
466
607
  * release.alpha : 0.4.7
467
608
  - Add W1050 detection.
@@ -470,7 +611,7 @@
470
611
  definition.
471
612
  - Fix bad value domain narrowing problem after 0.4.5 release.
472
613
 
473
- 2011-11-11 Yutaka Yanoh <yanoh@users.sourceforge.net>
614
+ Fri Nov 11 20:06:19 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
474
615
 
475
616
  * release.alpha : 0.4.6
476
617
  - Add W0611 detection.
@@ -481,7 +622,7 @@
481
622
  - Improve the variable value version management to reduce the height
482
623
  of the version tree.
483
624
 
484
- 2011-11-04 Yutaka Yanoh <yanoh@users.sourceforge.net>
625
+ Fri Nov 4 18:45:16 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
485
626
 
486
627
  * release.alpha : 0.4.5
487
628
  - Add W0627 detection.
@@ -497,7 +638,7 @@
497
638
  - Add W0609 detection.
498
639
  - Add W0610 detection.
499
640
 
500
- 2011-10-31 Yutaka Yanoh <yanoh@users.sourceforge.net>
641
+ Mon Oct 31 18:56:14 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
501
642
 
502
643
  * release.alpha : 0.4.4
503
644
  - Fix abend problem of parsing the function definition whose
@@ -510,7 +651,7 @@
510
651
  - Activate `file_encoding' setting in the `project_traits' section
511
652
  of the traits file.
512
653
 
513
- 2011-10-26 Yutaka Yanoh <yanoh@users.sourceforge.net>
654
+ Wed Oct 26 22:06:55 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
514
655
 
515
656
  * release.alpha : 0.4.3
516
657
  - Fix W0077 detection to warn when the constant is a decimal integer.
@@ -535,7 +676,7 @@
535
676
  - Fix bad character encoding of console and file output on Windows.
536
677
  - Add W0578 detection.
537
678
 
538
- 2011-10-19 Yutaka Yanoh <yanoh@users.sourceforge.net>
679
+ Wed Oct 19 17:47:16 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
539
680
 
540
681
  * release.alpha : 0.4.2
541
682
  - Fix degraded W0043 detection.
@@ -550,11 +691,11 @@
550
691
  the function body is from the line of the function name to the
551
692
  line of `}' token which ends the definition.
552
693
  - Rewrite buggy FN_PATH (the number of estimated static paths per
553
- function) computation.
694
+ function) measurement.
554
695
  - Add W0576 detection.
555
696
  - Add W0577 detection.
556
697
 
557
- 2011-10-13 Yutaka Yanoh <yanoh@users.sourceforge.net>
698
+ Thu Oct 13 19:53:19 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
558
699
 
559
700
  * release.alpha : 0.4.1
560
701
  - Add W0567 detection.
@@ -568,7 +709,7 @@
568
709
  - Add W0574 detection.
569
710
  - Add W0575 detection.
570
711
 
571
- 2011-10-11 Yutaka Yanoh <yanoh@users.sourceforge.net>
712
+ Tue Oct 11 16:28:46 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
572
713
 
573
714
  * release.alpha : 0.4.0
574
715
  - Fix W0035 detection to warn when the type of right-hand-side
@@ -581,7 +722,7 @@
581
722
  - Fix W0566 detection to warn only when one of operands of the
582
723
  cast-expression has type of the function pointer.
583
724
 
584
- 2011-10-07 Yutaka Yanoh <yanoh@users.sourceforge.net>
725
+ Thu Oct 6 16:10:37 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
585
726
 
586
727
  * release.alpha : 0.3.4
587
728
  - Fix branch condition ensuring mechanism to suppress warnings about
@@ -610,7 +751,7 @@
610
751
  - Fix W0549 detection not to warn when the parameter is an operand
611
752
  of `#' or `##' operator.
612
753
 
613
- 2011-10-04 Yutaka Yanoh <yanoh@users.sourceforge.net>
754
+ Tue Oct 4 17:30:33 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
614
755
 
615
756
  * release.alpha : 0.3.3
616
757
  - Fix bad value domain reduction problem after improving the
@@ -628,7 +769,7 @@
628
769
  - Add W0554 detection.
629
770
  - Add W0556 detection.
630
771
 
631
- 2011-09-30 Yutaka Yanoh <yanoh@users.sourceforge.net>
772
+ Fri Sep 30 15:36:31 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
632
773
 
633
774
  * release.alpha : 0.3.2
634
775
  - Add W0534 detection.
@@ -640,14 +781,14 @@
640
781
  - Add W0540 detection.
641
782
  - Fix W0105 detection not to warn about function-pointers.
642
783
 
643
- 2011-09-22 Yutaka Yanoh <yanoh@users.sourceforge.net>
784
+ Tue Sep 27 11:40:10 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
644
785
 
645
786
  * release.alpha : 0.3.1
646
787
  - Improve the interpreter to support the fall-through semantics of
647
788
  switch-statements.
648
789
  - Change short version of the `--verbose' option to `-v'.
649
790
 
650
- 2011-09-06 Yutaka Yanoh <yanoh@users.sourceforge.net>
791
+ Tue Sep 6 16:59:02 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
651
792
 
652
793
  * release.alpha : 0.3.0
653
794
  - Merge 3 traits files into single traits file.
@@ -655,7 +796,7 @@
655
796
  - Improve `adlintize' command to generate list-file, unix sh script
656
797
  and mswin bat file.
657
798
 
658
- 2011-09-01 Yutaka Yanoh <yanoh@users.sourceforge.net>
799
+ Thu Sep 1 11:17:34 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
659
800
 
660
801
  * release.alpha : 0.2.5
661
802
  - Add W0489 detection.
@@ -667,7 +808,7 @@
667
808
  interpreter when the switch-statement is labeled by `default:' of
668
809
  the outer switch-statement.
669
810
 
670
- 2011-08-23 Yutaka Yanoh <yanoh@users.sourceforge.net>
811
+ Tue Aug 23 16:07:49 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
671
812
 
672
813
  * release.alpha : 0.2.4
673
814
  - Fix W0458 detection to warn when type-specifiers in the parameter
@@ -689,7 +830,7 @@
689
830
  right-hand-side without side effect in the initializer.
690
831
  - Add W0488 detection.
691
832
 
692
- 2011-08-16 Yutaka Yanoh <yanoh@users.sourceforge.net>
833
+ Tue Aug 16 15:08:56 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
693
834
 
694
835
  * release.alpha : 0.2.3
695
836
  - Fix abend problem when a bitfield base type is not an `int'.
@@ -704,7 +845,7 @@
704
845
  - Add W0463 detection.
705
846
  - Add W0464 detection.
706
847
 
707
- 2011-08-12 Yutaka Yanoh <yanoh@users.sourceforge.net>
848
+ Fri Aug 12 13:56:55 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
708
849
 
709
850
  * release.alpha : 0.2.2
710
851
  - Correct to run on Ruby 1.9.3-preview1 without warnings.
@@ -727,13 +868,13 @@
727
868
  - Fix huge memory consumption problem in instantiation of huge
728
869
  variable length array type.
729
870
 
730
- 2011-07-29 Yutaka Yanoh <yanoh@users.sourceforge.net>
871
+ Fri Jul 29 19:04:49 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
731
872
 
732
873
  * release.alpha : 0.2.1
733
874
  - Fix huge memory consumption problem in value-domain management.
734
875
  - Fix argument substitution bug of function-like macros.
735
876
 
736
- 2011-07-26 Yutaka Yanoh <yanoh@users.sourceforge.net>
877
+ Tue Jul 26 17:38:17 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
737
878
 
738
879
  * release.alpha : 0.2.0
739
880
  - Add W9001 detection.
@@ -750,9 +891,10 @@
750
891
  - Support #include_next directive of the GNU GCC extension.
751
892
  - Rewrite the interpreter to support the value-domain management to
752
893
  improve the accuracy of the dead code detection.
753
- - Fix cyclomatic complexity computation problem of if-else statement.
894
+ - Fix bad cyclomatic complexity measurement problem of if-else
895
+ statement.
754
896
 
755
- 2011-05-16 Yutaka Yanoh <yanoh@users.sourceforge.net>
897
+ Tue May 17 13:37:17 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
756
898
 
757
899
  * release.alpha : 0.1.6
758
900
  - Change preprocessed source file name `*.c.i' to `*.i'.
@@ -779,20 +921,25 @@
779
921
  - Add W0530 detection.
780
922
  - Fix problem of using `-d' option with adlint command.
781
923
 
782
- 2011-05-06 Yutaka Yanoh <yanoh@users.sourceforge.net>
924
+ Fri May 6 15:04:33 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
783
925
 
784
926
  * release.alpha : 0.1.5
785
- - Fix problem in FN_CALL computation.
927
+ - Fix problem in FN_CALL measurement.
786
928
  - Add location of the function-definition in function metric record.
787
929
 
788
- 2011-05-02 Yutaka Yanoh <yanoh@users.sourceforge.net>
930
+ Mon May 2 15:26:45 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
789
931
 
790
932
  * release.alpha : 0.1.4
791
933
  - Revise compiler traits file format.
792
934
  - Add W0525 detection.
793
935
  - Fix inconsistent function call-graph problem in W0555 detection.
794
936
 
795
- 2011-04-27 Yutaka Yanoh <yanoh@users.sourceforge.net>
937
+ Wed Apr 27 16:13:23 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
938
+
939
+ * release.alpha : 0.1.3
940
+ - Fix bad message catalog entries.
941
+
942
+ Wed Apr 27 12:43:13 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
796
943
 
797
944
  * release.alpha : 0.1.2
798
945
  - Fix problems about detection of void-function call in logical
@@ -800,17 +947,15 @@
800
947
  - Support separated project tree and Makefile generation.
801
948
  - Fix problems about generic labeled statement in switch statement.
802
949
  - Implement value-narrowing after the error check path termination.
803
- * release.alpha : 0.1.3
804
- - Fix bad message catalog entries.
805
950
 
806
- 2011-04-18 Yutaka Yanoh <yanoh@users.sourceforge.net>
951
+ Mon Apr 18 10:13:37 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
807
952
 
808
953
  * release.alpha : 0.1.1
809
954
  - Improve performance of the preprocessor.
810
955
  - Fix problems about implicit conversion detections.
811
956
  - Fix problems about nested composite type instantiations.
812
957
 
813
- 2011-04-12 Yutaka Yanoh <yanoh@users.sourceforge.net>
958
+ Wed Apr 13 10:09:52 2011 Yutaka Yanoh <yanoh@users.sourceforge.net>
814
959
 
815
960
  * release.alpha : 0.1.0
816
961
  - This is the initial alpha release for system tests.
data/MANIFEST CHANGED
@@ -53,6 +53,7 @@ lib/adlint/c/phase.rb
53
53
  lib/adlint/c/resolver.rb
54
54
  lib/adlint/c/scanner.rb
55
55
  lib/adlint/c/scope.rb
56
+ lib/adlint/c/seqp.rb
56
57
  lib/adlint/c/syntax.rb
57
58
  lib/adlint/c/type.rb
58
59
  lib/adlint/c/util.rb
@@ -66,6 +67,7 @@ lib/adlint/cpp/eval.rb
66
67
  lib/adlint/cpp/lexer.rb
67
68
  lib/adlint/cpp/macro.rb
68
69
  lib/adlint/cpp/message.rb
70
+ lib/adlint/cpp/message_shima.rb
69
71
  lib/adlint/cpp/phase.rb
70
72
  lib/adlint/cpp/scanner.rb
71
73
  lib/adlint/cpp/source.rb
@@ -109,6 +111,7 @@ share/demo/bad_const/bad_const.c
109
111
  share/demo/bad_conv/bad_conv.c
110
112
  share/demo/bad_indent/bad_indent.c
111
113
  share/demo/bad_init/bad_init.c
114
+ share/demo/bad_line/bad_line.c
112
115
  share/demo/bad_macro/bad_macro.c
113
116
  share/demo/bitwise_expr/bitwise_expr.c
114
117
  share/demo/call_by_value/call_by_value.c
@@ -175,6 +178,7 @@ share/demo/output_by_param/output_by_param.c
175
178
  share/demo/overflow/overflow.c
176
179
  share/demo/press_release/press_release.c
177
180
  share/demo/retn_lvar_addr/retn_lvar_addr.c
181
+ share/demo/sequence_point/sequence_point.c
178
182
  share/demo/shift_expr/shift_expr.c
179
183
  share/demo/should_be_typedef/should_be_typedef.c
180
184
  share/demo/static_paths/static_paths.c