adlint 1.18.6 → 2.0.0

data/features/{message_detection → code_check}/W0717.feature

@@ -4,14 +4,14 @@ Feature: W0717
   expression is `effectively boolean'.
 
   Scenario: an arithmetic expression
-    Given a target source named "W0717.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int func(int a, int b, int c)
       {
           return (a > b) + c; /* W0717 */
       }
       """
-    When I successfully run `adlint W0717.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 12     |
@@ -24,14 +24,14 @@ Feature: W0717
       | W0628 | 1    | 12     |
 
   Scenario: a bitwise expression
-    Given a target source named "W0717.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int func(int a, int b, int c)
       {
           return (a > b) ^ c; /* W0717 */
       }
       """
-    When I successfully run `adlint W0717.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 12     |
@@ -44,14 +44,14 @@ Feature: W0717
       | W0628 | 1    | 12     |
 
   Scenario: a shift expression
-    Given a target source named "W0717.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int func(int a, int b, int c)
       {
           return (a > b) << c; /* W0717 */
       }
       """
-    When I successfully run `adlint W0717.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 12     |

data/features/{message_detection → code_check}/W0718.feature

@@ -4,14 +4,14 @@ Feature: W0718
   expression is `effectively boolean'.
 
   Scenario: an arithmetic expression
-    Given a target source named "W0718.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int func(int a, int b, int c)
       {
           return a + (b > c); /* W0718 */
       }
       """
-    When I successfully run `adlint W0718.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 12     |
@@ -24,14 +24,14 @@ Feature: W0718
       | W0628 | 1    | 12     |
 
   Scenario: a bitwise expression
-    Given a target source named "W0718.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int func(int a, int b, int c)
       {
           return a ^ (b > c); /* W0718 */
       }
       """
-    When I successfully run `adlint W0718.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 12     |
@@ -44,14 +44,14 @@ Feature: W0718
       | W0628 | 1    | 12     |
 
   Scenario: a shift expression
-    Given a target source named "W0718.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int func(int a, int b, int c)
       {
           return a << (b > c); /* W0718 */
       }
       """
-    When I successfully run `adlint W0718.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 12     |

data/features/{message_detection → code_check}/W0719.feature

@@ -4,14 +4,14 @@ Feature: W0719
   than the bit length of underlying type of the left hand side.
 
   Scenario: 31-bit left shift-expression of `char' value
-    Given a target source named "W0719.c" with:
+    Given a target source named "fixture.c" with:
       """
       int foo(char c)
       {
           return c << 31; /* W0719 */
       }
       """
-    When I successfully run `adlint W0719.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 5      |
@@ -23,14 +23,14 @@ Feature: W0719
       | W0628 | 1    | 5      |
 
   Scenario: 31-bit right shift-expression of `char' value
-    Given a target source named "W0719.c" with:
+    Given a target source named "fixture.c" with:
       """
       int foo(char c)
       {
           return c >> 31; /* W0719 */
       }
       """
-    When I successfully run `adlint W0719.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 5      |
@@ -41,14 +41,14 @@ Feature: W0719
       | W0628 | 1    | 5      |
 
   Scenario: 7-bit left shift-expression of `char' value
-    Given a target source named "W0719.c" with:
+    Given a target source named "fixture.c" with:
       """
       int foo(char c)
       {
           return c << 7; /* OK */
       }
       """
-    When I successfully run `adlint W0719.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 5      |
@@ -59,14 +59,14 @@ Feature: W0719
       | W0628 | 1    | 5      |
 
   Scenario: 7-bit right shift-expression of `char' value
-    Given a target source named "W0719.c" with:
+    Given a target source named "fixture.c" with:
       """
       int foo(char c)
       {
           return c >> 7; /* OK */
       }
       """
-    When I successfully run `adlint W0719.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 5      |
@@ -76,14 +76,14 @@ Feature: W0719
       | W0628 | 1    | 5      |
 
   Scenario: 31-bit left shift compound-assignment-expression of `char' value
-    Given a target source named "W0719.c" with:
+    Given a target source named "fixture.c" with:
       """
       void foo(char c)
       {
           c <<= 31; /* W0719 */
       }
       """
-    When I successfully run `adlint W0719.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 6      |
@@ -96,14 +96,14 @@ Feature: W0719
       | W0628 | 1    | 6      |
 
   Scenario: 31-bit right shift-expression of `char' value
-    Given a target source named "W0719.c" with:
+    Given a target source named "fixture.c" with:
       """
       int foo(char c)
       {
           return c >> 31; /* W0719 */
       }
       """
-    When I successfully run `adlint W0719.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 5      |
@@ -114,14 +114,14 @@ Feature: W0719
       | W0628 | 1    | 5      |
 
   Scenario: 63-bit left shift compound-assignment-expression of `char' value
-    Given a target source named "W0719.c" with:
+    Given a target source named "fixture.c" with:
       """
       void foo(char c)
       {
           c <<= 63; /* OK but W0650 */
       }
       """
-    When I successfully run `adlint W0719.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 6      |
@@ -134,14 +134,14 @@ Feature: W0719
       | W0628 | 1    | 6      |
 
   Scenario: 63-bit right shift-expression of `char' value
-    Given a target source named "W0719.c" with:
+    Given a target source named "fixture.c" with:
       """
       int foo(char c)
       {
           return c >> 63; /* OK but W0650 */
       }
       """
-    When I successfully run `adlint W0719.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 5      |

data/features/{message_detection → code_check}/W0723.feature

@@ -3,12 +3,12 @@ Feature: W0723
   W0723 detects that an arithmetic operation of signed values may be overflow.
 
   Scenario: an arithmetic operation in initializer of a global variable
-    Given a target source named "W0723.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int i = 5;
       static unsigned int j = (unsigned int) &i + 1; /* OK */
       """
-    When I successfully run `adlint W0723.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0567 | 2    | 25     |
@@ -16,14 +16,14 @@ Feature: W0723
       | W9003 | 2    | 45     |
 
   Scenario: multiplication of two arbitrary `signed short' values
-    Given a target source named "W0723.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int foo(short a, short b)
       {
           return a * b; /* W0723 should not be output */
       }
       """
-    When I successfully run `adlint W0723.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 12     |
@@ -33,14 +33,14 @@ Feature: W0723
       | W0628 | 1    | 12     |
 
   Scenario: multiplication of two arbitrary `signed int' values
-    Given a target source named "W0723.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int foo(int a, int b)
       {
           return a * b; /* W0723 */
       }
       """
-    When I successfully run `adlint W0723.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 12     |

data/features/code_check/W0726.feature

@@ -0,0 +1,95 @@
+Feature: W0726
+
+  W0726 detects that `return' statement is found in qualified void function.
+
+  Scenario: `return' with value statement in const void function
+    Given a target source named "fixture.c" with:
+      """
+      const void func(void) /* W0726 */
+      {
+          return 0;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 12     |
+      | W1033 | 1    | 12     |
+      | W0726 | 3    | 5      |
+      | W0628 | 1    | 12     |
+
+  Scenario: `return' with value statement in volatile void function
+    Given a target source named "fixture.c" with:
+      """
+      volatile void func(void) /* W0726 */
+      {
+          return 0;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 15     |
+      | W1033 | 1    | 15     |
+      | W0726 | 3    | 5      |
+      | W0628 | 1    | 15     |
+
+  Scenario: `return;' statement in const void function
+    Given a target source named "fixture.c" with:
+      """
+      const void func(void) /* OK */
+      {
+          return;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 12     |
+      | W1033 | 1    | 12     |
+      | W0628 | 1    | 12     |
+
+  Scenario: `return;' statement in volatile void function
+    Given a target source named "fixture.c" with:
+      """
+      volatile void func(void) /* OK */
+      {
+          return;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 15     |
+      | W1033 | 1    | 15     |
+      | W0628 | 1    | 15     |
+
+  Scenario: `return' with value statement in void function
+    Given a target source named "fixture.c" with:
+      """
+      void func(void) /* OK */
+      {
+          return 0;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0628 | 1    | 6      |
+
+  Scenario: `return' statement in void function
+    Given a target source named "fixture.c" with:
+      """
+      void func(void) /* OK */
+      {
+          return 0;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0628 | 1    | 6      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/{message_detection → code_check}/W0732.feature

@@ -4,7 +4,7 @@ Feature: W0732
   arithmetic expression.
 
   Scenario: both sides of `&&' operator are arithmetic expressions
-    Given a target source named "W0732.c" with:
+    Given a target source named "fixture.c" with:
       """
       static void func(int a, int b, int c, int d)
       {
@@ -20,7 +20,7 @@ Feature: W0732
           r = (a *= b) && (c /= d); /* W0732 */
       }
       """
-    When I successfully run `adlint W0732.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 13     |
@@ -60,7 +60,7 @@ Feature: W0732
       | W0628 | 1    | 13     |
 
   Scenario: both sides of `&&' operator are bitwise expressions
-    Given a target source named "W0732.c" with:
+    Given a target source named "fixture.c" with:
       """
       static void func(int a, int b, int c, int d)
       {
@@ -76,7 +76,7 @@ Feature: W0732
           r = (a <<= b) && (c >>= d); /* W0732 */
       }
       """
-    When I successfully run `adlint W0732.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 13     |
@@ -127,7 +127,7 @@ Feature: W0732
       | W0628 | 1    | 13     |
 
   Scenario: both sides of `&&' operator are neither arithmetic nor bitwise
-    Given a target source named "W0732.c" with:
+    Given a target source named "fixture.c" with:
       """
       static void func(int a, int b, int c, int d)
       {
@@ -145,7 +145,7 @@ Feature: W0732
           r = (a || b) && (c || d); /* OK */
       }
       """
-    When I successfully run `adlint W0732.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 13     |

data/features/{message_detection → code_check}/W0733.feature

@@ -4,7 +4,7 @@ Feature: W0733
   arithmetic expression.
 
   Scenario: both sides of `||' operator are arithmetic expressions
-    Given a target source named "W0733.c" with:
+    Given a target source named "fixture.c" with:
       """
       static void func(int a, int b, int c, int d)
       {
@@ -20,7 +20,7 @@ Feature: W0733
           r = (a *= b) || (c /= d); /* W0733 */
       }
       """
-    When I successfully run `adlint W0733.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 13     |
@@ -60,7 +60,7 @@ Feature: W0733
       | W0628 | 1    | 13     |
 
   Scenario: both sides of `&&' operator are bitwise expressions
-    Given a target source named "W0733.c" with:
+    Given a target source named "fixture.c" with:
       """
       static void func(int a, int b, int c, int d)
       {
@@ -76,7 +76,7 @@ Feature: W0733
           r = (a <<= b) || (c >>= d); /* W0733 */
       }
       """
-    When I successfully run `adlint W0733.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 13     |
@@ -127,7 +127,7 @@ Feature: W0733
       | W0628 | 1    | 13     |
 
   Scenario: both sides of `||' operator are neither arithmetic nor bitwise
-    Given a target source named "W0733.c" with:
+    Given a target source named "fixture.c" with:
       """
       static void func(int a, int b, int c, int d)
       {
@@ -145,7 +145,7 @@ Feature: W0733
           r = (a || b) || (c || d); /* OK */
       }
       """
-    When I successfully run `adlint W0733.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 13     |