adlint 3.0.10 → 3.2.0

data/ChangeLog

@@ -1,3 +1,70 @@
+Wed Aug 28 10:51:30 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* 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  <yanoh@users.sourceforge.net>
+
+	* 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  <yanoh@users.sourceforge.net>
+
+	* 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  <yanoh@users.sourceforge.net>
+
+	* 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  <yanoh@users.sourceforge.net>
+
+	* 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  <yanoh@users.sourceforge.net>
+
+	* 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  <yanoh@users.sourceforge.net>
+
+	* 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  <yanoh@users.sourceforge.net>
+
+	* 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  <yanoh@users.sourceforge.net>
+
+	* 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  <yanoh@users.sourceforge.net>
 
 	* release.ga : 3.0.10

data/MANIFEST

@@ -222,6 +222,7 @@ features/code_check/W0501.feature
 features/code_check/W0502.feature
 features/code_check/W0534.feature
 features/code_check/W0542.feature
+features/code_check/W0570.feature
 features/code_check/W0573.feature
 features/code_check/W0580.feature
 features/code_check/W0582.feature
@@ -386,6 +387,7 @@ lib/adlint/cc1/scanner.rb
 lib/adlint/cc1/scope.rb
 lib/adlint/cc1/seqp.rb
 lib/adlint/cc1/syntax.rb
+lib/adlint/cc1/trace.rb
 lib/adlint/cc1/type.rb
 lib/adlint/cc1/util.rb
 lib/adlint/cc1/value.rb

data/NEWS

@@ -21,6 +21,16 @@
 
 ++
 
+=== \AdLint 3.2.0 is released (2013-08-28)
+
+==== Changes since the 3.0.10 release
+
+* Support experimental context-tracing feature so that the warning message can
+  be complemented with the context messages
+
+See the file {ChangeLog}[https://github.com/yanoh/adlint/blob/master/ChangeLog]
+for more details.
+
 === \AdLint 3.0.10 is released (2013-06-28)
 
 ==== Changes since the 3.0.8 release
@@ -43,9 +53,6 @@
 * Fix bypassing inner-variable's value mutation in order to correctly propagate
   mutation to the outer-variable
 
-See the file {ChangeLog}[https://github.com/yanoh/adlint/blob/master/ChangeLog]
-for more details.
-
 === \AdLint 3.0.8 is released (2013-05-31)
 
 ==== Changes since the 3.0.4 release

data/etc/mesg.d/c_builtin/en_US/messages.yml

@@ -49,7 +49,7 @@
 #         - "ERR:X99"
 #       format: "Your custom message for the error of E9999."
 
-version: "3.0.10"
+version: "3.2.0"
 
 message_definition:
   W0001:
@@ -2996,3 +2996,31 @@ message_definition:
     classes:
       - "INF:X99"
     format: "A warning is detected as a pair of this identifier `%s'."
+  C1000:
+    classes:
+      - "INF:X99"
+    format: "Warning above is detected in the following context."
+  C1001:
+    classes:
+      - "INF:X99"
+    format: "This controlling-expression is evaluated to be true."
+  C1002:
+    classes:
+      - "INF:X99"
+    format: "This controlling-expression is evaluated to be false."
+  C1003:
+    classes:
+      - "INF:X99"
+    format: "The problematic variable is defined here without initializer."
+  C1004:
+    classes:
+      - "INF:X99"
+    format: "NULL value is assigned to the the problematic variable."
+  C1005:
+    classes:
+      - "INF:X99"
+    format: "A value possibly be NULL is assigned to the problematic variable."
+  C1006:
+    classes:
+      - "INF:X99"
+    format: "New value is assigned to the problematic variable."

data/etc/mesg.d/c_builtin/ja_JP/messages.yml

@@ -49,7 +49,7 @@
 #         - "ERR:X99"
 #       format: "Your custom message for the error of E9999."
 
-version: "3.0.10"
+version: "3.2.0"
 
 message_definition:
   W0001:
@@ -2996,3 +2996,31 @@ message_definition:
     classes:
       - "INF:X99"
     format: "この識別名 `%s' で警告を検知しました。"
+  C1000:
+    classes:
+      - "INF:X99"
+    format: "次の実行パスで警告を検知しました。"
+  C1001:
+    classes:
+      - "INF:X99"
+    format: "この制御式を真として評価しました。"
+  C1002:
+    classes:
+      - "INF:X99"
+    format: "この制御式を偽として評価しました。"
+  C1003:
+    classes:
+      - "INF:X99"
+    format: "ここで該当変数が初期値を指定せずに定義されています。"
+  C1004:
+    classes:
+      - "INF:X99"
+    format: "ここで該当変数に NULL の値を割り当てました。"
+  C1005:
+    classes:
+      - "INF:X99"
+    format: "ここで該当変数に NULL の可能性がある値を割り当てました。"
+  C1006:
+    classes:
+      - "INF:X99"
+    format: "ここで該当変数に値を割り当てました。"

data/etc/mesg.d/core/en_US/messages.yml

@@ -49,7 +49,7 @@
 #         - "ERR:X99"
 #       format: "Your custom message for the error of E9999."
 
-version: "3.0.10"
+version: "3.2.0"
 
 message_definition:
   X0001:

data/etc/mesg.d/core/ja_JP/messages.yml

@@ -49,7 +49,7 @@
 #         - "ERR:X99"
 #       format: "Your custom message for the error of E9999."
 
-version: "3.0.10"
+version: "3.2.0"
 
 message_definition:
   X0001:

data/features/code_check/W0003.feature

@@ -29,6 +29,11 @@ Feature: W0003
       | mesg  | line | column |
       | W0117 | 1    | 5      |
       | W0460 | 17   | 12     |
+      | C1000 |      |        |
+      | C1003 | 3    | 9      |
+      | C1002 | 6    | 5      |
+      | C1002 | 9    | 5      |
+      | C1002 | 12   | 5      |
       | W0104 | 1    | 13     |
       | W0003 | 5    | 5      |
       | W0628 | 1    | 5      |

data/features/code_check/W0023.feature

@@ -18,6 +18,8 @@ Feature: W0023
       | W9003 | 3    | 24     |
       | W0023 | 3    | 22     |
       | W0424 | 3    | 20     |
+      | C1000 |      |        |
+      | C1005 | 1    | 29     |
       | W9003 | 3    | 22     |
       | W0628 | 1    | 6      |
 
@@ -37,6 +39,8 @@ Feature: W0023
       | W9003 | 3    | 24     |
       | W0023 | 3    | 22     |
       | W0424 | 3    | 20     |
+      | C1000 |      |        |
+      | C1005 | 1    | 29     |
       | W9003 | 3    | 22     |
       | W0628 | 1    | 6      |
 
@@ -55,7 +59,11 @@ Feature: W0023
       | W0117 | 1    | 6      |
       | W0023 | 3    | 22     |
       | W0424 | 3    | 20     |
+      | C1000 |      |        |
+      | C1005 | 1    | 29     |
       | W0424 | 3    | 24     |
+      | C1000 |      |        |
+      | C1005 | 1    | 50     |
       | W1052 | 3    | 22     |
       | W9003 | 3    | 22     |
       | W0628 | 1    | 6      |
@@ -75,8 +83,14 @@ Feature: W0023
       | W0117 | 1    | 6      |
       | W0023 | 3    | 22     |
       | W0093 | 3    | 22     |
+      | C1000 |      |        |
+      | C1006 | 1    | 50     |
       | W0424 | 3    | 20     |
+      | C1000 |      |        |
+      | C1005 | 1    | 29     |
       | W0424 | 3    | 24     |
+      | C1000 |      |        |
+      | C1005 | 1    | 50     |
       | W9003 | 3    | 22     |
       | W0628 | 1    | 6      |
 
@@ -96,11 +110,17 @@ Feature: W0023
       | W0117 | 1    | 6      |
       | W0023 | 3    | 23     |
       | W0424 | 3    | 21     |
+      | C1000 |      |        |
+      | C1005 | 1    | 29     |
       | W0424 | 3    | 25     |
+      | C1000 |      |        |
+      | C1005 | 1    | 50     |
       | W1052 | 3    | 23     |
       | W0023 | 3    | 28     |
       | W0424 | 3    | 20     |
       | W0424 | 3    | 30     |
+      | C1000 |      |        |
+      | C1005 | 1    | 71     |
       | W1052 | 3    | 28     |
       | W9003 | 3    | 28     |
       | W0628 | 1    | 6      |
@@ -120,7 +140,11 @@ Feature: W0023
       | W0117 | 1    | 6      |
       | W0023 | 3    | 22     |
       | W0424 | 3    | 20     |
+      | C1000 |      |        |
+      | C1005 | 1    | 50     |
       | W0424 | 3    | 24     |
+      | C1000 |      |        |
+      | C1005 | 1    | 29     |
       | W1052 | 3    | 22     |
       | W9003 | 3    | 28     |
       | W0024 | 3    | 26     |
@@ -162,8 +186,14 @@ Feature: W0023
       | mesg  | line | column |
       | W0117 | 1    | 6      |
       | W0116 | 3    | 22     |
+      | C1000 |      |        |
+      | C1006 | 1    | 29     |
       | W0424 | 3    | 20     |
+      | C1000 |      |        |
+      | C1005 | 1    | 29     |
       | W0424 | 3    | 25     |
+      | C1000 |      |        |
+      | C1005 | 1    | 50     |
       | W9003 | 3    | 22     |
       | W0628 | 1    | 6      |
 
@@ -199,5 +229,7 @@ Feature: W0023
       | W9003 | 4    | 5      |
       | W0023 | 4    | 7      |
       | W0424 | 4    | 10     |
+      | C1000 |      |        |
+      | C1005 | 1    | 29     |
       | W9003 | 4    | 5      |
       | W0628 | 1    | 6      |

data/features/code_check/W0024.feature

@@ -32,6 +32,8 @@ Feature: W0024
       | W0117 | 1    | 12     |
       | W0024 | 3    | 12     |
       | W0424 | 3    | 14     |
+      | C1000 |      |        |
+      | C1005 | 1    | 28     |
       | W0628 | 1    | 12     |
 
   Scenario: a pointer variable as lhs of the additive-expression
@@ -49,6 +51,8 @@ Feature: W0024
       | W9003 | 3    | 16     |
       | W0024 | 3    | 14     |
       | W0424 | 3    | 12     |
+      | C1000 |      |        |
+      | C1005 | 1    | 35     |
       | W0628 | 1    | 12     |
 
   Scenario: a pointer variable as rhs of the additive-expression
@@ -66,6 +70,8 @@ Feature: W0024
       | W9003 | 3    | 12     |
       | W0024 | 3    | 14     |
       | W0424 | 3    | 16     |
+      | C1000 |      |        |
+      | C1005 | 1    | 35     |
       | W0628 | 1    | 12     |
 
   Scenario: a pointer variable as lhs of the additive-expression
@@ -84,6 +90,8 @@ Feature: W0024
       | W9003 | 3    | 14     |
       | W0024 | 3    | 12     |
       | W0424 | 3    | 10     |
+      | C1000 |      |        |
+      | C1005 | 1    | 28     |
       | W0628 | 1    | 12     |
 
   Scenario: postfix-decrement-expression with a pointer variable
@@ -100,6 +108,8 @@ Feature: W0024
       | W0117 | 1    | 12     |
       | W0024 | 3    | 13     |
       | W0424 | 3    | 12     |
+      | C1000 |      |        |
+      | C1005 | 1    | 28     |
       | W0628 | 1    | 12     |
 
   Scenario: prefix-decrement-expression with a pointer variable
@@ -116,6 +126,8 @@ Feature: W0024
       | W0117 | 1    | 12     |
       | W0024 | 3    | 12     |
       | W0424 | 3    | 14     |
+      | C1000 |      |        |
+      | C1005 | 1    | 28     |
       | W0628 | 1    | 12     |
 
   Scenario: a pointer variable as lhs of the additive-expression
@@ -133,6 +145,8 @@ Feature: W0024
       | W9003 | 3    | 16     |
       | W0024 | 3    | 14     |
       | W0424 | 3    | 12     |
+      | C1000 |      |        |
+      | C1005 | 1    | 35     |
       | W0628 | 1    | 12     |
 
   Scenario: a pointer variable as rhs of the additive-expression
@@ -150,6 +164,8 @@ Feature: W0024
       | W9003 | 3    | 12     |
       | W0024 | 3    | 14     |
       | W0424 | 3    | 16     |
+      | C1000 |      |        |
+      | C1005 | 1    | 35     |
       | W0628 | 1    | 12     |
 
   Scenario: pointer variables are incremented and decremented
@@ -167,6 +183,8 @@ Feature: W0024
       | W0024 | 3    | 13     |
       | W0024 | 3    | 19     |
       | W0424 | 3    | 18     |
+      | C1000 |      |        |
+      | C1005 | 1    | 42     |
       | W0424 | 3    | 13     |
       | W0424 | 3    | 19     |
       | W0628 | 1    | 12     |
@@ -206,6 +224,8 @@ Feature: W0024
       | W9003 | 3    | 16     |
       | W0023 | 3    | 14     |
       | W0424 | 3    | 12     |
+      | C1000 |      |        |
+      | C1005 | 1    | 35     |
       | W0628 | 1    | 12     |
 
   Scenario: pointer variable minus 2
@@ -223,4 +243,6 @@ Feature: W0024
       | W9003 | 3    | 16     |
       | W0023 | 3    | 14     |
       | W0424 | 3    | 12     |
+      | C1000 |      |        |
+      | C1005 | 1    | 35     |
       | W0628 | 1    | 12     |

data/features/code_check/W0093.feature

@@ -27,7 +27,11 @@ Feature: W0093
       | mesg  | line | column |
       | W1076 | 1    | 13     |
       | W0093 | 8    | 23     |
+      | C1000 |      |        |
+      | C1006 | 5    | 14     |
       | W0093 | 11   | 23     |
+      | C1000 |      |        |
+      | C1006 | 5    | 14     |
       | W0629 | 1    | 13     |
       | W0628 | 1    | 13     |
 
@@ -56,6 +60,8 @@ Feature: W0093
       | mesg  | line | column |
       | W1076 | 1    | 13     |
       | W0093 | 11   | 23     |
+      | C1000 |      |        |
+      | C1006 | 5    | 14     |
       | W0629 | 1    | 13     |
       | W0628 | 1    | 13     |
 
@@ -86,3 +92,68 @@ Feature: W0093
       | W0093 | 8    | 23     |
       | W0629 | 1    | 13     |
       | W0628 | 1    | 13     |
+
+  Scenario: possible zero-devide because of an incomplete if-else-if statement
+    Given a target source named "fixture.c" with:
+      """
+      int foo(int i)
+      {
+          int j = 0;
+
+          if (i < 0) { /* false */
+              j = -i;
+          }
+          else if (i > 0) { /* false */
+              j = i;
+          }
+
+          return 5 / j; /* W0093 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0093 | 12   | 14     |
+      | C1000 |      |        |
+      | C1006 | 3    | 9      |
+      | C1002 | 5    | 11     |
+      | C1002 | 8    | 16     |
+      | W0104 | 1    | 13     |
+      | W1069 | 5    | 5      |
+      | W0628 | 1    | 5      |
+
+  Scenario: possible zero-devide because of an incomplete if-else-if statement
+    Given a target source named "fixture.c" with:
+      """
+      int foo(int i)
+      {
+          int j;
+
+          if (i < 0) { /* false */
+              j = -i;
+          }
+          else if (i > 0) {
+              j = i; /* false */
+          }
+
+          return 5 / j; /* W0093 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0460 | 12   | 14     |
+      | C1000 |      |        |
+      | C1003 | 3    | 9      |
+      | C1002 | 5    | 11     |
+      | C1002 | 8    | 16     |
+      | W0093 | 12   | 14     |
+      | C1000 |      |        |
+      | C1006 | 3    | 9      |
+      | C1002 | 5    | 11     |
+      | C1002 | 8    | 16     |
+      | W0104 | 1    | 13     |
+      | W1069 | 5    | 5      |
+      | W0628 | 1    | 5      |