adlint 1.16.0 → 1.18.0
Sign up to get free protection for your applications and to get access to all the features.
- data/ChangeLog +471 -0
- data/MANIFEST +35 -8
- data/NEWS +50 -4
- data/bin/adlint +7 -7
- data/bin/adlint_chk +7 -7
- data/bin/adlint_cma +7 -7
- data/bin/adlint_sma +7 -7
- data/bin/adlintize +5 -5
- data/etc/mesg.d/en_US/messages.yml +3 -3
- data/etc/mesg.d/ja_JP/messages.yml +3 -3
- data/features/message_detection/E0013.feature +34 -0
- data/features/message_detection/W0007.feature +2 -0
- data/features/message_detection/W0583.feature +1 -2
- data/features/message_detection/W0641.feature +132 -0
- data/features/message_detection/W0643.feature +1 -1
- data/features/message_detection/W0644.feature +529 -0
- data/features/message_detection/W0645.feature +1 -1
- data/features/message_detection/W0649.feature +277 -0
- data/features/message_detection/W0650.feature +208 -0
- data/features/message_detection/W0697.feature +6 -0
- data/features/message_detection/W0705.feature +350 -0
- data/features/message_detection/W0707.feature +223 -0
- data/features/message_detection/W0711.feature +113 -0
- data/features/message_detection/W0712.feature +113 -0
- data/features/message_detection/W0713.feature +110 -0
- data/features/message_detection/W0714.feature +118 -0
- data/features/message_detection/W0715.feature +118 -0
- data/features/message_detection/W0716.feature +1 -0
- data/features/message_detection/W0717.feature +1 -0
- data/features/message_detection/W0718.feature +1 -0
- data/features/message_detection/W0719.feature +154 -0
- data/features/message_detection/W0723.feature +1 -2
- data/features/message_detection/W0732.feature +3 -0
- data/features/message_detection/W0733.feature +3 -0
- data/features/message_detection/W0734.feature +4 -0
- data/features/message_detection/W0735.feature +4 -0
- data/features/message_detection/W0745.feature +132 -0
- data/features/message_detection/W0780.feature +68 -0
- data/features/message_detection/W0783.feature +95 -0
- data/features/message_detection/W0792.feature +124 -0
- data/features/message_detection/W0793.feature +153 -0
- data/features/message_detection/W0794.feature +90 -0
- data/features/message_detection/W0830.feature +65 -0
- data/features/message_detection/W0833.feature +220 -0
- data/features/message_detection/W0834.feature +189 -0
- data/features/message_detection/W1026.feature +105 -0
- data/features/message_detection/W1031.feature +17 -34
- data/features/message_detection/W1039.feature +268 -0
- data/features/message_detection/W1047.feature +163 -0
- data/features/message_detection/W1066.feature +1 -0
- data/features/message_detection/W1067.feature +1 -0
- data/features/message_detection/W1068.feature +1 -0
- data/features/message_detection/W1069.feature +5 -0
- data/features/message_detection/W1070.feature +5 -0
- data/features/message_detection/W1071.feature +83 -0
- data/features/message_detection/W1073.feature +3 -2
- data/features/message_detection/W9003.feature +7 -12
- data/features/step_definitions/message_detection_steps.rb +4 -31
- data/features/support/env.rb +117 -2
- data/lib/adlint/c/branch.rb +0 -2
- data/lib/adlint/c/ctrlexpr.rb +33 -0
- data/lib/adlint/c/expr.rb +119 -31
- data/lib/adlint/c/interp.rb +44 -3
- data/lib/adlint/c/message.rb +1411 -29
- data/lib/adlint/c/object.rb +16 -2
- data/lib/adlint/c/option.rb +1 -0
- data/lib/adlint/c/parser.rb +101 -100
- data/lib/adlint/c/parser.y +3 -2
- data/lib/adlint/c/phase.rb +18 -0
- data/lib/adlint/c/resolver.rb +23 -0
- data/lib/adlint/c/syntax.rb +90 -4
- data/lib/adlint/c/type.rb +177 -110
- data/lib/adlint/cpp/macro.rb +4 -4
- data/lib/adlint/version.rb +2 -2
- data/share/demo/bad_include/test/"1/".h +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 +467 -506
- data/share/doc/users_guide_en.texi +95 -125
- data/share/doc/users_guide_ja.html +471 -518
- data/share/doc/users_guide_ja.texi +95 -133
- data/spec/spec_helper.rb +6 -0
- metadata +37 -10
data/ChangeLog
CHANGED
@@ -1,3 +1,474 @@
|
|
1
|
+
Wed Aug 1 09:39:53 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
2
|
+
|
3
|
+
* release.ga : 1.18.0
|
4
|
+
- Add W0641 detection.
|
5
|
+
- Add W0644 detection.
|
6
|
+
- Add W0649 detection.
|
7
|
+
- Add W0650 detection.
|
8
|
+
- Add W0707 detection.
|
9
|
+
- Add W0719 detection.
|
10
|
+
- Add W0780 detection.
|
11
|
+
- Add W0783 detection.
|
12
|
+
- Add W0792 detection.
|
13
|
+
- Add W0793 detection.
|
14
|
+
- Add W0794 detection.
|
15
|
+
- Add W0830 detection.
|
16
|
+
- Add W0833 detection.
|
17
|
+
- Add W0834 detection.
|
18
|
+
- Add W1026 detection.
|
19
|
+
- Add W1039 detection.
|
20
|
+
- Add W1047 detection.
|
21
|
+
- Add W1071 detection.
|
22
|
+
- Fix W0459 detection to output outermost variable name when the
|
23
|
+
uninitialized variable is an array element or a member of struct or
|
24
|
+
union.
|
25
|
+
- Fix W0705 and W0745 detections to warn about not only
|
26
|
+
array-subscript-expressions but also indirection-expressions only
|
27
|
+
when the subscript is constant.
|
28
|
+
- Revise expression evaluation not to give up when a operand is typed
|
29
|
+
as `void'.
|
30
|
+
- Revise arithmetic type resolution not to abort when one type is
|
31
|
+
`void'.
|
32
|
+
- Fix declarator evaluation in order to construct a function object
|
33
|
+
which returns a function pointer correctly when the
|
34
|
+
function-definition written without typedefed function pointer.
|
35
|
+
- Implement missing semantics of union object initialization.
|
36
|
+
- Revise function-like macro replacement in order to evaluate `#'
|
37
|
+
operator makes an empty string-literal when the parameter
|
38
|
+
corresponding to the operand has no argument.
|
39
|
+
- Fix bad sequence-point timing of logical-and-expression and
|
40
|
+
logical-or-expression.
|
41
|
+
- Add extra notification of variable value reference in evaluation of
|
42
|
+
cast-expression in order not to misunderstand that a return value
|
43
|
+
of a function is discarded when the return value is casted before
|
44
|
+
assigning to a variable.
|
45
|
+
- Fix evaluation of prefix-increment-expression and
|
46
|
+
prefix-decrement-expression to make rvalue of the new incremented
|
47
|
+
or decremented value in order to comply with the ISO C99 standard.
|
48
|
+
|
49
|
+
Tue Jul 31 17:14:53 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
50
|
+
|
51
|
+
* spec/spec_helper.rb : Add `simplecov' support.
|
52
|
+
* features/support/env.rb : Ditto.
|
53
|
+
* features/step_definitions/message_detection_steps.rb : Ditto.
|
54
|
+
|
55
|
+
Tue Jul 31 15:35:42 2012 Rie Shima <rkakuuchi@users.sourceforge.net>
|
56
|
+
|
57
|
+
* features/message_detection/W0711.feature : Add W0711 functional
|
58
|
+
specification.
|
59
|
+
* features/message_detection/W0712.feature : Add W0712 functional
|
60
|
+
specification.
|
61
|
+
* features/message_detection/W0713.feature : Add W0713 functional
|
62
|
+
specification.
|
63
|
+
* features/message_detection/W0714.feature : Add W0714 functional
|
64
|
+
specification.
|
65
|
+
* features/message_detection/W0715.feature : Add W0715 functional
|
66
|
+
specification.
|
67
|
+
* MANIFEST : Add W0711, W0712, W0713, W0714 and W0700 functional
|
68
|
+
specifications.
|
69
|
+
|
70
|
+
Tue Jul 31 13:16:28 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
71
|
+
|
72
|
+
* release.rc : 1.17.3
|
73
|
+
- Fix W0719 detection to warn only when the rhs operand of a
|
74
|
+
shift-expression is greater than or equal to the bit length of
|
75
|
+
underlying type of the lhs operand and less than the bit length of
|
76
|
+
integer-promoted type of the lhs operand.
|
77
|
+
- Revise W1039 detection to output multiple warnings when the format
|
78
|
+
contains multiple `ll' length-modifiers.
|
79
|
+
|
80
|
+
Tue Jul 31 13:09:00 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
81
|
+
|
82
|
+
* features/message_detection/W1039.feature : Add W1039 functional
|
83
|
+
specification of mutiple warnings at a line.
|
84
|
+
|
85
|
+
* etc/mesg.d/ja_JP/messages.yml : Revise W1039 message text.
|
86
|
+
* etc/mesg.d/en_US/messages.yml : Ditto.
|
87
|
+
* share/doc/users_guide_ja.texi : Ditto.
|
88
|
+
* share/doc/users_guide_en.texi : Ditto.
|
89
|
+
|
90
|
+
* lib/adlint/c/message.rb : Revise W1039 detection to output multiple
|
91
|
+
warnings when the format contains multiple `ll' length-modifiers.
|
92
|
+
|
93
|
+
Tue Jul 31 11:45:07 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
94
|
+
|
95
|
+
* features/message_detection/W0719.feature : Add W0719 functional
|
96
|
+
specification to reproduce a known bug.
|
97
|
+
|
98
|
+
* lib/adlint/c/message.rb : Fix W0719 detection to warn only when the
|
99
|
+
rhs operand of a shift-expression is greater than or equal to the bit
|
100
|
+
length of underlying type of the lhs operand and less than the bit
|
101
|
+
length of integer-promoted type of the lhs operand.
|
102
|
+
|
103
|
+
Mon Jul 30 16:37:33 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
104
|
+
|
105
|
+
* release.rc : 1.17.2
|
106
|
+
- Fix W0705 and W0745 detections not to cause extra side-effects in
|
107
|
+
evaluation of the subscript expression.
|
108
|
+
- Fix abend problem when a conditional-expression appears in an array
|
109
|
+
subscript of array-subscript-expressions or
|
110
|
+
indirection-expressions.
|
111
|
+
- Fix evaluation of prefix-increment-expression and
|
112
|
+
prefix-decrement-expression to make rvalue of the new incremented
|
113
|
+
or decremented value in order to comply with the ISO C99 standard.
|
114
|
+
|
115
|
+
Mon Jul 30 16:25:08 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
116
|
+
|
117
|
+
* share/doc/users_guide_ja.texi : Update descriptions about W0641,
|
118
|
+
W0644, W0649, W0650, W0707, W0719, W0780, W0783, W0792, W0793, W0794,
|
119
|
+
W0830, W0833, W0834, W1026, W1039, W1047 and W1071 messages.
|
120
|
+
* share/doc/users_guide_en.texi : Ditto.
|
121
|
+
|
122
|
+
Mon Jul 30 15:39:38 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
123
|
+
|
124
|
+
* lib/adlint/c/expr.rb : Fix evaluation of prefix-increment-expression
|
125
|
+
and prefix-decrement-expression to make rvalue of the new incremented
|
126
|
+
or decremented value in order to comply with the ISO C99 standard.
|
127
|
+
|
128
|
+
Mon Jul 30 14:44:44 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
129
|
+
|
130
|
+
* lib/adlint/c/message.rb : Fix abend problem when a
|
131
|
+
conditional-expression appears in an array subscript of
|
132
|
+
array-subscript-expressions or indirection-expressions.
|
133
|
+
|
134
|
+
Mon Jul 30 11:57:47 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
135
|
+
|
136
|
+
* features/message_detection/W0705.feature : Add W0705 functional
|
137
|
+
specification to reproduce a known bug.
|
138
|
+
|
139
|
+
* lib/adlint/c/interp.rb : Add new interpretation mode to evaluate an
|
140
|
+
expression quietly without any side-effects.
|
141
|
+
* lib/adlint/c/branch.rb : Ditto.
|
142
|
+
* lib/adlint/c/option.rb : Ditto.
|
143
|
+
|
144
|
+
* lib/adlint/c/message.rb : Fix W0705 and W0745 detections not to cause
|
145
|
+
extra side-effects in evaluation of the subscript expression.
|
146
|
+
|
147
|
+
Fri Jul 27 17:31:53 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
148
|
+
|
149
|
+
* release.rc : 1.17.1
|
150
|
+
- Add W0707 detection.
|
151
|
+
- Fix W0705 and W0745 detections to warn about not only
|
152
|
+
array-subscript-expressions but also indirection-expressions only
|
153
|
+
when the subscript is constant.
|
154
|
+
|
155
|
+
Fri Jul 27 16:22:15 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
156
|
+
|
157
|
+
* features/message_detection/W0705.feature : Add W0705 functional
|
158
|
+
specification.
|
159
|
+
* MANIFEST : Ditto.
|
160
|
+
|
161
|
+
* features/message_detection/W0745.feature : Add W0745 functional
|
162
|
+
specification.
|
163
|
+
* MANIFEST : Ditto.
|
164
|
+
|
165
|
+
* lib/adlint/c/message.rb : Fix W0705 and W0745 detections to warn
|
166
|
+
about not only array-subscript-expressions but also
|
167
|
+
indirection-expressions only when the subscript is constant.
|
168
|
+
|
169
|
+
Fri Jul 27 14:24:38 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
170
|
+
|
171
|
+
* features/message_detection/W0707.feature : Add W0707 functional
|
172
|
+
specification.
|
173
|
+
* MANIFEST : Ditto.
|
174
|
+
|
175
|
+
* lib/adlint/c/message.rb : Add W0707 detection.
|
176
|
+
* lib/adlint/c/phase.rb : Ditto.
|
177
|
+
|
178
|
+
Fri Jul 27 10:23:38 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
179
|
+
|
180
|
+
* release.rc : 1.17.0
|
181
|
+
- This is the initial release candidate for 1.18.0 GA release.
|
182
|
+
- Add W0641 detection.
|
183
|
+
- Add W0644 detection.
|
184
|
+
- Add W0649 detection.
|
185
|
+
- Add W0650 detection.
|
186
|
+
- Add W0719 detection.
|
187
|
+
- Add W0780 detection.
|
188
|
+
- Add W0783 detection.
|
189
|
+
- Add W0792 detection.
|
190
|
+
- Add W0793 detection.
|
191
|
+
- Add W0794 detection.
|
192
|
+
- Add W0830 detection.
|
193
|
+
- Add W0833 detection.
|
194
|
+
- Add W0834 detection.
|
195
|
+
- Add W1026 detection.
|
196
|
+
- Add W1039 detection.
|
197
|
+
- Add W1047 detection.
|
198
|
+
- Add W1071 detection.
|
199
|
+
- Fix W0459 detection to output outermost variable name when the
|
200
|
+
uninitialized variable is an array element or a member of struct or
|
201
|
+
union.
|
202
|
+
- Revise expression evaluation not to give up when a operand is typed
|
203
|
+
as `void'.
|
204
|
+
- Revise arithmetic type resolution not to abort when one type is
|
205
|
+
`void'.
|
206
|
+
- Fix declarator evaluation in order to construct a function object
|
207
|
+
which returns a function pointer correctly when the
|
208
|
+
function-definition written without typedefed function pointer.
|
209
|
+
- Implement missing semantics of union object initialization.
|
210
|
+
- Revise function-like macro replacement in order to evaluate `#'
|
211
|
+
operator makes an empty string-literal when the parameter
|
212
|
+
corresponding to the operand has no argument.
|
213
|
+
- Fix bad sequence-point timing of logical-and-expression and
|
214
|
+
logical-or-expression.
|
215
|
+
- Add extra notification of variable value reference in evaluation of
|
216
|
+
cast-expression in order not to misunderstand that a return value
|
217
|
+
of a function is discarded when the return value is casted before
|
218
|
+
assigning to a variable.
|
219
|
+
|
220
|
+
Thu Jul 26 17:53:31 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
221
|
+
|
222
|
+
* lib/adlint/c/ctrlexpr.rb : Add missing sequence-point notification
|
223
|
+
between lhs and rhs evaluation of logical-and-expression and
|
224
|
+
logical-or-expression in the controlling expression.
|
225
|
+
|
226
|
+
Thu Jul 26 16:43:07 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
227
|
+
|
228
|
+
* lib/adlint/c/expr.rb : Add extra notification of variable value
|
229
|
+
reference in evaluation of cast-expression in order not to
|
230
|
+
misunderstand that a return value of a function is discarded when the
|
231
|
+
return value is casted before assigning to a variable.
|
232
|
+
|
233
|
+
Thu Jul 26 15:36:23 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
234
|
+
|
235
|
+
* lib/adlint/c/object.rb : Add Variable#inner? predicate method for
|
236
|
+
refactoring.
|
237
|
+
* lib/adlint/c/message.rb : Ditto.
|
238
|
+
* lib/adlint/c/expr.rb : Ditto.
|
239
|
+
|
240
|
+
Thu Jul 26 15:25:09 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
241
|
+
|
242
|
+
* lib/adlint/c/expr.rb : Fix bad sequence-point timing of
|
243
|
+
logical-and-expression and logical-or-expression.
|
244
|
+
* lib/adlint/c/syntax.rb : Ditto.
|
245
|
+
|
246
|
+
Thu Jul 26 15:15:04 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
247
|
+
|
248
|
+
* lib/adlint/c/message.rb : Fix W0459 detection to output outermost
|
249
|
+
variable name when the uninitialized variable is an array element or
|
250
|
+
a member of struct or union.
|
251
|
+
|
252
|
+
Thu Jul 26 11:05:49 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
253
|
+
|
254
|
+
* lib/adlint/cpp/macro.rb : Revise `#' operator evaluation in order to
|
255
|
+
support " and \ character escape.
|
256
|
+
|
257
|
+
Wed Jul 25 17:15:45 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
258
|
+
|
259
|
+
* lib/adlint/cpp/macro.rb : Revise function-like macro replacement in
|
260
|
+
order to evaluate `#' operator makes an empty string-literal when the
|
261
|
+
parameter corresponding to the operand has no argument.
|
262
|
+
|
263
|
+
Wed Jul 25 17:14:46 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
264
|
+
|
265
|
+
* lib/adlint/c/type.rb : Fix function type completeness determination
|
266
|
+
not to consider a type of function whose return type or parameter
|
267
|
+
types contain `void' as the incomplete type.
|
268
|
+
|
269
|
+
Wed Jul 25 17:13:11 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
270
|
+
|
271
|
+
* features/message_detection/W0783.feature : Add W0783 functional
|
272
|
+
specification.
|
273
|
+
* MANIFEST : Ditto.
|
274
|
+
|
275
|
+
* lib/adlint/c/message.rb : Add W0783 detection.
|
276
|
+
* lib/adlint/c/phase.rb : Ditto.
|
277
|
+
|
278
|
+
Wed Jul 25 14:51:19 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
279
|
+
|
280
|
+
* features/message_detection/W0830.feature : Add W0830 functional
|
281
|
+
specification.
|
282
|
+
* MANIFEST : Ditto.
|
283
|
+
|
284
|
+
* lib/adlint/c/syntax.rb : Add trailing comma field to enum-specifier
|
285
|
+
node of the C AST.
|
286
|
+
* lib/adlint/c/parser.y : Ditto.
|
287
|
+
|
288
|
+
* lib/adlint/c/message.rb : Add W0830 detection.
|
289
|
+
* lib/adlint/c/phase.rb : Ditto.
|
290
|
+
|
291
|
+
Wed Jul 25 14:15:17 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
292
|
+
|
293
|
+
* features/message_detection/W0794.feature : Add W0794 functional
|
294
|
+
specification.
|
295
|
+
* MANIFEST : Ditto.
|
296
|
+
|
297
|
+
* lib/adlint/c/message.rb : Add W0794 detection.
|
298
|
+
* lib/adlint/c/phase.rb : Ditto.
|
299
|
+
|
300
|
+
Wed Jul 25 11:46:37 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
301
|
+
|
302
|
+
* features/message_detection/W1039.feature : Add W1039 functional
|
303
|
+
specification.
|
304
|
+
* MANIFEST : Ditto.
|
305
|
+
|
306
|
+
* lib/adlint/c/message.rb : Add W1039 detection.
|
307
|
+
* lib/adlint/c/phase.rb : Ditto.
|
308
|
+
|
309
|
+
Tue Jul 24 18:48:31 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
310
|
+
|
311
|
+
* features/message_detection/W0833.feature : Add W0833 functional
|
312
|
+
specification.
|
313
|
+
* MANIFEST : Ditto.
|
314
|
+
|
315
|
+
* lib/adlint/c/message.rb : Add W0833 detection.
|
316
|
+
* lib/adlint/c/phase.rb : Ditto.
|
317
|
+
|
318
|
+
Tue Jul 24 15:56:40 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
319
|
+
|
320
|
+
* features/message_detection/E0013.feature : Add E0013 functional
|
321
|
+
specification.
|
322
|
+
* MANIFEST : Ditto.
|
323
|
+
|
324
|
+
* etc/mesg.d/ja_JP/messages.yml : Unify E0013 and W1044 into E0013.
|
325
|
+
* etc/mesg.d/en_US/messages.yml : Ditto.
|
326
|
+
* share/doc/users_guide_ja.texi : Ditto.
|
327
|
+
* share/doc/users_guide_en.texi : Ditto.
|
328
|
+
|
329
|
+
Tue Jul 24 15:43:11 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
330
|
+
|
331
|
+
* lib/adlint/c/message.rb : Fix W9003 detection not to warn when the
|
332
|
+
object type is undefined or unresolved.
|
333
|
+
|
334
|
+
Tue Jul 24 15:06:45 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
335
|
+
|
336
|
+
* features/message_detection/W1047.feature : Add W1047 functional
|
337
|
+
specification.
|
338
|
+
* MANIFEST : Ditto.
|
339
|
+
|
340
|
+
* lib/adlint/c/interp.rb : Implement missing semantics of union object
|
341
|
+
initialization.
|
342
|
+
|
343
|
+
* lib/adlint/c/message.rb : Add W1047 detection.
|
344
|
+
* lib/adlint/c/phase.rb : Ditto.
|
345
|
+
|
346
|
+
Tue Jul 24 11:54:50 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
347
|
+
|
348
|
+
* features/message_detection/W1071.feature : Add W1071 functional
|
349
|
+
specification.
|
350
|
+
* MANIFEST : Ditto.
|
351
|
+
|
352
|
+
* lib/adlint/c/message.rb : Add W1071 detection.
|
353
|
+
* lib/adlint/c/phase.rb : Ditto.
|
354
|
+
|
355
|
+
Mon Jul 23 18:56:16 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
356
|
+
|
357
|
+
* features/message_detection/W0641.feature : Add W0641 functional
|
358
|
+
specification.
|
359
|
+
* MANIFEST : Ditto.
|
360
|
+
|
361
|
+
* lib/adlint/c/message.rb : Add W0641 detection.
|
362
|
+
* lib/adlint/c/phase.rb : Ditto.
|
363
|
+
|
364
|
+
Mon Jul 23 16:52:21 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
365
|
+
|
366
|
+
* features/message_detection/W0793.feature : Add W0793 functional
|
367
|
+
specification.
|
368
|
+
* MANIFEST : Ditto.
|
369
|
+
|
370
|
+
* lib/adlint/c/message.rb : Add W0793 detection.
|
371
|
+
* lib/adlint/c/phase.rb : Ditto.
|
372
|
+
|
373
|
+
Mon Jul 23 15:23:47 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
374
|
+
|
375
|
+
* features/message_detection/W0792.feature : Add W0792 functional
|
376
|
+
specification.
|
377
|
+
* MANIFEST : Ditto.
|
378
|
+
|
379
|
+
* lib/adlint/c/syntax.rb : Fix declarator evaluation in order to
|
380
|
+
construct a function object which returns a function pointer
|
381
|
+
correctly when the function-definition written without typedefed
|
382
|
+
function pointer.
|
383
|
+
|
384
|
+
* lib/adlint/c/message.rb : Add W0792 detection.
|
385
|
+
* lib/adlint/c/phase.rb : Ditto.
|
386
|
+
|
387
|
+
Fri Jul 20 18:54:19 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
388
|
+
|
389
|
+
* features/message_detection/W0644.feature : Add W0644 functional
|
390
|
+
specification.
|
391
|
+
* MANIFEST : Ditto.
|
392
|
+
|
393
|
+
* lib/adlint/c/expr.rb : Revise expression evaluation not to give up
|
394
|
+
when a operand is typed as `void'.
|
395
|
+
|
396
|
+
* lib/adlint/c/expr.rb : Add missing notification of variable value
|
397
|
+
reference in logical-and-expression and logical-or-expression.
|
398
|
+
* lib/adlint/c/ctrlexpr.rb : Ditto.
|
399
|
+
|
400
|
+
* lib/adlint/c/type.rb : Revise arithmetic type resolution not to abort
|
401
|
+
when one type is `void'.
|
402
|
+
|
403
|
+
* lib/adlint/c/object.rb : Revise arguments to parameters assignment
|
404
|
+
behavior not to skip assignment whenever the parameter is typed as
|
405
|
+
`void'.
|
406
|
+
|
407
|
+
* lib/adlint/c/message.rb : Add W0644 detection.
|
408
|
+
* lib/adlint/c/phase.rb : Ditto.
|
409
|
+
|
410
|
+
Fri Jul 20 14:51:45 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
411
|
+
|
412
|
+
* features/message_detection/W0780.feature : Add W0780 functional
|
413
|
+
specification.
|
414
|
+
* MANIFEST : Ditto.
|
415
|
+
|
416
|
+
* lib/adlint/c/message.rb : Add W0780 detection.
|
417
|
+
* lib/adlint/c/phase.rb : Ditto.
|
418
|
+
|
419
|
+
Fri Jul 20 14:00:20 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
420
|
+
|
421
|
+
* features/message_detection/W0719.feature : Add W0719 functional
|
422
|
+
specification.
|
423
|
+
* MANIFEST : Ditto.
|
424
|
+
|
425
|
+
* lib/adlint/c/expr.rb : Fix bad arguments of shift-expression
|
426
|
+
notification in evaluating `<<=' and `>>=' expressions.
|
427
|
+
|
428
|
+
* lib/adlint/c/message.rb : Add W0719 detection.
|
429
|
+
* lib/adlint/c/phase.rb : Ditto.
|
430
|
+
|
431
|
+
Fri Jul 20 12:56:37 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
432
|
+
|
433
|
+
* features/message_detection/W0650.feature : Add W0650 functional
|
434
|
+
specification.
|
435
|
+
* MANIFEST : Ditto.
|
436
|
+
|
437
|
+
* lib/adlint/c/message.rb : Add W0650 detection.
|
438
|
+
* lib/adlint/c/phase.rb : Ditto.
|
439
|
+
|
440
|
+
Thu Jul 19 17:48:15 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
441
|
+
|
442
|
+
* features/message_detection/W0649.feature : Add W0649 functional
|
443
|
+
specification.
|
444
|
+
* MANIFEST : Ditto.
|
445
|
+
|
446
|
+
* lib/adlint/c/message.rb : Add W0649 detection.
|
447
|
+
* lib/adlint/c/phase.rb : Ditto.
|
448
|
+
|
449
|
+
Thu Jul 19 16:44:17 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
450
|
+
|
451
|
+
* features/message_detection/W1026.feature : Add W1026 functional
|
452
|
+
specification.
|
453
|
+
* MANIFEST : Ditto.
|
454
|
+
|
455
|
+
* lib/adlint/c/message.rb : Add W1026 detection.
|
456
|
+
* lib/adlint/c/phase.rb : Ditto.
|
457
|
+
|
458
|
+
Thu Jul 19 14:53:48 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
459
|
+
|
460
|
+
* features/message_detection/W0834.feature : Add W0834 functional
|
461
|
+
specification.
|
462
|
+
* MANIFEST : Ditto.
|
463
|
+
|
464
|
+
* lib/adlint/c/type.rb : Add a visitor of the type-object tree.
|
465
|
+
|
466
|
+
* lib/adlint/c/resolver.rb : Add type field to parameter-declarations.
|
467
|
+
* lib/adlint/c/syntax.rb : Ditto.
|
468
|
+
|
469
|
+
* lib/adlint/c/message.rb : Add W0834 detection.
|
470
|
+
* lib/adlint/c/phase.rb : Ditto.
|
471
|
+
|
1
472
|
Wed Jul 18 11:19:21 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
2
473
|
|
3
474
|
* release.ga : 1.16.0
|