adlint 1.0.0 → 1.2.0
Sign up to get free protection for your applications and to get access to all the features.
- data/AUTHORS +3 -2
- data/ChangeLog +208 -63
- data/MANIFEST +4 -0
- data/NEWS +24 -5
- data/etc/conf.d/fallback/traits.erb +1 -1
- data/etc/conf.d/i686-cygwin/traits-gcc_4.3.4.erb +1 -1
- data/etc/conf.d/i686-devkit/traits-gcc_4.5.2.erb +1 -1
- data/etc/conf.d/i686-linux/traits-gcc_4.5.1.erb +1 -1
- data/etc/conf.d/i686-mingw/traits-gcc_4.6.1.erb +1 -1
- data/etc/mesg.d/en_US/messages.yml +3 -3
- data/etc/mesg.d/ja_JP/messages.yml +4 -4
- data/lib/adlint/c/builtin.rb +3 -3
- data/lib/adlint/c/ctrlexpr.rb +7 -11
- data/lib/adlint/c/expr.rb +548 -363
- data/lib/adlint/c/interp.rb +233 -525
- data/lib/adlint/c/mediator.rb +1 -0
- data/lib/adlint/c/message.rb +144 -1
- data/lib/adlint/c/object.rb +15 -6
- data/lib/adlint/c/parser.rb +170 -128
- data/lib/adlint/c/parser.y +36 -0
- data/lib/adlint/c/phase.rb +4 -0
- data/lib/adlint/c/seqp.rb +72 -0
- data/lib/adlint/c/syntax.rb +254 -3
- data/lib/adlint/c.rb +1 -0
- data/lib/adlint/cpp/code.rb +2 -2
- data/lib/adlint/cpp/eval.rb +29 -13
- data/lib/adlint/cpp/message.rb +71 -70
- data/lib/adlint/cpp/message_shima.rb +100 -0
- data/lib/adlint/cpp/phase.rb +4 -0
- data/lib/adlint/cpp/syntax.rb +5 -1
- data/lib/adlint/cpp.rb +1 -0
- data/lib/adlint/message.rb +6 -3
- data/lib/adlint/traits.rb +1 -1
- data/lib/adlint/version.rb +5 -5
- data/share/demo/Makefile +3 -1
- data/share/demo/bad_line/bad_line.c +27 -0
- data/share/demo/sequence_point/sequence_point.c +31 -0
- data/share/doc/adlint_on_vim_en.png +0 -0
- data/share/doc/adlint_on_vim_ja.png +0 -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 +3118 -41
- data/share/doc/users_guide_en.texi +3090 -37
- data/share/doc/users_guide_ja.html +3120 -47
- data/share/doc/users_guide_ja.texi +3106 -65
- data/share/sample/ctags-5.8/adlint/GNUmakefile +13 -1
- data/share/sample/ctags-5.8/adlint/adlint_cinit.h +14 -2
- data/share/sample/ctags-5.8/adlint/adlint_pinit.h +14 -4
- data/share/sample/ctags-5.8/adlint/adlint_traits.yml +14 -1
- data/share/sample/flex-2.5.35/adlint/GNUmakefile +13 -1
- data/share/sample/flex-2.5.35/adlint/adlint_cinit.h +14 -2
- data/share/sample/flex-2.5.35/adlint/adlint_pinit.h +14 -4
- data/share/sample/flex-2.5.35/adlint/adlint_traits.yml +14 -1
- 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>
|
27
|
-
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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)
|
694
|
+
function) measurement.
|
554
695
|
- Add W0576 detection.
|
555
696
|
- Add W0577 detection.
|
556
697
|
|
557
|
-
2011
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
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
|
894
|
+
- Fix bad cyclomatic complexity measurement problem of if-else
|
895
|
+
statement.
|
754
896
|
|
755
|
-
2011
|
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
|
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
|
927
|
+
- Fix problem in FN_CALL measurement.
|
786
928
|
- Add location of the function-definition in function metric record.
|
787
929
|
|
788
|
-
2011
|
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
|
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
|
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
|
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
|