-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathChangeLog
1285 lines (938 loc) · 50.8 KB
/
ChangeLog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
Fri May 15 14:39:51 2015 Yutaka Yanoh <[email protected]>
* release.rc : 3.2.19
- Fix abend problem when evaluating #error directive followed by no
pp-tokens.
- Fix infinite loop problem when evaluating #elif directive followed
by no constant-expression.
- Support input encoded in UTF-8 with BOM.
Fri May 15 14:18:38 2015 Yutaka Yanoh <[email protected]>
* lib/adlint/source.rb : Support input encoded in UTF-8 with BOM.
Thu May 14 16:56:28 2015 Yutaka Yanoh <[email protected]>
* lib/adlint/cpp/eval.rb : Fix infinite loop problem when evaluating
#elif directive followed by no constant-expression.
Thu May 14 15:59:43 2015 Yutaka Yanoh <[email protected]>
* lib/adlint/exam/c_builtin/cpp_code.rb : Fix abend problem when
evaluating #error directive followed by no pp-tokens.
Thu May 14 15:02:06 2015 Yutaka Yanoh <[email protected]>
* spec/adlint/location_spec.rb : Migrate to new RSpec expectations.
* spec/adlint/cc1/ctrlexpr_spec.rb : Ditto.
* spec/adlint/cc1/domain_spec.rb : Ditto.
* spec/adlint/cc1/operator_spec.rb : Ditto.
* spec/adlint/cc1/syntax_spec.rb : Ditto.
* spec/adlint/cc1/type_spec.rb : Ditto.
* features/step_definitions/code_check_steps.rb : Ditto.
Thu May 14 15:00:40 2015 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/syntax.rb : Fix uninitialized inst-var access.
Wed May 28 13:38:32 2014 Yutaka Yanoh <[email protected]>
* release.rc : 3.2.17
- Add unused global variable elimination to reduce memory usage.
Wed May 28 11:53:57 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/object.rb : Fix ugly component name of the
representative array element.
Tue May 27 18:46:08 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/expr.rb : Fix abend problem when the size omitted
array is accessed; caused by changes of array-subscript-expression
evaluation.
Tue May 27 18:28:58 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/expr.rb : Fix array-subscript-expression evaluation in
order not to derive the representative array element if the definite
subscript value is out of bound.
Tue May 27 17:27:30 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/object.rb : Revert previous revision of the address
derivation and revise memory binding of the representative array
element so that the reverse resolution by memory address can work.
Tue May 27 14:03:21 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/object.rb : Revise address derivation logic in order
not to bind the representative array element to a particular address.
Tue May 27 12:39:01 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/expr.rb : Fix array-subscript-expression evaluation to
refer the representative element of the array so that the
cross-reference to the array can be reported even if the subscript
points to the element eliminated by the adaptive array length
restriction.
Mon May 26 16:43:26 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/interp.rb : Fix restriction on evaluating number of
initializers in a initializer-list to be separated from the
restriction on the array length.
Sat May 24 23:07:23 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/interp.rb : Revert cancellation of length restriction
in initializer-list evaluation to shorten analysis time and tune
parameters of the adaptive array length restriction.
Fri May 23 18:12:24 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/syntax.rb : Correct to run on ruby 2.1.2p95 without
warnings.
Fri May 23 18:02:39 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/interp.rb : Add unused global variable elimination to
reduce memory usage.
* lib/adlint/cc1/syntax.rb : Ditto.
* spec/adlint/cc1/ctrlexpr_spec.rb : Ditto.
* lib/adlint/cc1/type.rb : Support adaptive size limiter of the actual
array object.
* features/code_check/W1031.feature : Fix typo.
Thu May 22 15:53:19 2014 Yutaka Yanoh <[email protected]>
* release.rc : 3.2.15
- Add checkpoints to ease preprocessing error investigation.
- Revise object allocation behavior of a large array in order not to
exhaust memory.
Thu May 22 11:52:20 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/interp.rb : Fix initializer-list evaluation of an
array variable definition in order to examine all expressions in the
list even if the actual array size is limited to avoid memory
exhausting.
Wed May 21 17:43:04 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/type.rb : Fix Array#impl_length in order to limit
size of the actual array object correctly.
Wed May 14 16:50:30 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/cpp/eval.rb : Add checkpoints to ease preprocessing error
investigation.
Sat May 10 22:31:55 2014 Yutaka Yanoh <[email protected]>
* release.ga : 3.2.14
- Support function-like macro replacement with variable arguments.
Sat May 10 22:07:09 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/cpp/macro.rb : Revise behavior of function-like macro
replacement in order to enforce the replacement even if the number of
arguments is less than the number of parameters.
* features/code_check/W0830.feature : Ditto.
Sat May 10 13:58:35 2014 Yutaka Yanoh <[email protected]>
* release.rc : 3.2.13
- Support function-like macro replacement with variable arguments.
Sat May 10 12:44:20 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/cpp/macro.rb : Support function-like macro replacement
with variable arguments.
* lib/adlint/cpp/eval.rb : Ditto.
* features/code_check/W0835.feature : Add scenario to check that the
function-like macro with __VA_ARGS__ can be replaced correctly.
* MANIFEST : Ditto.
Sat Apr 12 09:08:17 2014 Yutaka Yanoh <[email protected]>
* release.ga : 3.2.12
- Fix the type and object model in order to correctly manage unnamed
struct or union members.
- Add examination package initializer.
- Revise behavior of the CMA code structure collection so that an
optional examination package can output its own special
met-records.
Thu Apr 10 18:48:43 2014 Yutaka Yanoh <[email protected]>
* release.rc : 3.2.11
- Fix the type and object model in order to correctly manage unnamed
struct or union members.
- Add examination package initializer.
- Revise behavior of the CMA code structure collection so that an
optional examination package can output its own special
met-records.
Thu Apr 10 15:11:38 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/metric.rb : Revise behavior of the CMA code structure
collection so that an optional examination package can output its own
special met-records.
* lib/adlint/ld/object.rb : Ditto.
* lib/adlint/ld/typedef.rb : Ditto.
Thu Apr 10 13:34:44 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/exam.rb : Add examination package initializer.
Thu Apr 10 10:57:34 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/type.rb : Fix the type and object model in order to
correctly manage unnamed struct or union members.
* lib/adlint/cc1/syntax.rb : Ditto.
* lib/adlint/cc1/resolver.rb : Ditto.
* lib/adlint/cc1/object.rb : Ditto.
* lib/adlint/exam/c_builtin/cc1_check.rb : Correct W0067 and W0492 code
check according to changes of the type and object model.
* features/code_check/W0801.feature : Ditto.
* features/code_check/W0067.feature : Add scenario to reproduce
false-positive of W0067 code check.
* MANIFEST : Ditto.
Fri Mar 7 12:57:41 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/lexer.rb : Refactor a bit in order to clarify
intention to take tail part of an array.
* lib/adlint/cc1/value.rb : Ditto.
* lib/adlint/cpp/eval.rb : Ditto.
* lib/adlint/cpp/macro.rb : Ditto.
* lib/adlint/cpp/subst.rb : Ditto.
* lib/adlint/exam/c_builtin/cc1_check.rb : Ditto.
* spec/adlint/cc1/syntax_spec.rb : Ditto.
Mon Feb 17 12:56:05 2014 Yutaka Yanoh <[email protected]>
* release.ga : 3.2.10
- Add new templates for MSVC100 (Visual C++ 2010) as a C compiler on
32bit Windows.
Fri Feb 14 13:37:30 2014 Yutaka Yanoh <[email protected]>
* release.rc : 3.2.9
- Add new templates for MSVC100 (Visual C++ 2010) on 32bit Windows.
Fri Feb 14 11:31:54 2014 Yutaka Yanoh <[email protected]>
* etc/conf.d/i686-mswin/traits-msvc_100.erb : Add new templates for
MSVC100 (Visual C++ 2010) on 32bit Windows.
* etc/conf.d/i686-mswin/cinit-msvc_100.erb : Ditto.
Fri Feb 7 14:54:17 2014 Yutaka Yanoh <[email protected]>
* release.ga : 3.2.8
- Fix preprocessor in order not to abend when a function-like macro
generates a hexadecimal integer-constant from standalone prefix and
number by the concatenation operator.
Thu Feb 6 15:22:34 2014 Yutaka Yanoh <[email protected]>
* release.rc : 3.2.7
- Fix preprocessor in order not to abend when a function-like macro
generates a hexadecimal integer-constant from standalone prefix and
number by the concatenation operator.
Wed Feb 5 10:28:10 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/scanner.rb : Fix preprocessor in order not to abend
when a function-like macro generates a hexadecimal integer-constant
from standalone prefix and number by the concatenation operator.
* features/code_check/E0008.feature : Add token concatenation scenarios
to reproduce the bug reported on the AdLint PAD site.
Thu Jan 9 15:22:32 2014 Yutaka Yanoh <[email protected]>
* release.ga : 3.2.6
- Fix incomplete expression-constancy check under the constraits of
ISO C99 standard.
- Clip code-exam passivation feature into Examination::Passivation
module in order to easily create passive code-exam classes.
- Revise the interpreter interface in order to make evaluation modes
of notification and side-effects suppression are orthogonal.
- Add predicate method Type#named? which indicates whether a type has
been declared with a tag or not.
- Add patch of identifier to typedef-name translation mode in order
not to abend when multiple typedefed types of struct/union/enum is
redeclared in a single typedef declaration again.
- Fix typo in C0001 message text.
- Fix pattern matchig algorithm of the token substitution feature so
that the pattern `{ __adlint__any }' can match with both `{}' and
`{ ... }'.
- Fix group skip logic of the preprocessor in order to treat
string-literals and character-constants in the skipping group
correctly.
- Revise the parser generation rule in order to accept extra
semicolons in the global scope.
Wed Jan 8 16:31:06 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/parser.y : Revise the parser generation rule in order
to accept extra semicolons in the global scope.
* features/code_check/E0018.feature : Ditto.
* etc/mesg.d/core/ja_JP/messages.yml : Ditto.
* etc/mesg.d/core/en_US/messages.yml : Ditto.
* share/doc/users_guide_ja.texi : Ditto.
* share/doc/users_guide_en.texi : Ditto.
Wed Jan 8 11:19:39 2014 Yutaka Yanoh <[email protected]>
* share/doc/developers_guide_ja.texi : Update versions of the current
development environment.
Tue Jan 7 18:24:17 2014 Yutaka Yanoh <[email protected]>
* release.rc : 3.2.5
- Fix incomplete expression-constancy check under the constraits of
ISO C99 standard.
- Clip code-exam passivation feature into Examination::Passivation
module in order to easily create passive code-exam classes.
- Revise the interpreter interface in order to make evaluation modes
of notification and side-effects suppression are orthogonal.
- Add predicate method Type#named? which indicates whether a type has
been declared with a tag or not.
- Add patch of identifier to typedef-name translation mode in order
not to abend when multiple typedefed types of struct/union/enum is
redeclared in a single typedef declaration again.
- Fix typo in C0001 message text.
- Fix pattern matchig algorithm of the token substitution feature so
that the pattern `{ __adlint__any }' can match with both `{}' and
`{ ... }'.
- Fix group skip logic of the preprocessor in order to treat
string-literals and character-constants in the skipping group
correctly.
Tue Jan 7 17:51:42 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/cpp/lexer.rb : Fix group skip logic of the preprocessor in
order to treat string-literals and character-constants in the
skipping group correctly.
* features/code_check/E0016.feature : Add scenario to reproduce a known
bug.
Tue Jan 7 13:41:16 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/cpp/subst.rb : Fix pattern matchig algorithm of the token
substitution feature so that the pattern `{ __adlint__any }' can
match with both `{}' and `{ ... }'.
Sat Jan 4 05:22:13 2014 Yutaka Yanoh <[email protected]>
* etc/mesg.d/c_builtin/ja_JP/messages.yml : Fix typo in C0001 message
text.
Wed Jan 1 10:25:16 2014 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/parser.y : Add missing mode transition of identifier
to typedef-name translation.
* lib/adlint/cc1/lexer.rb : Add patch of identifier to typedef-name
translation mode in order not to abend when multiple typedefed types
of struct/union/enum is redeclared in a single typedef declaration
again.
* features/code_check/E0008.feature : Add scenario to reproduce a known
bug.
Fri Oct 25 15:06:29 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/type.rb : Add predicate method Type#named? which
indicates whether a type has been declared with a tag or not.
* lib/adlint/cc1/parser.y : Ditto.
* lib/adlint/cc1/syntax.rb : Ditto.
Fri Oct 25 13:08:26 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/interp.rb : Revise the interpreter interface in order
to make evaluation modes of notification and side-effects suppression
are orthogonal.
* lib/adlint/cc1/option.rb : Ditto.
* lib/adlint/cc1/expr.rb : Ditto.
* lib/adlint/exam/c_builtin/cc1_check.rb : Ditto.
Thu Oct 24 11:16:20 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/syntax.rb : Add equals sign to the init-declarator
node in AST.
* lib/adlint/cc1/parser.y : Ditto.
* spec/adlint/cc1/ctrlexpr_spec.rb : Ditto.
Wed Oct 16 17:50:37 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/exam.rb : Clip code-exam passivation feature into
Examination::Passivation module in order to easily create passive
code-exam classes.
Fri Oct 11 18:34:19 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/expr.rb : Add event notifications in order to cover
all kinds of expression evaluations.
* lib/adlint/cc1/interp.rb : Ditto.
* lib/adlint/cc1/mediator.rb : Ditto.
* lib/adlint/cc1/value.rb : Add ScalarValueFactory#of_null method to
confine a knowledge about representation of NULL to one place.
Thu Sep 19 16:55:45 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/syntax.rb : Fix incomplete expression-constancy check
under the constraits of ISO C99 standard.
Fri Sep 13 16:51:25 2013 Yutaka Yanoh <[email protected]>
* release.rc : 3.2.3
- Relax limitation of filename of the exam-package catalog.
- Fix code metric measurement so that metrics of the function defined
in the header file can be measured.
- Add templates for gcc 4.4.7 on CentOS 6.4 (x86_64).
Fri Sep 13 15:53:25 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/exam/c_builtin/cc1_metric.rb : Fix code metric measurement
in order to output FL_STMT and FL_FUNC metrics correctly.
Tue Sep 10 16:37:34 2013 Yutaka Yanoh <[email protected]>
* etc/conf.d/x86_64-centos_6.4/traits-gcc_4.4.7.erb : Add templates for
gcc 4.4.7 on CentOS 6.4 (x86_64).
* etc/conf.d/x86_64-centos_6.4/cinit-gcc_4.4.7.erb : Ditto.
* MANIFEST : Ditto.
Tue Sep 10 12:56:04 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/exam/c_builtin/cc1_metric.rb : Fix code metric measurement
so that metrics of the function defined in the header file can be
measured.
Fri Sep 6 18:46:53 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/exam/c_builtin/cpp_check.rb : Abbreviate wordy names.
* lib/adlint/exam/c_builtin/cc1_code.rb : Ditto.
* lib/adlint/exam/c_builtin/cc1_metric.rb : Ditto.
* lib/adlint/exam/c_builtin/cpp_code.rb : Ditto.
* lib/adlint/exam/c_builtin/cc1_check_shima.rb : Ditto.
* lib/adlint/exam/c_builtin/cpp_check_shima.rb : Ditto.
Fri Sep 6 13:29:02 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/exam.rb : Relax limitation of filename of the exam-package
catalog.
Tue Sep 3 17:56:45 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/exam/c_builtin/cc1_check.rb : Abbreviate wordy names.
* share/doc/developers_guide_ja.texi : Ditto.
Fri Aug 30 15:46:16 2013 Yutaka Yanoh <[email protected]>
* release.rc : 3.2.1
- Refine Examination.def_registrant_phase so that code check in the
optional examination package can be derived from the builtin code
check class.
Fri Aug 30 15:12:10 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/exam.rb : Refine Examination.def_registrant_phase so that
code check in the optional examination package can be derived from
the builtin code check class.
Wed Aug 28 10:51:30 2013 Yutaka Yanoh <[email protected]>
* release.ga : 3.2.0
- Support experimental context-tracing feature so that the warning
message can be complemented with the context messages.
Tue Aug 27 19:35:30 2013 Yutaka Yanoh <[email protected]>
* share/doc/users_guide_ja.texi : Add descriptions about newly added
context-messages supporting context-tracing.
* share/doc/users_guide_en.texi : Ditto.
Mon Aug 26 11:44:55 2013 Yutaka Yanoh <[email protected]>
* release.rc : 3.1.0
- Support experimental context-tracing feature so that the warning
message can be complemented with the context messages.
Fri Aug 23 15:55:53 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/value.rb : Fix value version management degraded
during supporting context-tracing.
* features/code_check/W0460.feature : Add scenario to reproduce
false-positive of W0460 code check.
Thu Aug 22 14:17:54 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/interp.rb : Fix bad context-tracing during or after
evaluation of an iteration statement.
* lib/adlint/cc1/object.rb : Ditto.
* lib/adlint/cc1/value.rb : Ditto.
* lib/adlint/cc1/trace.rb : Revise context-tracing interface in order
not to output context messages about futural controlling-expressions.
* lib/adlint/exam/c_builtin/cc1_check.rb : Ditto.
Wed Aug 7 15:01:04 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/exam/c_builtin/cc1_check.rb : Fix bad W0570 code check
degraded during supporting context-tracing.
* features/code_check/W0570.feature : Add scenario to reproduce a known
bug.
Wed Aug 7 13:40:55 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/trace.rb : Fix bad context message emission of
undefinable variables.
* features/code_check/W0460.feature : Add scenario to reproduce bad
context message problem.
Wed Aug 7 10:28:42 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/**/* : Support context-tracing to improve readability of
warning messages.
* lib/adlint/cc1/trace.rb : Add new context tracing module.
* features/code_check/* : Add scenarios for testing context-tracing.
Wed Jul 10 15:14:43 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/value.rb : Refactor relationships between VersionGroup
object and its Version object in order to exactly represent a design
of the value version management.
Fri Jun 28 10:23:30 2013 Yutaka Yanoh <[email protected]>
* release.ga : 3.0.10
- Add missing comment handling in the initial state of the
preprocessing lexer.
- Fix incomplete identifier to typedef name translation when the
declaring enumerator name is conflicting with the prior typedef
name.
- Fix evaluation of the global constant variable definition in order
not to ignore value of the initializer.
- Revise pointer dereferencing behavior to successfully dereference a
pointer only when the value of pointer variable is definite.
- Improve heuristics of array subscript evaluation with indefinite
subscript.
- Fix controlling-expression deduction of iteration-statements in
order to adopt the ordinary expression when no control breaking
condition is found in the iteration body.
- Remove unnecessary controlling expression evaluation at entering a
do-statement.
- Fix value-domain thinning condition to thin domains discarded by a
break-statement in the iteration.
- Fix bypassing inner-variable's value mutation in order to correctly
propagate mutation to the outer-variable.
Wed Jun 26 17:42:13 2013 Yutaka Yanoh <[email protected]>
* release.rc : 3.0.9
- Add missing comment handling in the initial state of the
preprocessing lexer.
- Fix incomplete identifier to typedef name translation when the
declaring enumerator name is conflicting with the prior typedef
name.
- Fix evaluation of the global constant variable definition in order
not to ignore value of the initializer.
- Revise pointer dereferencing behavior to successfully dereference a
pointer only when the value of pointer variable is definite.
- Improve heuristics of array subscript evaluation with indefinite
subscript.
- Fix controlling-expression deduction of iteration-statements in
order to adopt the ordinary expression when no control breaking
condition is found in the iteration body.
- Remove unnecessary controlling expression evaluation at entering a
do-statement.
- Fix value-domain thinning condition to thin domains discarded by a
break-statement in the iteration.
- Fix bypassing inner-variable's value mutation in order to correctly
propagate mutation to the outer-variable.
Wed Jun 26 16:07:59 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/object.rb : Fix assignment behavior of the array
representative element in order to correctly propagete definiteness
of the new value to outer array variable's value.
* features/code_check/W0461.feature : Add scenario to reproduce
false-positive of W0461 code check when the pointee array is
initialized by assignment with indefinite subscript value.
Tue Jun 25 15:24:13 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/interp.rb : Revise evaluation behavior of
for-statement's explicit controlling-expression in order to properly
evaluate the branch entering condition.
Revise evaluation behavior of conditional-expressions to adopt the
non-NULL pointer as the expression value when a value of the
controlling-expression is indefinite.
* lib/adlint/cc1/mediator.rb : Revise pointer dereferencing behavior to
successfully dereference a pointer only when the value of pointer
variable is definite again.
* features/code_check/W0610.feature : Add scenario to reproduce bad
variables' value-domain management problem.
Mon Jun 24 17:22:47 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/branch.rb : Fix over-thinning of controlling
variable's value-domain when the terminating branch is of
switch-statement enclosed by an iteration-statement.
* features/code_check/W0459.feature : Add scenario to reproduce
false-positive of W0459 code check caused by bad break statement
evaluation in thinning value-domain of the controlling variable.
Mon Jun 24 16:51:36 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/object.rb : Restore scrapped side-effect rollback of
inner-variables.
Fri Jun 21 19:14:39 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/object.rb : Fix incomplete assignment to the array
representative element.
* features/code_check/W0459.feature : Add scenario to reproduce
false-positive of W0459 code check caused by missing representative
element updating.
Fri Jun 21 17:59:24 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/object.rb : Add assignment to the array representative
element.
* features/code_check/W0459.feature : Add scenario to reproduce
false-negative of W0459 code check caused by missing representative
element updating.
Fri Jun 21 16:16:16 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/expr.rb : Improve heuristics of array subscript
evaluation with indefinite subscript again and again.
* lib/adlint/cc1/object.rb : Fix bad management of the representative
element of array variables in order to correctly update the array by
reassigning new value to its representative element.
Add UnmappedMemoryWindow instead of UnmappedMemoryBlock.
* features/code_check/W0100.feature : Add scenario to reproduce
false-positive of W0100 code check caused by bad representative array
element.
* MANIFEST : Ditto.
Thu Jun 20 17:59:25 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/expr.rb : Improve heuristics of array subscript
evaluation with indefinite subscript again.
* lib/adlint/cc1/object.rb : Add management of the representative
element of array variables.
Add UnmappedMemoryBlock which is not mapped to the MemoryPool in
order to bind representative elements to their values.
* lib/adlint/cc1/interp.rb : Scrap interpretation mode for controlling
expressions.
* lib/adlint/cc1/option.rb : Ditto.
Thu Jun 20 11:21:59 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/object.rb : Fix bad value version management in order
not to forget histories of a value.
* features/code_check/W1050.feature : Add scenario to reproduce bad
value version management problem.
* MANIFEST : Ditto.
Wed Jun 19 17:17:27 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/object.rb : Fix bypassing inner-variable's value
mutation in order to correctly propagate mutation to the
outer-variable.
Add missing value-domain thinning of inner-variables.
* lib/adlint/cc1/branch.rb : Fix value-domain thinning condition to
thin domains discarded by a break-statement in the iteration.
* lib/adlint/cc1/environ.rb : Ditto.
* lib/adlint/cc1/interp.rb : Ditto.
* lib/adlint/cc1/option.rb : Ditto.
* features/code_check/W0422.feature : Add scenario to reproduce
false-positive of W0422 code check caused by incomplete value-domain
thinning.
* lib/adlint/cc1/builtin.rb : Fix broken `__adlint__eval' builtin debug
function.
Mon Jun 17 16:43:32 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cpp/lexer.rb : Add missing comment handling in the initial
state of the preprocessing lexer.
* features/code_check/E0008.feature : Add scenario to reproduce a parse
error when a #define directive appears right after a block comment
followed by an escaped newline.
* MANIFEST : Ditto.
Mon Jun 17 15:24:10 2013 Yutaka Yanoh <[email protected]>
* features/code_check/W0704.feature : Add scenario to reproduce a parse
error when the enumerator name is conflicting with the prior typedef
name.
* MANIFEST : Ditto.
* lib/adlint/cc1/lexer.rb : Rewrite identifier set to track declared
identifiers in preparation for fixing incomplete identifier to
typedef name translation.
* lib/adlint/cc1/parser.y : Fix incomplete identifier to typedef name
translation when the declaring enumerator name is conflicting with
the prior typedef name.
Thu Jun 13 15:53:21 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/interp.rb : Remove unnecessary controlling expression
evaluation at entering a do-statement.
* features/code_check/W9001.feature : Add scenario to reproduce
false-positive of W9001 code check about body of the one-shot
do-statement.
Thu Jun 13 13:42:24 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/domain.rb : Fix bad bitwise & evaluation with
indefinite value domains.
* features/code_check/W0612.feature : Add scenario to reproduce
false-positive of W0612 code check when value of an operand is
indefinite.
* MANIFEST : Ditto.
Wed Jun 12 19:57:55 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/syntax.rb : Fix controlling-expression deduction of
iteration-statements in order to adopt the ordinary expression when
no control breaking condition is found in the iteration body.
* features/code_check/W0422.feature : Add scenario to reproduce a known
bug.
Wed Jun 12 15:51:38 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/object.rb : Add missing value coercing in evaluation
of variable definition when the variable has already been declared.
Wed Jun 12 11:43:35 2013 Yutaka Yanoh <[email protected]>
* features/code_check/W0459.feature : Add scenario to reproduce a known
bug.
* lib/adlint/cc1/interp.rb : Fix conditional-expression evaluation in
order to evaluate controlling expression in the same manner as that
of if-statement.
* lib/adlint/cc1/mediator.rb : Fix pointer dereference behavior in
order to find possible pointee objects when the pointer value is not
definite.
Fri Jun 7 11:45:23 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/expr.rb : Revise global constant array subscript
evaluation policy in order to make undefined-value when the subscript
value is indefinite.
Fri Jun 7 10:44:06 2013 Yutaka Yanoh <[email protected]>
* features/code_check/W1071.feature : Add scenario to reproduce the
broken array subscript evaluation in controlling expressions.
* lib/adlint/cc1/expr.rb : Fix bad array subscript evaluation so that
the array-subscript-expression makes undefined-value when no
designated object is found.
Thu Jun 6 18:36:13 2013 Yutaka Yanoh <[email protected]>
* features/code_check/W0613.feature : Add scenario to reproduce
false-positive of W0613 code check when an array-subscript-expression
refers to the global constant array is specified as the controlling
expression.
* lib/adlint/cc1/expr.rb : Improve heuristics of array subscript
evaluation with indefinite subscript only in controlling expressions.
* lib/adlint/cc1/interp.rb : Ditto.
* lib/adlint/cc1/option.rb : Ditto.
Wed Jun 5 17:37:23 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/object.rb : Fix variable's value version rollback
mechanism in order not to do unnecessary rollback of inner-variables
of array or composite value.
* lib/adlint/cc1/type.rb : Fix bad type traits predicate methods for
array type.
* features/code_check/W0097.feature : Add scenario to reproduce a known
bug.
* features/code_check/W0461.feature : Ditto.
* lib/adlint/cc1/value.rb : Add comment to newly added destructive
#force_oeverwrite! method.
Wed Jun 5 17:21:36 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/mediator.rb : Revise pointer dereferencing behavior to
successfully dereference a pointer only when the value of pointer
variable is definite.
Tue Jun 4 20:33:44 2013 Yutaka Yanoh <[email protected]>
* features/code_check/W0705.feature : Add scenario to reproduce a known
bug.
* lib/adlint/cc1/interp.rb : Fix evaluation of the global constant
variable definition in order not to ignore value of the initializer.
* lib/adlint/cc1/object.rb : Ditto.
* lib/adlint/cc1/value.rb : Ditto.
Fri May 31 10:54:11 2013 Yutaka Yanoh <[email protected]>
* release.ga : 3.0.8
- Fix abend problem of preprocessor when a block comment is not
terminated in the translation-unit.
- Fix block comment handling in order not to dive into nested part
when a single slash character appears before the comment
terminator.
- Fix infinite-loop problem of preprocessor when the #include
directive appears with undefined macro.
- Fix bad expression-constancy check in order to treat an expression
derives an address-constant as a constant-expression.
- Fix bad variable defining behavor in order to correctly evaluate
sizeof-expression that refers defining variable in the initializer.
- Revise specification of W0642 code check in order to warn about all
the illegal address derivation from the object declared as
`register'.
- Fix abend problem in parsing unnamed bit-field declaration.
- Fix W0786 code check in order not to warn when a typedefed type
which is same as signed or unsigned int is specified as a base of
the bit-field.
- Fix incomplete object cross-reference extraction in order to record
object references within global scope in case of global function
table initialization.
- Fix incomplete object cross-reference graph and function call graph
in order to correctly warn about useless objects.
- Fix bad `##' operator evaluation in order to comply with the ISO
C99 standard.
Thu May 30 21:05:44 2013 Yutaka Yanoh <[email protected]>
* release.rc : 3.0.7
- Fix function call extraction in order to output function calls
within the global scope.
- Improve performance of FN_CALL metric measurement.
- Fix bad function call graph calculation.
- Fix bad expression-constancy check in order not to misunderstand
that an expression contains object-specifier which designates a
variable is constant-expression when a function of the same name
has been declared.
Thu May 30 20:07:56 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/syntax.rb : Fix bad expression-constancy check in
order not to misunderstand that an expression contains
object-specifier which designates a variable is constant-expression
when a function of the same name has been declared.
* lib/adlint/cc1/mediator.rb : Ditto.
* lib/adlint/cc1/object.rb : Ditto.
* features/code_check/W0422.feature : Add scenario to reproduce a known
bug.
Thu May 30 13:54:20 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/exam/c_builtin/cc1_code.rb : Fix function call extraction
in order to output function calls within the global scope.
* lib/adlint/exam/c_builtin/ld_metric.rb : Improve performance of
FN_CALL metric measurement.
* lib/adlint/ld/object.rb : Fix bad function call graph calculation.
* lib/adlint/exam/c_builtin.rb : Fix bad abbreviations of class names.
* lib/adlint/code.rb : Ditto.
* lib/adlint/report.rb : Ditto.
Wed May 29 18:48:01 2013 Yutaka Yanoh <[email protected]>
* release.rc : 3.0.5
- Fix abend problem of preprocessor when a block comment is not
terminated in the translation-unit.
- Fix block comment handling in order not to dive into nested part
when a single slash character appears before the comment
terminator.
- Fix infinite-loop problem of preprocessor when the #include
directive appears with undefined macro.
- Fix bad expression-constancy check in order to treat an expression
derives an address-constant as a constant-expression.
- Fix bad variable defining behavor in order to correctly evaluate
sizeof-expression that refers defining variable in the initializer.
- Revise specification of W0642 code check in order to warn about all
the illegal address derivation from the object declared as
`register'.
- Fix abend problem in parsing unnamed bit-field declaration.
- Fix W0786 code check in order not to warn when a typedefed type
which is same as signed or unsigned int is specified as a base of
the bit-field.
- Fix incomplete object cross-reference extraction in order to record
object references within global scope in case of global function
table initialization.
- Fix incomplete object cross-reference graph and function call graph
in order to correctly warn about useless objects.
- Fix bad `##' operator evaluation in order to comply with the ISO
C99 standard.
Wed May 29 18:31:55 2013 Yutaka Yanoh <[email protected]>
* features/code_check/W0422.feature : Add scenario to reproduce a known
bug.
* lib/adlint/cc1/ctrlexpr.rb : Fix controlling expression evaluation in
order not to install implicit functions when the effective
controlling expression is not a regular one and the controlling
variable is declared in the iteration body.
Wed May 29 13:26:20 2013 Yutaka Yanoh <[email protected]>
* features/code_check/W0830.feature : Add scenario to reproduce bad
macro replacement problem.
* lib/adlint/cpp/macro.rb : Fix bad `##' operator evaluation in order
to comply with the ISO C99 standard.
Tue May 28 21:47:56 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/exam/c_builtin/ld_metric.rb : Fix FN_CALL measurement to
count a number of caller functions instead of a number of function
calls.
Tue May 28 20:59:27 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/exam/c_builtin/ld_check.rb : Fix W0589 code check in order
to warn when only one function which is defined in the same
translation-unit refers to the object but the function refers to that
twice or more.
Tue May 28 19:08:41 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/exam/c_builtin/ld_check.rb : Fix incomplete object
cross-reference graph and function call graph in order to correctly
warn about useless objects.
* lib/adlint/exam/c_builtin/ld_metric.rb : Ditto.
* lib/adlint/ld/phase.rb : Ditto.
* lib/adlint/ld/util.rb : Ditto.
Tue May 28 16:28:11 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/ld/object.rb : Rewrite object cross-reference graph and
function call graph management.
* lib/adlint/ld/typedef.rb : Ditto.
* lib/adlint/analyzer.rb : Ditto.
Tue May 28 11:31:54 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cpp/phase.rb : Refine inner object names of phase context.
* lib/adlint/cc1/phase.rb : Ditto.
* lib/adlint/exam/c_builtin/cpp_check.rb : Ditto.
* lib/adlint/exam/c_builtin/cpp_check_shima.rb : Ditto.
* lib/adlint/exam/c_builtin/cpp_code.rb : Ditto.
* lib/adlint/exam/c_builtin/cc1_check.rb : Ditto.
* lib/adlint/exam/c_builtin/cc1_check_shima.rb : Ditto.
* lib/adlint/exam/c_builtin/cc1_metric.rb : Ditto.
* lib/adlint/cc1/util.rb : Ditto.
Mon May 27 15:21:14 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/exam/c_builtin/cc1_code.rb : Fix incomplete object
cross-reference extraction in order to record object references
within global scope in case of global function table initialization.
* lib/adlint/code.rb : Ditto.
Fri May 24 19:11:52 2013 Yutaka Yanoh <[email protected]>
* lib/adlint/cc1/parser.y : Remove useless state management of the
identifier translation in `struct_declaration'.
Fri May 24 16:05:07 2013 Yutaka Yanoh <[email protected]>
* features/code_check/W0491.feature : Add scenario to reproduce abend
problem of parser.
* lib/adlint/cc1/parser.y : Fix bad state management of the identifier
translation again and again.
Fri May 24 15:09:25 2013 Yutaka Yanoh <[email protected]>
* features/code_check/W0542.feature : Add scenario to reproduce abend
problem of parser.
* lib/adlint/cc1/parser.y : Fix bad state management of the identifier
translation again.
Fri May 24 13:47:47 2013 Yutaka Yanoh <[email protected]>
* features/code_check/W0491.feature : Add scenario to reproduce abend