adlint 1.0.0 → 1.2.0

Sign up to get free protection for your applications and to get access to all the features.
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