adlint 1.18.6 → 2.0.0

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

@@ -3,7 +3,7 @@ Feature: W1026
   W1026 detects that type of an argument is incomplete.
 
   Scenario: incomplete struct type as an argument
-    Given a target source named "W1026.c" with:
+    Given a target source named "fixture.c" with:
       """
       extern struct st s;
       extern void foo(struct st);
@@ -13,7 +13,7 @@ Feature: W1026
           foo(s); /* W1026 */
       }
       """
-    When I successfully run `adlint W1026.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 1    | 18     |
@@ -24,7 +24,7 @@ Feature: W1026
       | W0628 | 4    | 6      |
 
   Scenario: incomplete typedef-ed struct type as an argument
-    Given a target source named "W1026.c" with:
+    Given a target source named "fixture.c" with:
       """
       typedef struct st st_t;
 
@@ -36,7 +36,7 @@ Feature: W1026
           foo(s); /* W1026 */
       }
       """
-    When I successfully run `adlint W1026.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 3    | 13     |
@@ -48,7 +48,7 @@ Feature: W1026
       | W0628 | 6    | 6      |
 
   Scenario: complete struct type as an argument
-    Given a target source named "W1026.c" with:
+    Given a target source named "fixture.c" with:
       """
       typedef struct {
           int i;
@@ -62,7 +62,7 @@ Feature: W1026
           foo(s); /* OK */
       }
       """
-    When I successfully run `adlint W1026.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 5    | 13     |
@@ -73,7 +73,7 @@ Feature: W1026
       | W0628 | 8    | 6      |
 
   Scenario: multiple incomplete typed arguments
-    Given a target source named "W1026.c" with:
+    Given a target source named "fixture.c" with:
       """
       typedef struct st st_t;
       typedef enum en en_t;
@@ -87,7 +87,7 @@ Feature: W1026
           foo(s, 0, e); /* two W1026 */
       }
       """
-    When I successfully run `adlint W1026.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 4    | 13     |

data/features/code_check/W1030.feature

@@ -0,0 +1,84 @@
+Feature: W1030
+
+  W1030 detects that label with the same name is used more than two.
+
+  Scenario: same named label is used in twice
+    Given a target source named "fixture.c" with:
+      """
+      extern void func(const int a, const int b)
+      {
+          if (a == 0) {
+              int c = 0;
+      RETRY:
+              b = 10;
+          }
+
+          if (b != 0) {
+              goto RETRY;
+          }
+      RETRY: /* W1030 */
+          b = 1;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 13     |
+      | W0100 | 4    | 13     |
+      | W0564 | 10   | 9      |
+      | W1072 | 10   | 9      |
+      | W1030 | 12   | 1      |
+      | W0628 | 1    | 13     |
+
+  Scenario: only one label in a function
+    Given a target source named "fixture.c" with:
+      """
+      extern void func(const int a, const int b)
+      {
+          if (a == 0) {
+              int c = 0;
+          }
+
+          if (b != 0) {
+              goto RETRY;
+          }
+      RETRY: /* OK */
+          b = 1;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 13     |
+      | W0100 | 4    | 13     |
+      | W1072 | 8    | 9      |
+      | W0628 | 1    | 13     |
+
+  Scenario: two different labels in a function
+    Given a target source named "fixture.c" with:
+      """
+      extern void func(const int a, const int b)
+      {
+          if (a == 0) {
+              goto ERROR;
+          }
+
+          if (b != 0) {
+              goto RETRY;
+          }
+
+      ERROR: /* OK */
+          b = 0;
+      RETRY: /* OK */
+          b = 1;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 13     |
+      | W1072 | 4    | 9      |
+      | W1072 | 8    | 9      |
+      | W0628 | 1    | 13     |
+
+# vim:ts=2:sw=2:sts=2:et:

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

@@ -5,7 +5,7 @@ Feature: W1031
 
   Scenario: function declaration with `static' and function definition without
             storage-class-specifier
-    Given a target source named "W1031.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int foo(long);
 
@@ -13,7 +13,7 @@ Feature: W1031
           return (int) l;
       }
       """
-    When I successfully run `adlint W1031.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1075 | 3    | 5      |
@@ -23,7 +23,7 @@ Feature: W1031
 
   Scenario: function declaration with `extern' and function definition without
             storage-class-specifier
-    Given a target source named "W1031.c" with:
+    Given a target source named "fixture.c" with:
       """
       extern int foo(long);
 
@@ -31,7 +31,7 @@ Feature: W1031
           return (int) l;
       }
       """
-    When I successfully run `adlint W1031.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 1    | 12     |
@@ -40,7 +40,7 @@ Feature: W1031
 
   Scenario: function declaration without storage-class-specifier and function
             definition without storage-class-specifier
-    Given a target source named "W1031.c" with:
+    Given a target source named "fixture.c" with:
       """
       int foo(long);
 
@@ -48,7 +48,7 @@ Feature: W1031
           return (int) l;
       }
       """
-    When I successfully run `adlint W1031.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 1    | 5      |
@@ -57,7 +57,7 @@ Feature: W1031
 
   Scenario: function declaration without storage-class-specifier and function
             definition with `static'
-    Given a target source named "W1031.c" with:
+    Given a target source named "fixture.c" with:
       """
       int foo(long);
 
@@ -65,7 +65,7 @@ Feature: W1031
           return (int) l;
       }
       """
-    When I successfully run `adlint W1031.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 1    | 5      |
@@ -75,7 +75,7 @@ Feature: W1031
 
   Scenario: function declaration without storage-class-specifier and function
             definition with `extern'
-    Given a target source named "W1031.c" with:
+    Given a target source named "fixture.c" with:
       """
       int foo(long);
 
@@ -83,7 +83,7 @@ Feature: W1031
           return (int) l;
       }
       """
-    When I successfully run `adlint W1031.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 1    | 5      |
@@ -92,7 +92,7 @@ Feature: W1031
 
   Scenario: function declaration with `static' and function definition with
             `extern'
-    Given a target source named "W1031.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int foo(long);
 
@@ -100,7 +100,7 @@ Feature: W1031
           return (int) l;
       }
       """
-    When I successfully run `adlint W1031.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1031 | 3    | 12     |
@@ -111,7 +111,7 @@ Feature: W1031
 
   Scenario: function declaration with `extern' and function definition with
             `static'
-    Given a target source named "W1031.c" with:
+    Given a target source named "fixture.c" with:
       """
       extern int foo(long);
 
@@ -119,7 +119,7 @@ Feature: W1031
           return (int) l;
       }
       """
-    When I successfully run `adlint W1031.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 1    | 12     |
@@ -129,24 +129,24 @@ Feature: W1031
 
   Scenario: variable declaration with `extern' and variable definition without
             storage-class-specifier
-    Given a target source named "W1031.c" with:
+    Given a target source named "fixture.c" with:
       """
       extern int i;
       int i = 0; /* OK */
       """
-    When I successfully run `adlint W1031.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 1    | 12     |
 
   Scenario: variable definition without storage-class-specifier and variable
             declaration with `extern'
-    Given a target source named "W1031.c" with:
+    Given a target source named "fixture.c" with:
       """
       int i;
       extern int i; /* OK */
       """
-    When I successfully run `adlint W1031.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      |
@@ -154,12 +154,12 @@ Feature: W1031
 
   Scenario: function declaration with `static' and function definition with
             `extern'
-    Given a target source named "W1031.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int i;
       extern int i = 0; /* W1031 */
       """
-    When I successfully run `adlint W1031.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1031 | 2    | 12     |
@@ -167,12 +167,12 @@ Feature: W1031
 
   Scenario: variable declaration with `extern' and variable definition with
             `static'
-    Given a target source named "W1031.c" with:
+    Given a target source named "fixture.c" with:
       """
       extern int i;
       static int i = 0; /* W1031 */
       """
-    When I successfully run `adlint W1031.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 1    | 12     |
@@ -180,7 +180,7 @@ Feature: W1031
 
   Scenario: function definition with `static' and function declaration without
             storage-class-specifier
-    Given a target source named "W1031.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int foo(long l) {
           return (int) l;
@@ -188,7 +188,7 @@ Feature: W1031
 
       int foo(long); /* OK */
       """
-    When I successfully run `adlint W1031.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     |
@@ -200,7 +200,7 @@ Feature: W1031
 
   Scenario: function definition with `extern' and function declaration without
             storage-class-specifier
-    Given a target source named "W1031.c" with:
+    Given a target source named "fixture.c" with:
       """
       extern int foo(long l) {
           return (int) l;
@@ -208,7 +208,7 @@ Feature: W1031
 
       int foo(long); /* OK */
       """
-    When I successfully run `adlint W1031.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 12     |
@@ -219,7 +219,7 @@ Feature: W1031
 
   Scenario: function definition without storage-class-specifier and function
             declaration without storage-class-specifier
-    Given a target source named "W1031.c" with:
+    Given a target source named "fixture.c" with:
       """
       int foo(long l) {
           return (int) l;
@@ -227,7 +227,7 @@ Feature: W1031
 
       int foo(long); /* OK */
       """
-    When I successfully run `adlint W1031.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      |
@@ -238,7 +238,7 @@ Feature: W1031
 
   Scenario: function definition without storage-class-specifier and function
             declaration with `static'
-    Given a target source named "W1031.c" with:
+    Given a target source named "fixture.c" with:
       """
       int foo(long l) {
           return (int) l;
@@ -246,7 +246,7 @@ Feature: W1031
 
       static int foo(long); /* W1031 */
       """
-    When I successfully run `adlint W1031.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      |
@@ -258,7 +258,7 @@ Feature: W1031
 
   Scenario: function definition without storage-class-specifier and function
             declaration with `extern'
-    Given a target source named "W1031.c" with:
+    Given a target source named "fixture.c" with:
       """
       int foo(long l) {
           return (int) l;
@@ -266,7 +266,7 @@ Feature: W1031
 
       extern int foo(long); /* OK */
       """
-    When I successfully run `adlint W1031.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      |
@@ -277,7 +277,7 @@ Feature: W1031
 
   Scenario: function definition with `static' and function declaration with
             `extern'
-    Given a target source named "W1031.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int foo(long l) {
           return (int) l;
@@ -285,7 +285,7 @@ Feature: W1031
 
       extern int foo(long l); /* W1031 */
       """
-    When I successfully run `adlint W1031.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     |
@@ -297,7 +297,7 @@ Feature: W1031
 
   Scenario: function definition with `extern' and function declaration with
             `static'
-    Given a target source named "W1031.c" with:
+    Given a target source named "fixture.c" with:
       """
       extern int foo(long l) {
           return (int) l;
@@ -305,7 +305,7 @@ Feature: W1031
 
       static int foo(long); /* W1031 */
       """
-    When I successfully run `adlint W1031.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 12     |