adlint 3.0.10 → 3.2.0

data/features/code_check/W0459.feature

@@ -23,6 +23,8 @@ Feature: W0459
       | W0118 | 2    | 13     |
       | W0117 | 4    | 6      |
       | W0459 | 7    | 25     |
+      | C1000 |      |        |
+      | C1003 | 6    | 11     |
       | W0100 | 6    | 11     |
       | W0104 | 4    | 14     |
       | W0501 | 7    | 16     |
@@ -43,8 +45,14 @@ Feature: W0459
       | mesg  | line | column |
       | W0117 | 1    | 5      |
       | W0705 | 4    | 14     |
+      | C1000 |      |        |
+      | C1006 | 1    | 13     |
       | W0705 | 4    | 17     |
+      | C1000 |      |        |
+      | C1006 | 1    | 13     |
       | W0459 | 4    | 16     |
+      | C1000 |      |        |
+      | C1003 | 3    | 9      |
       | W0100 | 3    | 9      |
       | W0104 | 1    | 13     |
       | W0950 | 3    | 14     |
@@ -70,6 +78,8 @@ Feature: W0459
       | mesg  | line | column |
       | W0117 | 1    | 5      |
       | W0705 | 6    | 18     |
+      | C1000 |      |        |
+      | C1006 | 1    | 13     |
       | W0100 | 3    | 9      |
       | W0104 | 1    | 13     |
       | W1071 | 1    | 5      |
@@ -109,7 +119,13 @@ Feature: W0459
       | W0118 | 1    | 13     |
       | W0117 | 3    | 5      |
       | W0459 | 14   | 17     |
+      | C1000 |      |        |
+      | C1003 | 6    | 9      |
       | W0460 | 21   | 12     |
+      | C1000 |      |        |
+      | C1003 | 6    | 9      |
+      | C1001 | 8    | 18     |
+      | C1002 | 13   | 9      |
       | W0104 | 3    | 13     |
       | W9001 | 10   | 9      |
       | W9001 | 11   | 13     |

data/features/code_check/W0460.feature

@@ -21,7 +21,349 @@ Feature: W0460
       | mesg  | line | column |
       | W1076 | 1    | 12     |
       | W0459 | 5    | 14     |
+      | C1000 |      |        |
+      | C1003 | 3    | 9      |
       | W0460 | 9    | 13     |
+      | C1000 |      |        |
+      | C1003 | 3    | 9      |
+      | C1002 | 5    | 14     |
       | W0629 | 1    | 12     |
       | W0950 | 3    | 11     |
       | W0628 | 1    | 12     |
+
+  Scenario: possible uninitialized value reference because of an incomplete if
+            statement
+    Given a target source named "fixture.c" with:
+      """
+      void foo(int i)
+      {
+          int j;
+
+          if (i == 0) { /* false */
+              j = 0;
+          }
+
+          return j; /* W0460 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0460 | 9    | 12     |
+      | C1000 |      |        |
+      | C1003 | 3    | 9      |
+      | C1002 | 5    | 11     |
+      | W0100 | 3    | 9      |
+      | W0104 | 1    | 14     |
+      | W0628 | 1    | 6      |
+
+  Scenario: possible uninitialized value reference because of an incomplete if
+            statement
+    Given a target source named "fixture.c" with:
+      """
+      void foo(int i)
+      {
+          int j;
+
+          if (i < 0) { /* false */
+              j = 1;
+              if (i < -10) {
+                  j = 2;
+              }
+              else if (i < -5) {
+                  j = 3;
+              }
+          }
+
+          return j; /* W0460 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0460 | 15   | 12     |
+      | C1000 |      |        |
+      | C1003 | 3    | 9      |
+      | C1002 | 5    | 11     |
+      | W0104 | 1    | 14     |
+      | W1069 | 7    | 9      |
+      | W0628 | 1    | 6      |
+
+  Scenario: possible uninitialized value reference because of an incomplete
+            if-else-if statement
+    Given a target source named "fixture.c" with:
+      """
+      void foo(int i)
+      {
+          int j;
+
+          if (i < 0) { /* true */
+              if (i < -10) { /* false */
+                  j = 2;
+              }
+              else if (i < -5) { /* false */
+                  j = 3;
+              }
+          }
+          else {
+              j = 1;
+          }
+
+          return j; /* W0460 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0460 | 17   | 12     |
+      | C1000 |      |        |
+      | C1003 | 3    | 9      |
+      | C1001 | 5    | 11     |
+      | C1002 | 6    | 15     |
+      | C1002 | 9    | 20     |
+      | W0104 | 1    | 14     |
+      | W1069 | 6    | 9      |
+      | W0628 | 1    | 6      |
+
+  Scenario: possible uninitialized value reference because of an incomplete if
+            statement
+    Given a target source named "fixture.c" with:
+      """
+      void foo(int i)
+      {
+          int j;
+
+          if (i < 0) { /* false */
+              if (i < -10) {
+                  j = 2;
+              }
+              else if (i < -5) {
+                  j = 3;
+              }
+              else {
+                  j = 1;
+              }
+          }
+
+          return j; /* W0460 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0460 | 17   | 12     |
+      | C1000 |      |        |
+      | C1003 | 3    | 9      |
+      | C1002 | 5    | 11     |
+      | W0104 | 1    | 14     |
+      | W0628 | 1    | 6      |
+
+  Scenario: possible uninitialized value reference because of missing
+            assignment in a complete if statement
+    Given a target source named "fixture.c" with:
+      """
+      void foo(int i)
+      {
+          int j;
+
+          if (i < 0) { /* true */
+              if (i < -10) { /* false */
+                  j = 2;
+              }
+              else if (i < -5) { /* false */
+                  j = 3;
+              }
+              else {
+              }
+          }
+          else {
+              j = 1;
+          }
+
+          return j; /* W0460 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0460 | 19   | 12     |
+      | C1000 |      |        |
+      | C1003 | 3    | 9      |
+      | C1001 | 5    | 11     |
+      | C1002 | 6    | 15     |
+      | C1002 | 9    | 20     |
+      | W0104 | 1    | 14     |
+      | W0628 | 1    | 6      |
+
+  Scenario: possible uninitialized value reference because of an incomplete if
+            statement
+    Given a target source named "fixture.c" with:
+      """
+      void foo(int i)
+      {
+          int j;
+
+          if (i < 0) { /* false */
+              j = 1;
+              if (i < -10) {
+                  j = 2;
+              }
+          }
+
+          return j; /* W0460 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0460 | 12   | 12     |
+      | C1000 |      |        |
+      | C1003 | 3    | 9      |
+      | C1002 | 5    | 11     |
+      | W0104 | 1    | 14     |
+      | W0628 | 1    | 6      |
+
+  Scenario: possible uninitialized value reference because of an incomplete
+            if-else-if statement
+    Given a target source named "fixture.c" with:
+      """
+      int foo(int i)
+      {
+          int j;
+
+          if (i > 2) { /* true */
+              if (i == 5) { /* false */
+                  j = 5;
+              }
+              else if (i == 6) { /* false */
+                  j = 6;
+              }
+          }
+          else if (i < 0) {
+              j = -1;
+          }
+
+          return j; /* W0460 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0460 | 17   | 12     |
+      | C1000 |      |        |
+      | C1003 | 3    | 9      |
+      | C1001 | 5    | 11     |
+      | C1002 | 6    | 15     |
+      | C1002 | 9    | 20     |
+      | W0104 | 1    | 13     |
+      | W1069 | 5    | 5      |
+      | W1069 | 6    | 9      |
+      | W0628 | 1    | 5      |
+
+  Scenario: variable is not possibly initialized because of an incomplete
+            selection statement
+    Given a target source named "fixture.c" with:
+      """
+      struct bar {
+          int x;
+          int y;
+      };
+      
+      struct bar a[3];
+      
+      int foo(int i, int j)
+      {
+          int k;
+      
+          if (i < 0) {
+              struct bar b;
+              if (j == 0) {
+                  return 0;
+              }
+              k = j < 10 ? b.x : b.y;
+          }
+          else if (i > 10) {
+              k = j ? a[0].x : a[1].y;
+          }
+      
+          return k; /* W0460 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 6    | 12     |
+      | W0117 | 8    | 5      |
+      | W0459 | 17   | 20     |
+      | C1000 |      |        |
+      | C1003 | 13   | 20     |
+      | W0100 | 13   | 20     |
+      | W0460 | 23   | 12     |
+      | C1000 |      |        |
+      | C1003 | 10   | 9      |
+      | C1002 | 12   | 11     |
+      | C1002 | 19   | 16     |
+      | W0104 | 8    | 13     |
+      | W0104 | 8    | 20     |
+      | W1071 | 8    | 5      |
+      | W0950 | 6    | 14     |
+      | W1069 | 12   | 5      |
+      | W0501 | 17   | 20     |
+      | W0114 | 20   | 13     |
+      | W0628 | 8    | 5      |
+      | W0589 | 6    | 12     |
+      | W0593 | 6    | 12     |
+
+  Scenario: variable is initialized by a complete selection statement
+    Given a target source named "fixture.c" with:
+      """
+      struct bar {
+          int x;
+          int y;
+      };
+      
+      struct bar a[3];
+      
+      int foo(int i, int j)
+      {
+          int k;
+      
+          if (i < 0) {
+              struct bar b;
+              if (j == 0) {
+                  return 0;
+              }
+              k = j < 10 ? b.x : b.y;
+          }
+          else {
+              k = j ? a[0].x : a[1].y;
+          }
+      
+          return k; /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 6    | 12     |
+      | W0117 | 8    | 5      |
+      | W0459 | 17   | 20     |
+      | C1000 |      |        |
+      | C1003 | 13   | 20     |
+      | W0100 | 13   | 20     |
+      | W0104 | 8    | 13     |
+      | W0104 | 8    | 20     |
+      | W1071 | 8    | 5      |
+      | W0950 | 6    | 14     |
+      | W0501 | 17   | 20     |
+      | W0114 | 20   | 13     |
+      | W0628 | 8    | 5      |
+      | W0589 | 6    | 12     |
+      | W0593 | 6    | 12     |

data/features/code_check/W0461.feature

@@ -86,7 +86,12 @@ Feature: W0461
       | W0117 | 3    | 6      |
       | W0534 | 7    | 10     |
       | W0705 | 8    | 11     |
+      | C1000 |      |        |
+      | C1006 | 3    | 14     |
       | W0462 | 11   | 9      |
+      | C1000 |      |        |
+      | C1003 | 5    | 9      |
+      | C1002 | 7    | 14     |
       | W0950 | 5    | 11     |
       | W0628 | 3    | 6      |
 

data/features/code_check/W0497.feature

@@ -16,7 +16,11 @@ Feature: W0497
       | mesg  | line | column |
       | W1076 | 1    | 12     |
       | W0116 | 3    | 14     |
+      | C1000 |      |        |
+      | C1006 | 1    | 29     |
       | W0116 | 3    | 23     |
+      | C1000 |      |        |
+      | C1006 | 1    | 45     |
       | W0104 | 1    | 29     |
       | W0104 | 1    | 45     |
       | W0629 | 1    | 12     |
@@ -37,7 +41,11 @@ Feature: W0497
       | mesg  | line | column |
       | W1076 | 1    | 12     |
       | W0116 | 3    | 15     |
+      | C1000 |      |        |
+      | C1006 | 1    | 29     |
       | W0116 | 3    | 26     |
+      | C1000 |      |        |
+      | C1006 | 1    | 45     |
       | W0104 | 1    | 29     |
       | W0104 | 1    | 45     |
       | W0629 | 1    | 12     |
@@ -56,7 +64,11 @@ Feature: W0497
       | mesg  | line | column |
       | W1076 | 1    | 12     |
       | W0116 | 3    | 15     |
+      | C1000 |      |        |
+      | C1006 | 1    | 29     |
       | W0116 | 3    | 24     |
+      | C1000 |      |        |
+      | C1006 | 1    | 45     |
       | W0104 | 1    | 29     |
       | W0104 | 1    | 45     |
       | W0629 | 1    | 12     |

data/features/code_check/W0499.feature

@@ -16,6 +16,8 @@ Feature: W0499
       | mesg  | line | column |
       | W1076 | 1    | 21     |
       | W0116 | 3    | 14     |
+      | C1000 |      |        |
+      | C1006 | 1    | 38     |
       | W0104 | 1    | 38     |
       | W0104 | 1    | 54     |
       | W0104 | 1    | 70     |
@@ -36,6 +38,8 @@ Feature: W0499
       | mesg  | line | column |
       | W1076 | 1    | 21     |
       | W0116 | 3    | 15     |
+      | C1000 |      |        |
+      | C1006 | 1    | 38     |
       | W0104 | 1    | 38     |
       | W0104 | 1    | 54     |
       | W0104 | 1    | 70     |
@@ -55,6 +59,8 @@ Feature: W0499
       | mesg  | line | column |
       | W1076 | 1    | 21     |
       | W0116 | 3    | 15     |
+      | C1000 |      |        |
+      | C1006 | 1    | 38     |
       | W0104 | 1    | 38     |
       | W0104 | 1    | 54     |
       | W0104 | 1    | 70     |