adlint 1.16.0 → 1.18.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.
- 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
|