adlint 2.6.14 → 3.0.0

data/features/code_check/W0723.feature

@@ -13,7 +13,6 @@ Feature: W0723
       | mesg  | line | column |
       | W0567 | 2    | 25     |
       | W0167 | 2    | 45     |
-      | W9003 | 2    | 45     |
 
   Scenario: multiplication of two arbitrary `signed short' values
     Given a target source named "fixture.c" with:

data/features/code_check/W0745.feature

@@ -124,6 +124,7 @@ Feature: W0745
       | W0118 | 1    | 12     |
       | W0117 | 3    | 6      |
       | W9003 | 6    | 11     |
+      | W0023 | 6    | 13     |
       | W9003 | 6    | 19     |
       | W0024 | 6    | 17     |
       | W0745 | 6    | 10     |

data/features/code_check/W0781.feature

@@ -88,6 +88,7 @@ Feature: W0781
       | W0781 | 11   | 9      |
       | W1070 | 11   | 9      |
       | W1070 | 7    | 5      |
+      | W9001 | 18   | 5      |
       | W0628 | 1    | 12     |
 
   Scenario: `switch' statement which has only two execution paths and the

data/features/code_check/W1057.feature

@@ -0,0 +1,141 @@
+Feature: W1057
+
+  W1057 detects that a value of enum typed non-constant expression is assigned
+  to the inconsistently enum typed variable.
+
+  Scenario: assigning a value of the consistently enum typed constant
+            expression
+    Given a target source named "fixture.c" with:
+      """
+      enum Color { RED, BLUE, GREEN };
+      enum Fruit { APPLE, BANANA, ORANGE, GRAPE };
+
+      static void foo(void)
+      {
+          enum Color c = RED;
+
+          c = BLUE; /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1076 | 4    | 13     |
+      | W0629 | 4    | 13     |
+      | W0628 | 4    | 13     |
+
+  Scenario: assigning a value of the consistently enum typed non-constant
+            expression
+    Given a target source named "fixture.c" with:
+      """
+      enum Color { RED, BLUE, GREEN };
+      enum Fruit { APPLE, BANANA, ORANGE, GRAPE };
+
+      static void foo(const enum Color p)
+      {
+          enum Color c = RED;
+
+          c = p; /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1076 | 4    | 13     |
+      | W0629 | 4    | 13     |
+      | W0628 | 4    | 13     |
+
+  Scenario: assigning a value of the inconsistently enum typed constant
+            expression
+    Given a target source named "fixture.c" with:
+      """
+      enum Color { RED, BLUE, GREEN };
+      enum Fruit { APPLE, BANANA, ORANGE, GRAPE };
+
+      static void foo(void)
+      {
+          enum Color c = RED;
+
+          c = ORANGE; /* OK but W0729 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1076 | 4    | 13     |
+      | W9003 | 8    | 9      |
+      | W0729 | 8    | 7      |
+      | W0629 | 4    | 13     |
+      | W0628 | 4    | 13     |
+
+  Scenario: assigning a value of the inconsistently enum typed non-constant
+            expression
+    Given a target source named "fixture.c" with:
+      """
+      enum Color { RED, BLUE, GREEN };
+      enum Fruit { APPLE, BANANA, ORANGE, GRAPE };
+
+      static void foo(const enum Fruit f)
+      {
+          enum Color c = RED;
+
+          c = f; /* W1057 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1076 | 4    | 13     |
+      | W0727 | 8    | 9      |
+      | W9003 | 8    | 9      |
+      | W1057 | 8    | 7      |
+      | W1062 | 8    | 7      |
+      | W0629 | 4    | 13     |
+      | W0628 | 4    | 13     |
+
+  Scenario: assigning a value of `int' typed constant expression
+    Given a target source named "fixture.c" with:
+      """
+      enum Color { RED, BLUE, GREEN };
+      enum Fruit { APPLE, BANANA, ORANGE, GRAPE };
+
+      static void foo(void)
+      {
+          enum Color c = RED;
+
+          c = 2; /* OK but W1054 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1076 | 4    | 13     |
+      | W9003 | 8    | 9      |
+      | W1054 | 8    | 7      |
+      | W0629 | 4    | 13     |
+      | W0628 | 4    | 13     |
+
+  Scenario: assigning a value of `int' typed non-constant expression
+    Given a target source named "fixture.c" with:
+      """
+      enum Color { RED, BLUE, GREEN };
+      enum Fruit { APPLE, BANANA, ORANGE, GRAPE };
+
+      static void foo(const int i)
+      {
+          enum Color c = RED;
+
+          c = i + 1; /* OK but W1062 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1076 | 4    | 13     |
+      | W0723 | 8    | 11     |
+      | W0727 | 8    | 11     |
+      | W9003 | 8    | 11     |
+      | W1054 | 8    | 7      |
+      | W1062 | 8    | 7      |
+      | W0629 | 4    | 13     |
+      | W0628 | 4    | 13     |

data/features/code_check/W1058.feature

@@ -0,0 +1,93 @@
+Feature: W1058
+
+  W1058 detects that a function of enum return type is returning a value of
+  inconsistently enum typed non-constant expression.
+
+  Scenario: returning a value of the consistently enum typed constant
+            expression
+    Given a target source named "fixture.c" with:
+      """
+      enum Color { RED, BLUE, GREEN };
+      enum Fruit { APPLE, BANANA, ORANGE, GRAPE };
+
+      static enum Color foo(void)
+      {
+          return RED + 1; /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1076 | 4    | 19     |
+      | W9003 | 6    | 18     |
+      | W0629 | 4    | 19     |
+      | W0628 | 4    | 19     |
+
+  Scenario: returning a value of the consistently enum typed non-constant
+            expression
+    Given a target source named "fixture.c" with:
+      """
+      enum Color { RED, BLUE, GREEN };
+      enum Fruit { APPLE, BANANA, ORANGE, GRAPE };
+
+      static enum Color foo(const enum Color c)
+      {
+          return c + 1; /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1076 | 4    | 19     |
+      | W9003 | 6    | 16     |
+      | W0723 | 6    | 14     |
+      | W0629 | 4    | 19     |
+      | W0628 | 4    | 19     |
+
+  Scenario: returning a value of the inconsistently enum typed constant
+            expression
+    Given a target source named "fixture.c" with:
+      """
+      enum Color { RED, BLUE, GREEN };
+      enum Fruit { APPLE, BANANA, ORANGE, GRAPE };
+
+      static enum Color foo(void)
+      {
+          return ORANGE + 1; /* OK but W0730 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1076 | 4    | 19     |
+      | W9003 | 6    | 21     |
+      | W0727 | 6    | 19     |
+      | W9003 | 6    | 19     |
+      | W0730 | 6    | 19     |
+      | W0629 | 4    | 19     |
+      | W0628 | 4    | 19     |
+
+  Scenario: returning a value of the inconsistently enum typed non-constant
+            expression
+    Given a target source named "fixture.c" with:
+      """
+      enum Color { RED, BLUE, GREEN };
+      enum Fruit { APPLE, BANANA, ORANGE, GRAPE };
+
+      static enum Color foo(const enum Fruit f)
+      {
+          return f + 1; /* W1058 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1076 | 4    | 19     |
+      | W9003 | 6    | 16     |
+      | W0723 | 6    | 14     |
+      | W0727 | 6    | 14     |
+      | W9003 | 6    | 14     |
+      | W1058 | 6    | 14     |
+      | W1063 | 6    | 14     |
+      | W0629 | 4    | 19     |
+      | W0628 | 4    | 19     |

data/features/code_check/W1059.feature

@@ -0,0 +1,86 @@
+Feature: W1059
+
+  W1059 detects that a value of enum typed expression is passed to a non-enum
+  typed parameter.
+
+  Scenario: passing a value of the enum typed constant expression
+    Given a target source named "fixture.c" with:
+      """
+      enum Color { RED, BLUE, GREEN };
+
+      extern void foo(int);
+
+      static void bar(void)
+      {
+          foo(RED + 1); /* W1059 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 3    | 13     |
+      | W1076 | 5    | 13     |
+      | W9003 | 7    | 15     |
+      | W9003 | 7    | 13     |
+      | W1059 | 7    | 13     |
+      | W0629 | 5    | 13     |
+      | W0628 | 5    | 13     |
+
+  Scenario: passing a value of the enum typed non-constant expression
+    Given a target source named "fixture.c" with:
+      """
+      enum Color { RED, BLUE, GREEN };
+
+      extern void foo(int);
+
+      static void bar(const enum Color c)
+      {
+          foo(c); /* W1059 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 3    | 13     |
+      | W1076 | 5    | 13     |
+      | W9003 | 7    | 9      |
+      | W1059 | 7    | 9      |
+      | W0629 | 5    | 13     |
+      | W0628 | 5    | 13     |
+
+  Scenario: passing a value of consistently typed constant expression
+    Given a target source named "fixture.c" with:
+      """
+      extern void foo(int);
+
+      static void bar(void)
+      {
+          foo(1 + 1); /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W1076 | 3    | 13     |
+      | W0629 | 3    | 13     |
+      | W0628 | 3    | 13     |
+
+  Scenario: passing a value of inconsistently typed constant expression
+    Given a target source named "fixture.c" with:
+      """
+      extern void foo(int);
+
+      static void bar(void)
+      {
+          foo(1.0 * .1); /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W1076 | 3    | 13     |
+      | W0226 | 5    | 13     |
+      | W0629 | 3    | 13     |
+      | W0628 | 3    | 13     |

data/features/code_check/W1060.feature

@@ -0,0 +1,77 @@
+Feature: W1060
+
+  W1060 detects that a function of non-enum return type is returning a value of
+  enum typed expression.
+
+  Scenario: returning a value of the enum typed constant expression
+    Given a target source named "fixture.c" with:
+      """
+      enum Color { RED, BLUE, GREEN };
+
+      static int bar(void)
+      {
+          return RED + 1; /* W1060 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1076 | 3    | 12     |
+      | W9003 | 5    | 18     |
+      | W9003 | 5    | 16     |
+      | W1060 | 5    | 16     |
+      | W0629 | 3    | 12     |
+      | W0628 | 3    | 12     |
+
+  Scenario: returning a value of the enum typed non-constant expression
+    Given a target source named "fixture.c" with:
+      """
+      enum Color { RED, BLUE, GREEN };
+
+      static int bar(const enum Color c)
+      {
+          return c + 1; /* W1060 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1076 | 3    | 12     |
+      | W9003 | 5    | 16     |
+      | W0723 | 5    | 14     |
+      | W9003 | 5    | 14     |
+      | W1060 | 5    | 14     |
+      | W0629 | 3    | 12     |
+      | W0628 | 3    | 12     |
+
+  Scenario: returning a value of consistently typed constant expression
+    Given a target source named "fixture.c" with:
+      """
+      static int foo(void)
+      {
+          return 1 + 1; /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1076 | 1    | 12     |
+      | W0629 | 1    | 12     |
+      | W0628 | 1    | 12     |
+
+  Scenario: returning a value of inconsistently typed constant expression
+    Given a target source named "fixture.c" with:
+      """
+      static int foo(void)
+      {
+          return 1.0 * .1; /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1076 | 1    | 12     |
+      | W0226 | 3    | 16     |
+      | W0362 | 3    | 5      |
+      | W0629 | 1    | 12     |
+      | W0628 | 1    | 12     |

data/features/code_check/W1061.feature

@@ -0,0 +1,143 @@
+Feature: W1061
+
+  W1061 detects that a value of the inconsistently typed non-constant
+  expression is passed to a enum typed parameter.
+
+  Scenario: non-constant `int' typed expression
+    Given a target source named "fixture.c" with:
+      """
+      enum Color { RED, BLUE, GREEN };
+      enum Fruit { APPLE, BANANA, ORANGE, GRAPE };
+
+      extern void foo(enum Color);
+
+      static void bar(const int i)
+      {
+          foo(i + 1); /* W1061 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 4    | 13     |
+      | W1076 | 6    | 13     |
+      | W0723 | 8    | 11     |
+      | W0727 | 8    | 11     |
+      | W9003 | 8    | 11     |
+      | W1061 | 8    | 11     |
+      | W0629 | 6    | 13     |
+      | W0628 | 6    | 13     |
+
+  Scenario: non-constant consistent enum typed expression
+    Given a target source named "fixture.c" with:
+      """
+      enum Color { RED, BLUE, GREEN };
+      enum Fruit { APPLE, BANANA, ORANGE, GRAPE };
+
+      extern void foo(enum Color);
+
+      static void bar(const enum Color c)
+      {
+          foo(c); /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 4    | 13     |
+      | W1076 | 6    | 13     |
+      | W0629 | 6    | 13     |
+      | W0628 | 6    | 13     |
+
+  Scenario: non-constant inconsistent enum typed expression
+    Given a target source named "fixture.c" with:
+      """
+      enum Color { RED, BLUE, GREEN };
+      enum Fruit { APPLE, BANANA, ORANGE, GRAPE };
+
+      extern void foo(enum Color);
+
+      static void bar(const enum Fruit f)
+      {
+          foo(f); /* W1061 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 4    | 13     |
+      | W1076 | 6    | 13     |
+      | W0727 | 8    | 9      |
+      | W9003 | 8    | 9      |
+      | W1056 | 8    | 9      |
+      | W1061 | 8    | 9      |
+      | W0629 | 6    | 13     |
+      | W0628 | 6    | 13     |
+
+  Scenario: constant consistent `int' typed expression
+    Given a target source named "fixture.c" with:
+      """
+      enum Color { RED, BLUE, GREEN };
+
+      extern void foo(enum Color);
+
+      static void bar(void)
+      {
+          foo(2); /* OK but W1053 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 3    | 13     |
+      | W1076 | 5    | 13     |
+      | W9003 | 7    | 9      |
+      | W1053 | 7    | 9      |
+      | W0629 | 5    | 13     |
+      | W0628 | 5    | 13     |
+
+  Scenario: constant consistent enum typed expression
+    Given a target source named "fixture.c" with:
+      """
+      enum Color { RED, BLUE, GREEN };
+
+      extern void foo(enum Color);
+
+      static void bar(void)
+      {
+          foo(RED + 1); /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 3    | 13     |
+      | W1076 | 5    | 13     |
+      | W9003 | 7    | 15     |
+      | W0629 | 5    | 13     |
+      | W0628 | 5    | 13     |
+
+  Scenario: constant inconsistent enum typed expression
+    Given a target source named "fixture.c" with:
+      """
+      enum Color { RED, BLUE, GREEN };
+      enum Fruit { APPLE, BANANA, ORANGE, GRAPE };
+
+      extern void foo(enum Color);
+
+      static void bar(void)
+      {
+          foo(ORANGE + 1); /* OK but W0728 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 4    | 13     |
+      | W1076 | 6    | 13     |
+      | W9003 | 8    | 18     |
+      | W0727 | 8    | 16     |
+      | W9003 | 8    | 16     |
+      | W0728 | 8    | 16     |
+      | W0629 | 6    | 13     |
+      | W0628 | 6    | 13     |