adlint 2.4.6 → 2.4.10
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 +163 -0
- data/MANIFEST +12 -0
- data/NEWS +20 -4
- data/etc/conf.d/x86_64-ubuntu_12.04/cinit-gcc_4.6.3.erb +2 -2
- data/etc/mesg.d/c_builtin/en_US/messages.yml +1 -1
- data/etc/mesg.d/c_builtin/ja_JP/messages.yml +1 -1
- data/etc/mesg.d/core/en_US/messages.yml +1 -1
- data/etc/mesg.d/core/ja_JP/messages.yml +1 -1
- data/features/code_check/E0013.feature +0 -2
- data/features/code_check/W0001.feature +0 -2
- data/features/code_check/W0002.feature +0 -2
- data/features/code_check/W0003.feature +0 -2
- data/features/code_check/W0007.feature +0 -2
- data/features/code_check/W0010.feature +1 -3
- data/features/code_check/W0013.feature +0 -2
- data/features/code_check/W0016.feature +0 -2
- data/features/code_check/W0017.feature +0 -2
- data/features/code_check/W0025.feature +0 -2
- data/features/code_check/W0026.feature +0 -2
- data/features/code_check/W0070.feature +0 -2
- data/features/code_check/W0071.feature +0 -2
- data/features/code_check/W0093.feature +0 -2
- data/features/code_check/W0104.feature +0 -2
- data/features/code_check/W0109.feature +0 -2
- data/features/code_check/W0119.feature +0 -2
- data/features/code_check/W0120.feature +0 -2
- data/features/code_check/W0121.feature +0 -2
- data/features/code_check/W0122.feature +0 -2
- data/features/code_check/W0123.feature +0 -2
- data/features/code_check/W0124.feature +0 -2
- data/features/code_check/W0125.feature +0 -2
- data/features/code_check/W0126.feature +0 -2
- data/features/code_check/W0127.feature +0 -2
- data/features/code_check/W0128.feature +0 -2
- data/features/code_check/W0129.feature +0 -2
- data/features/code_check/W0130.feature +0 -2
- data/features/code_check/W0131.feature +0 -2
- data/features/code_check/W0132.feature +0 -2
- data/features/code_check/W0133.feature +0 -2
- data/features/code_check/W0134.feature +0 -2
- data/features/code_check/W0135.feature +0 -2
- data/features/code_check/W0136.feature +0 -2
- data/features/code_check/W0137.feature +0 -2
- data/features/code_check/W0138.feature +0 -2
- data/features/code_check/W0139.feature +0 -2
- data/features/code_check/W0140.feature +0 -2
- data/features/code_check/W0141.feature +0 -2
- data/features/code_check/W0142.feature +0 -2
- data/features/code_check/W0143.feature +0 -2
- data/features/code_check/W0144.feature +0 -2
- data/features/code_check/W0145.feature +0 -2
- data/features/code_check/W0146.feature +0 -2
- data/features/code_check/W0147.feature +0 -2
- data/features/code_check/W0148.feature +0 -2
- data/features/code_check/W0149.feature +0 -2
- data/features/code_check/W0150.feature +0 -2
- data/features/code_check/W0151.feature +0 -2
- data/features/code_check/W0152.feature +0 -2
- data/features/code_check/W0153.feature +0 -2
- data/features/code_check/W0154.feature +0 -2
- data/features/code_check/W0155.feature +0 -2
- data/features/code_check/W0156.feature +0 -2
- data/features/code_check/W0157.feature +0 -2
- data/features/code_check/W0158.feature +0 -2
- data/features/code_check/W0159.feature +0 -2
- data/features/code_check/W0160.feature +0 -2
- data/features/code_check/W0161.feature +0 -2
- data/features/code_check/W0162.feature +0 -2
- data/features/code_check/W0163.feature +0 -2
- data/features/code_check/W0164.feature +0 -2
- data/features/code_check/W0165.feature +0 -2
- data/features/code_check/W0166.feature +0 -2
- data/features/code_check/W0167.feature +0 -2
- data/features/code_check/W0168.feature +0 -2
- data/features/code_check/W0169.feature +0 -2
- data/features/code_check/W0170.feature +0 -2
- data/features/code_check/W0171.feature +0 -2
- data/features/code_check/W0172.feature +0 -2
- data/features/code_check/W0173.feature +0 -2
- data/features/code_check/W0174.feature +0 -2
- data/features/code_check/W0175.feature +0 -2
- data/features/code_check/W0176.feature +0 -2
- data/features/code_check/W0177.feature +0 -2
- data/features/code_check/W0178.feature +0 -2
- data/features/code_check/W0179.feature +0 -2
- data/features/code_check/W0180.feature +0 -2
- data/features/code_check/W0181.feature +0 -2
- data/features/code_check/W0182.feature +0 -2
- data/features/code_check/W0183.feature +0 -2
- data/features/code_check/W0184.feature +0 -2
- data/features/code_check/W0185.feature +0 -2
- data/features/code_check/W0186.feature +0 -2
- data/features/code_check/W0187.feature +0 -2
- data/features/code_check/W0188.feature +0 -2
- data/features/code_check/W0189.feature +0 -2
- data/features/code_check/W0190.feature +0 -2
- data/features/code_check/W0191.feature +0 -2
- data/features/code_check/W0192.feature +0 -2
- data/features/code_check/W0193.feature +0 -2
- data/features/code_check/W0194.feature +0 -2
- data/features/code_check/W0195.feature +0 -2
- data/features/code_check/W0196.feature +0 -2
- data/features/code_check/W0197.feature +0 -2
- data/features/code_check/W0198.feature +0 -2
- data/features/code_check/W0199.feature +0 -2
- data/features/code_check/W0200.feature +0 -2
- data/features/code_check/W0201.feature +0 -2
- data/features/code_check/W0202.feature +0 -2
- data/features/code_check/W0203.feature +0 -2
- data/features/code_check/W0204.feature +0 -2
- data/features/code_check/W0205.feature +0 -2
- data/features/code_check/W0206.feature +0 -2
- data/features/code_check/W0207.feature +0 -2
- data/features/code_check/W0208.feature +0 -2
- data/features/code_check/W0209.feature +0 -2
- data/features/code_check/W0210.feature +0 -2
- data/features/code_check/W0211.feature +0 -2
- data/features/code_check/W0212.feature +0 -2
- data/features/code_check/W0213.feature +0 -2
- data/features/code_check/W0214.feature +0 -2
- data/features/code_check/W0215.feature +0 -2
- data/features/code_check/W0216.feature +0 -2
- data/features/code_check/W0217.feature +0 -2
- data/features/code_check/W0218.feature +0 -2
- data/features/code_check/W0219.feature +0 -2
- data/features/code_check/W0220.feature +0 -2
- data/features/code_check/W0221.feature +0 -2
- data/features/code_check/W0222.feature +0 -2
- data/features/code_check/W0223.feature +0 -2
- data/features/code_check/W0224.feature +0 -2
- data/features/code_check/W0225.feature +0 -2
- data/features/code_check/W0226.feature +0 -2
- data/features/code_check/W0227.feature +0 -2
- data/features/code_check/W0228.feature +0 -2
- data/features/code_check/W0229.feature +0 -2
- data/features/code_check/W0230.feature +0 -2
- data/features/code_check/W0231.feature +0 -2
- data/features/code_check/W0232.feature +0 -2
- data/features/code_check/W0233.feature +0 -2
- data/features/code_check/W0234.feature +0 -2
- data/features/code_check/W0235.feature +0 -2
- data/features/code_check/W0236.feature +0 -2
- data/features/code_check/W0237.feature +0 -2
- data/features/code_check/W0238.feature +0 -2
- data/features/code_check/W0239.feature +0 -2
- data/features/code_check/W0240.feature +0 -2
- data/features/code_check/W0241.feature +0 -2
- data/features/code_check/W0242.feature +0 -2
- data/features/code_check/W0243.feature +0 -2
- data/features/code_check/W0244.feature +0 -2
- data/features/code_check/W0245.feature +0 -2
- data/features/code_check/W0246.feature +0 -2
- data/features/code_check/W0247.feature +0 -2
- data/features/code_check/W0248.feature +0 -2
- data/features/code_check/W0249.feature +0 -2
- data/features/code_check/W0250.feature +0 -2
- data/features/code_check/W0251.feature +0 -2
- data/features/code_check/W0252.feature +0 -2
- data/features/code_check/W0253.feature +0 -2
- data/features/code_check/W0254.feature +0 -2
- data/features/code_check/W0425.feature +0 -2
- data/features/code_check/W0431.feature +0 -2
- data/features/code_check/W0432.feature +0 -2
- data/features/code_check/W0477.feature +0 -2
- data/features/code_check/W0478.feature +0 -2
- data/features/code_check/W0479.feature +0 -2
- data/features/code_check/W0480.feature +0 -2
- data/features/code_check/W0481.feature +0 -2
- data/features/code_check/W0482.feature +0 -2
- data/features/code_check/W0483.feature +0 -2
- data/features/code_check/W0488.feature +132 -0
- data/features/code_check/W0489.feature +78 -0
- data/features/code_check/W0490.feature +83 -0
- data/features/code_check/W0495.feature +60 -0
- data/features/code_check/W0496.feature +63 -0
- data/features/code_check/W0497.feature +65 -0
- data/features/code_check/W0498.feature +120 -0
- data/features/code_check/W0499.feature +63 -0
- data/features/code_check/W0500.feature +66 -0
- data/features/code_check/W0501.feature +69 -0
- data/features/code_check/W0502.feature +64 -0
- data/features/code_check/W0573.feature +0 -2
- data/features/code_check/W0583.feature +0 -2
- data/features/code_check/W0606.feature +0 -2
- data/features/code_check/W0635.feature +0 -2
- data/features/code_check/W0641.feature +0 -2
- data/features/code_check/W0643.feature +0 -2
- data/features/code_check/W0644.feature +0 -2
- data/features/code_check/W0645.feature +0 -2
- data/features/code_check/W0646.feature +0 -2
- data/features/code_check/W0649.feature +0 -2
- data/features/code_check/W0650.feature +0 -2
- data/features/code_check/W0655.feature +43 -0
- data/features/code_check/W0685.feature +0 -2
- data/features/code_check/W0686.feature +0 -2
- data/features/code_check/W0687.feature +0 -2
- data/features/code_check/W0688.feature +0 -2
- data/features/code_check/W0689.feature +0 -2
- data/features/code_check/W0690.feature +0 -2
- data/features/code_check/W0691.feature +0 -2
- data/features/code_check/W0692.feature +0 -2
- data/features/code_check/W0694.feature +0 -2
- data/features/code_check/W0695.feature +0 -2
- data/features/code_check/W0697.feature +0 -2
- data/features/code_check/W0698.feature +0 -2
- data/features/code_check/W0699.feature +0 -2
- data/features/code_check/W0700.feature +0 -2
- data/features/code_check/W0703.feature +0 -2
- data/features/code_check/W0705.feature +6 -2
- data/features/code_check/W0707.feature +4 -2
- data/features/code_check/W0711.feature +0 -2
- data/features/code_check/W0712.feature +0 -2
- data/features/code_check/W0713.feature +0 -2
- data/features/code_check/W0714.feature +0 -2
- data/features/code_check/W0715.feature +0 -2
- data/features/code_check/W0716.feature +0 -2
- data/features/code_check/W0717.feature +0 -2
- data/features/code_check/W0718.feature +0 -2
- data/features/code_check/W0719.feature +0 -2
- data/features/code_check/W0723.feature +0 -2
- data/features/code_check/W0726.feature +0 -2
- data/features/code_check/W0732.feature +0 -2
- data/features/code_check/W0733.feature +0 -2
- data/features/code_check/W0734.feature +0 -2
- data/features/code_check/W0735.feature +0 -2
- data/features/code_check/W0745.feature +1 -2
- data/features/code_check/W0747.feature +0 -2
- data/features/code_check/W0748.feature +0 -2
- data/features/code_check/W0749.feature +0 -2
- data/features/code_check/W0750.feature +0 -2
- data/features/code_check/W0751.feature +0 -2
- data/features/code_check/W0752.feature +0 -2
- data/features/code_check/W0753.feature +0 -2
- data/features/code_check/W0754.feature +0 -2
- data/features/code_check/W0755.feature +0 -2
- data/features/code_check/W0756.feature +0 -2
- data/features/code_check/W0757.feature +0 -2
- data/features/code_check/W0758.feature +0 -2
- data/features/code_check/W0759.feature +0 -2
- data/features/code_check/W0760.feature +0 -2
- data/features/code_check/W0761.feature +0 -2
- data/features/code_check/W0762.feature +0 -2
- data/features/code_check/W0763.feature +0 -2
- data/features/code_check/W0764.feature +0 -2
- data/features/code_check/W0765.feature +0 -2
- data/features/code_check/W0766.feature +0 -2
- data/features/code_check/W0767.feature +0 -2
- data/features/code_check/W0768.feature +0 -2
- data/features/code_check/W0769.feature +0 -2
- data/features/code_check/W0780.feature +0 -2
- data/features/code_check/W0781.feature +0 -2
- data/features/code_check/W0783.feature +0 -2
- data/features/code_check/W0787.feature +0 -2
- data/features/code_check/W0792.feature +0 -2
- data/features/code_check/W0793.feature +0 -2
- data/features/code_check/W0794.feature +0 -2
- data/features/code_check/W0801.feature +0 -2
- data/features/code_check/W0805.feature +0 -2
- data/features/code_check/W0806.feature +0 -2
- data/features/code_check/W0807.feature +0 -2
- data/features/code_check/W0808.feature +0 -2
- data/features/code_check/W0809.feature +0 -2
- data/features/code_check/W0811.feature +0 -2
- data/features/code_check/W0830.feature +0 -2
- data/features/code_check/W0833.feature +0 -2
- data/features/code_check/W0834.feature +1 -3
- data/features/code_check/W1026.feature +0 -2
- data/features/code_check/W1030.feature +0 -2
- data/features/code_check/W1031.feature +0 -2
- data/features/code_check/W1039.feature +0 -2
- data/features/code_check/W1040.feature +0 -2
- data/features/code_check/W1041.feature +0 -2
- data/features/code_check/W1046.feature +0 -2
- data/features/code_check/W1047.feature +0 -2
- data/features/code_check/W1052.feature +0 -2
- data/features/code_check/W1066.feature +0 -2
- data/features/code_check/W1067.feature +0 -2
- data/features/code_check/W1068.feature +0 -2
- data/features/code_check/W1069.feature +0 -2
- data/features/code_check/W1070.feature +0 -2
- data/features/code_check/W1071.feature +0 -2
- data/features/code_check/W1072.feature +0 -2
- data/features/code_check/W1073.feature +1 -3
- data/features/code_check/W1074.feature +3 -4
- data/features/code_check/W1075.feature +0 -2
- data/features/code_check/W1076.feature +0 -2
- data/features/code_check/W1077.feature +0 -2
- data/features/code_check/W9001.feature +0 -2
- data/features/code_check/W9003.feature +3 -3
- data/lib/adlint/c/branch.rb +2 -2
- data/lib/adlint/c/environ.rb +3 -3
- data/lib/adlint/c/expr.rb +67 -39
- data/lib/adlint/c/interp.rb +10 -1
- data/lib/adlint/c/object.rb +6 -4
- data/lib/adlint/c/parser.rb +1 -1
- data/lib/adlint/c/value.rb +27 -10
- data/lib/adlint/cpp/constexpr.rb +1 -1
- data/lib/adlint/exam/c_builtin/c_check.rb +502 -420
- data/lib/adlint/version.rb +2 -2
- 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 +10 -10
- data/share/doc/users_guide_en.texi +8 -8
- data/share/doc/users_guide_ja.html +10 -10
- data/share/doc/users_guide_ja.texi +8 -8
- metadata +15 -3
data/ChangeLog
CHANGED
|
@@ -1,3 +1,166 @@
|
|
|
1
|
+
Mon Oct 15 13:27:34 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
2
|
+
|
|
3
|
+
* release.ga : 2.4.10
|
|
4
|
+
- Add value version rollback feature so that the value version
|
|
5
|
+
management is correctly given up at the end of the branch whose
|
|
6
|
+
controlling expression is too complex.
|
|
7
|
+
- Fix value version management in order to completely rollback all
|
|
8
|
+
changes to values of all global variables.
|
|
9
|
+
- Revise evaluation of sizeof-expression and alignof-expression not
|
|
10
|
+
to evaluate operand expression actually.
|
|
11
|
+
- Fix W0488, W0489, W0490, W0495, W0496, W0497, W0498, W0499, W0500,
|
|
12
|
+
W0501 and W0502 detections to warn when a problematic expression is
|
|
13
|
+
grouped entirely.
|
|
14
|
+
|
|
15
|
+
Fri Oct 12 17:39:30 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
16
|
+
|
|
17
|
+
* release.rc : 2.4.9
|
|
18
|
+
- Fix W0488 detection to warn about a standalone
|
|
19
|
+
array-subscript-expression as an operand of a
|
|
20
|
+
logical-and-expression or a logical-or-expression.
|
|
21
|
+
- Fix W0499, W0500, W0501 and W0502 detections to warn when a
|
|
22
|
+
problematic expression is grouped entirely.
|
|
23
|
+
- Fix interpreter to add missing notification about evaluation of the
|
|
24
|
+
sizeof-expression.
|
|
25
|
+
|
|
26
|
+
Fri Oct 12 17:21:38 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
27
|
+
|
|
28
|
+
* features/code_check/W0655.feature : Add W0655 specification.
|
|
29
|
+
* MANIFEST : Ditto.
|
|
30
|
+
|
|
31
|
+
* lib/adlint/c/expr.rb : Fix interpreter to add missing notification
|
|
32
|
+
about evaluation of the sizeof-expression.
|
|
33
|
+
* lib/adlint/c/interp.rb : Ditto.
|
|
34
|
+
|
|
35
|
+
Fri Oct 12 15:07:28 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
36
|
+
|
|
37
|
+
* features/code_check/W0502.feature : Add W0502 specification.
|
|
38
|
+
* MANIFEST : Ditto.
|
|
39
|
+
|
|
40
|
+
* lib/adlint/exam/c_builtin/c_check.rb : Fix W0502 detection to warn
|
|
41
|
+
when a problematic expression is grouped entirely.
|
|
42
|
+
|
|
43
|
+
Fri Oct 12 14:27:12 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
44
|
+
|
|
45
|
+
* features/code_check/W0501.feature : Add W0501 specification.
|
|
46
|
+
* MANIFEST : Ditto.
|
|
47
|
+
|
|
48
|
+
* lib/adlint/exam/c_builtin/c_check.rb : Fix W0501 detection to warn
|
|
49
|
+
when a problematic expression is grouped entirely.
|
|
50
|
+
|
|
51
|
+
Fri Oct 12 13:59:59 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
52
|
+
|
|
53
|
+
* features/code_check/W0500.feature : Add W0500 specification.
|
|
54
|
+
* MANIFEST : Ditto.
|
|
55
|
+
|
|
56
|
+
* lib/adlint/exam/c_builtin/c_check.rb : Fix W0500 detection to warn
|
|
57
|
+
when a problematic expression is grouped entirely.
|
|
58
|
+
|
|
59
|
+
Fri Oct 12 13:17:07 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
60
|
+
|
|
61
|
+
* features/code_check/W0499.feature : Add W0499 specification.
|
|
62
|
+
* MANIFEST : Ditto.
|
|
63
|
+
|
|
64
|
+
* lib/adlint/exam/c_builtin/c_check.rb : Fix W0499 detection to warn
|
|
65
|
+
when a problematic expression is grouped entirely.
|
|
66
|
+
|
|
67
|
+
Fri Oct 12 10:55:04 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
68
|
+
|
|
69
|
+
* features/code_check/W0488.feature : Add W0488 specification to
|
|
70
|
+
reproduce a known bug.
|
|
71
|
+
|
|
72
|
+
* lib/adlint/exam/c_builtin/c_check.rb : Fix W0488 detection to warn
|
|
73
|
+
about a standalone array-subscript-expression as an operand of a
|
|
74
|
+
logical-and-expression or a logical-or-expression.
|
|
75
|
+
|
|
76
|
+
Thu Oct 11 21:00:18 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
77
|
+
|
|
78
|
+
* release.rc : 2.4.7
|
|
79
|
+
- Add value version rollback feature so that the value version
|
|
80
|
+
management is correctly given up at the end of the branch whose
|
|
81
|
+
controlling expression is too complex.
|
|
82
|
+
- Fix value version management in order to completely rollback all
|
|
83
|
+
changes to values of all global variables.
|
|
84
|
+
- Revise evaluation of sizeof-expression and alignof-expression not
|
|
85
|
+
to evaluate operand expression actually.
|
|
86
|
+
- Fix W0488, W0489, W0490, W0495, W0496, W0497 and W0498 detections
|
|
87
|
+
to warn when a problematic expression is grouped entirely.
|
|
88
|
+
|
|
89
|
+
Thu Oct 11 20:49:03 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
90
|
+
|
|
91
|
+
* features/code_check/W0497.feature : Add W0497 specification.
|
|
92
|
+
* MANIFEST : Ditto.
|
|
93
|
+
|
|
94
|
+
* lib/adlint/exam/c_builtin/c_check.rb : Fix W0497 detection to warn
|
|
95
|
+
when a problematic expression is grouped entirely.
|
|
96
|
+
|
|
97
|
+
Thu Oct 11 20:19:37 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
98
|
+
|
|
99
|
+
* features/code_check/W0496.feature : Add W0496 specification.
|
|
100
|
+
* MANIFEST : Ditto.
|
|
101
|
+
|
|
102
|
+
* lib/adlint/exam/c_builtin/c_check.rb : Fix W0496 detection to warn
|
|
103
|
+
when a problematic expression is grouped entirely.
|
|
104
|
+
|
|
105
|
+
Thu Oct 11 19:57:17 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
106
|
+
|
|
107
|
+
* features/code_check/W0495.feature : Add W0495 specification.
|
|
108
|
+
* MANIFEST : Ditto.
|
|
109
|
+
|
|
110
|
+
* lib/adlint/exam/c_builtin/c_check.rb : Fix W0495 detection to warn
|
|
111
|
+
when a problematic expression is grouped entirely.
|
|
112
|
+
|
|
113
|
+
Thu Oct 11 19:31:31 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
114
|
+
|
|
115
|
+
* features/code_check/W0490.feature : Add W0490 specification.
|
|
116
|
+
* MANIFEST : Ditto.
|
|
117
|
+
|
|
118
|
+
* lib/adlint/exam/c_builtin/c_check.rb : Fix W0490 detection to warn
|
|
119
|
+
when a problematic expression is grouped entirely.
|
|
120
|
+
|
|
121
|
+
Thu Oct 11 18:44:11 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
122
|
+
|
|
123
|
+
* features/code_check/W0489.feature : Add W0489 specification.
|
|
124
|
+
* MANIFEST : Ditto.
|
|
125
|
+
|
|
126
|
+
* lib/adlint/exam/c_builtin/c_check.rb : Fix W0489 detection to warn
|
|
127
|
+
when a problematic expression is grouped entirely.
|
|
128
|
+
|
|
129
|
+
Thu Oct 11 18:10:53 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
130
|
+
|
|
131
|
+
* features/code_check/W0488.feature : Add W0488 specification.
|
|
132
|
+
* MANIFEST : Ditto.
|
|
133
|
+
|
|
134
|
+
* lib/adlint/exam/c_builtin/c_check.rb : Fix W0488 detection to warn
|
|
135
|
+
when a problematic expression is grouped entirely.
|
|
136
|
+
|
|
137
|
+
Thu Oct 11 17:19:40 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
138
|
+
|
|
139
|
+
* features/code_check/W0498.feature : Add W0498 specification.
|
|
140
|
+
* MANIFEST : Ditto.
|
|
141
|
+
|
|
142
|
+
* lib/adlint/exam/c_builtin/c_check.rb : Fix W0498 detection to warn
|
|
143
|
+
when a problematic expression is grouped entirely.
|
|
144
|
+
|
|
145
|
+
Thu Oct 11 14:36:53 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
146
|
+
|
|
147
|
+
* lib/adlint/c/interp.rb : Revise evaluation of sizeof-expression and
|
|
148
|
+
alignof-expression not to evaluate operand expression actually.
|
|
149
|
+
|
|
150
|
+
Thu Oct 11 11:27:46 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
151
|
+
|
|
152
|
+
* lib/adlint/c/value.rb : Fix value version management in order to
|
|
153
|
+
completely rollback all changes to values of all global variables.
|
|
154
|
+
|
|
155
|
+
Wed Oct 10 18:14:38 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
156
|
+
|
|
157
|
+
* lib/adlint/c/value.rb : Add value version rollback feature so that
|
|
158
|
+
the value version management is correctly given up at the end of the
|
|
159
|
+
branch whose controlling expression is too complex.
|
|
160
|
+
* lib/adlint/c/branch.rb : Ditto.
|
|
161
|
+
* lib/adlint/c/environ.rb : Ditto.
|
|
162
|
+
* lib/adlint/c/object.rb : Ditto.
|
|
163
|
+
|
|
1
164
|
Tue Oct 9 10:49:00 2012 Yutaka Yanoh <yanoh@users.sourceforge.net>
|
|
2
165
|
|
|
3
166
|
* release.ga : 2.4.6
|
data/MANIFEST
CHANGED
|
@@ -194,6 +194,17 @@ features/code_check/W0480.feature
|
|
|
194
194
|
features/code_check/W0481.feature
|
|
195
195
|
features/code_check/W0482.feature
|
|
196
196
|
features/code_check/W0483.feature
|
|
197
|
+
features/code_check/W0488.feature
|
|
198
|
+
features/code_check/W0489.feature
|
|
199
|
+
features/code_check/W0490.feature
|
|
200
|
+
features/code_check/W0495.feature
|
|
201
|
+
features/code_check/W0496.feature
|
|
202
|
+
features/code_check/W0497.feature
|
|
203
|
+
features/code_check/W0498.feature
|
|
204
|
+
features/code_check/W0499.feature
|
|
205
|
+
features/code_check/W0500.feature
|
|
206
|
+
features/code_check/W0501.feature
|
|
207
|
+
features/code_check/W0502.feature
|
|
197
208
|
features/code_check/W0573.feature
|
|
198
209
|
features/code_check/W0583.feature
|
|
199
210
|
features/code_check/W0606.feature
|
|
@@ -205,6 +216,7 @@ features/code_check/W0645.feature
|
|
|
205
216
|
features/code_check/W0646.feature
|
|
206
217
|
features/code_check/W0649.feature
|
|
207
218
|
features/code_check/W0650.feature
|
|
219
|
+
features/code_check/W0655.feature
|
|
208
220
|
features/code_check/W0685.feature
|
|
209
221
|
features/code_check/W0686.feature
|
|
210
222
|
features/code_check/W0687.feature
|
data/NEWS
CHANGED
|
@@ -21,18 +21,34 @@
|
|
|
21
21
|
|
|
22
22
|
++
|
|
23
23
|
|
|
24
|
+
=== \AdLint 2.4.10 is released (2012-10-15)
|
|
25
|
+
|
|
26
|
+
==== Changes since the 2.4.6 release
|
|
27
|
+
|
|
28
|
+
* Add value version rollback feature so that the value version management is
|
|
29
|
+
correctly given up at the end of the branch whose controlling expression is
|
|
30
|
+
too complex
|
|
31
|
+
* Fix value version management in order to completely rollback all changes to
|
|
32
|
+
values of all global variables
|
|
33
|
+
* Revise evaluation of sizeof-expression and alignof-expression not to evaluate
|
|
34
|
+
operand expression actually
|
|
35
|
+
* Fix W0488, W0489, W0490, W0495, W0496, W0497, W0498, W0499, W0500, W0501 and
|
|
36
|
+
W0502 detections to warn when a problematic expression is grouped entirely
|
|
37
|
+
|
|
38
|
+
See the file
|
|
39
|
+
{ChangeLog}[http://adlint.sourceforge.net/pmwiki/upload.d/Main/ChangeLog]
|
|
40
|
+
for more details.
|
|
41
|
+
|
|
24
42
|
=== \AdLint 2.4.6 is released (2012-10-09)
|
|
25
43
|
|
|
44
|
+
==== Changes since the 2.4.0 release
|
|
45
|
+
|
|
26
46
|
* Fix bad controlling statement evaluation in order to manage value domain of
|
|
27
47
|
the controlling variable correctly
|
|
28
48
|
* Fix bad argument type specification of `%s', `%p' and `%n'
|
|
29
49
|
conversion-specifiers of *printf standard functions in order to detect W0635
|
|
30
50
|
correctly
|
|
31
51
|
|
|
32
|
-
See the file
|
|
33
|
-
{ChangeLog}[http://adlint.sourceforge.net/pmwiki/upload.d/Main/ChangeLog]
|
|
34
|
-
for more details.
|
|
35
|
-
|
|
36
52
|
=== \AdLint 2.4.0 is released (2012-09-21)
|
|
37
53
|
|
|
38
54
|
==== Changes since the 2.2.0 release
|
|
@@ -53,7 +53,7 @@
|
|
|
53
53
|
#define _FORTIFY_SOURCE 2
|
|
54
54
|
#define __SIZEOF_INT__ 4
|
|
55
55
|
#define __SIZEOF_POINTER__ 8
|
|
56
|
-
#define __USER_LABEL_PREFIX__
|
|
56
|
+
#define __USER_LABEL_PREFIX__
|
|
57
57
|
#define __STDC_HOSTED__ 1
|
|
58
58
|
#define __LDBL_HAS_INFINITY__ 1
|
|
59
59
|
#define __FLT_EPSILON__ 1.19209289550781250000e-7F
|
|
@@ -95,7 +95,7 @@
|
|
|
95
95
|
#define __LP64__ 1
|
|
96
96
|
#define __DECIMAL_BID_FORMAT__ 1
|
|
97
97
|
#define __DEC128_MIN__ 1E-6143DL
|
|
98
|
-
#define __REGISTER_PREFIX__
|
|
98
|
+
#define __REGISTER_PREFIX__
|
|
99
99
|
#define __UINT16_MAX__ 65535
|
|
100
100
|
#define __DBL_HAS_DENORM__ 1
|
|
101
101
|
#define __UINT8_TYPE__ unsigned char
|