adlint 1.18.6 → 2.0.0

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

@@ -4,15 +4,15 @@ Feature: W0780
   discards upper non-zero bits.
 
   Scenario: discarding 3 of zero bits and 1 of non-zero bit in `unsigned int'
-            constant 
-    Given a target source named "W0719.c" with:
+            constant
+    Given a target source named "fixture.c" with:
       """
       unsigned int foo(void)
       {
           return 0x08000000U << 5; /* W0780 */
       }
       """
-    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    | 14     |
@@ -20,30 +20,30 @@ Feature: W0780
       | W0780 | 3    | 24     |
       | W0628 | 1    | 14     |
 
-  Scenario: discarding 4 of zero bits in `unsigned int' constant 
-    Given a target source named "W0719.c" with:
+  Scenario: discarding 4 of zero bits in `unsigned int' constant
+    Given a target source named "fixture.c" with:
       """
       unsigned int foo(void)
       {
           return 0x08000000U << 4; /* 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    | 14     |
       | W0628 | 1    | 14     |
 
   Scenario: discarding 3 of zero bits and 1 of non-zero bit in `unsigned long'
-            constant 
-    Given a target source named "W0719.c" with:
+            constant
+    Given a target source named "fixture.c" with:
       """
       unsigned long foo(void)
       {
           return 0x08000000UL << 5; /* W0780 */
       }
       """
-    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   | 15   |
@@ -51,15 +51,15 @@ Feature: W0780
       | W0780 | 3   | 25   |
       | W0628 | 1   | 15   |
 
-  Scenario: discarding 4 of zero bits in `unsigned int' constant 
-    Given a target source named "W0719.c" with:
+  Scenario: discarding 4 of zero bits in `unsigned int' constant
+    Given a target source named "fixture.c" with:
       """
       unsigned long foo(void)
       {
           return 0x08000000UL << 4; /* 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    | 15     |

data/features/code_check/W0781.feature

@@ -0,0 +1,145 @@
+Feature: W0781
+
+  W0781 detects that there is only one execution path in the switch-statement.
+
+  Scenario: `switch' statement which has only one execution path
+    Given a target source named "fixture.c" with:
+      """
+      static int func(const int i)
+      {
+          switch (i) { /* W0781 */
+          default:
+              return 8;
+          }
+      }
+      """
+    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     |
+      | W0781 | 3    | 5      |
+      | W0628 | 1    | 12     |
+
+  Scenario: `switch' statement which has three execution paths, but the control
+            never reaches to only one of that paths
+    Given a target source named "fixture.c" with:
+      """
+      static int func(const int i)
+      {
+          if (i > 5) {
+              switch (i) { /* W0781 */
+              case 0:
+                  return 1;
+              case 5:
+                  return 2;
+              default:
+                  return 3;
+              }
+          }
+          return 10;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1076 | 1    | 12     |
+      | W1071 | 1    | 12     |
+      | W0629 | 1    | 12     |
+      | W9001 | 5    | 9      |
+      | W9001 | 6    | 13     |
+      | W9001 | 7    | 9      |
+      | W9001 | 8    | 13     |
+      | W0781 | 4    | 9      |
+      | W0628 | 1    | 12     |
+
+  Scenario: `switch' statement which has only two execution paths and the
+            control never reaches to one of that paths
+    Given a target source named "fixture.c" with:
+      """
+      static int func(const int i)
+      {
+          if (i > 5) {
+              return 0;
+          }
+
+          switch (i) { /* OK */
+          case 0:
+              return 4;
+          default:
+              switch (i) { /* W0781 */
+              case 10:
+                  return 5;
+              default:
+                  return 6;
+              }
+          }
+          return 1;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1076 | 1    | 12     |
+      | W1071 | 1    | 12     |
+      | W0629 | 1    | 12     |
+      | W9001 | 12   | 9      |
+      | W9001 | 13   | 13     |
+      | W0781 | 11   | 9      |
+      | W1070 | 11   | 9      |
+      | W1070 | 7    | 5      |
+      | W0628 | 1    | 12     |
+
+  Scenario: `switch' statement which has only two execution paths and the
+            control never reaches to one of that paths
+    Given a target source named "fixture.c" with:
+      """
+      static int func(const int i)
+      {
+          if (i > 5) {
+              switch (i) { /* OK */
+              case 5:
+                  return 2;
+              default:
+                  return 3;
+              }
+          }
+          return 10;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1076 | 1    | 12     |
+      | W1071 | 1    | 12     |
+      | W0629 | 1    | 12     |
+      | W9001 | 5    | 9      |
+      | W9001 | 6    | 13     |
+      | W0781 | 4    | 9      |
+      | W1070 | 4    | 9      |
+      | W0628 | 1    | 12     |
+
+  Scenario: `switch' statement which has several execution paths
+    Given a target source named "fixture.c" with:
+      """
+      static int func(const int i)
+      {
+          switch (i) { /* OK */
+          case 5:
+              return 2;
+          case 6:
+              return 3;
+          default:
+              return 0;
+          }
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1076 | 1    | 12     |
+      | W1071 | 1    | 12     |
+      | W0629 | 1    | 12     |
+      | W0628 | 1    | 12     |
+
+# vim:ts=2:sw=2:sts=2:et:

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

@@ -4,7 +4,7 @@ Feature: W0783
   type.
 
   Scenario: casting to a pointer of an incomplete struct
-    Given a target source named "W0783.c" with:
+    Given a target source named "fixture.c" with:
       """
       extern struct Foo *gp;
 
@@ -13,7 +13,7 @@ Feature: W0783
           gp = (struct Foo *) p; /* W0783 */
       }
       """
-    When I successfully run `adlint W0783.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 1    | 20     |
@@ -24,7 +24,7 @@ Feature: W0783
       | W0628 | 3    | 6      |
 
   Scenario: casting from a pointer of an incomplete struct
-    Given a target source named "W0783.c" with:
+    Given a target source named "fixture.c" with:
       """
       extern struct Foo *gp;
 
@@ -33,7 +33,7 @@ Feature: W0783
           int *p = (int *) gp; /* W0783 */
       }
       """
-    When I successfully run `adlint W0783.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 1    | 20     |
@@ -43,7 +43,7 @@ Feature: W0783
       | W0628 | 3    | 6      |
 
   Scenario: casting from and to a pointer of an incomplete struct
-    Given a target source named "W0783.c" with:
+    Given a target source named "fixture.c" with:
       """
       extern struct Foo *p1;
       extern union Bar *p2;
@@ -53,7 +53,7 @@ Feature: W0783
           p2 = (union Bar *) p1; /* W0783 */
       }
       """
-    When I successfully run `adlint W0783.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 1    | 20     |
@@ -63,7 +63,7 @@ Feature: W0783
       | W0628 | 4    | 6      |
 
   Scenario: casting from and to a pointer of an complete type
-    Given a target source named "W0783.c" with:
+    Given a target source named "fixture.c" with:
       """
       struct Foo {
           int i;
@@ -79,7 +79,7 @@ Feature: W0783
           p2 = (union Bar *) p1; /* OK */
       }
       """
-    When I successfully run `adlint W0783.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 3    | 4      |

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

@@ -4,14 +4,14 @@ Feature: W0792
   number and pointer to a function is found.
 
   Scenario: converting `float' to function pointer
-    Given a target source named "W0792.c" with:
+    Given a target source named "fixture.c" with:
       """
       int (*foo(const float f))(void)
       {
           return (int (*)(void)) f; /* W0792 */
       }
       """
-    When I successfully run `adlint W0792.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 7      |
@@ -19,14 +19,14 @@ Feature: W0792
       | W0628 | 1    | 7      |
 
   Scenario: converting `double' to function pointer
-    Given a target source named "W0792.c" with:
+    Given a target source named "fixture.c" with:
       """
       int (*foo(const double f))(void)
       {
           return (int (*)(void)) f; /* W0792 */
       }
       """
-    When I successfully run `adlint W0792.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 7      |
@@ -34,14 +34,14 @@ Feature: W0792
       | W0628 | 1    | 7      |
 
   Scenario: converting `long double' to function pointer
-    Given a target source named "W0792.c" with:
+    Given a target source named "fixture.c" with:
       """
       int (*foo(const long double f))(void)
       {
           return (int (*)(void)) f; /* W0792 */
       }
       """
-    When I successfully run `adlint W0792.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 7      |
@@ -49,14 +49,14 @@ Feature: W0792
       | W0628 | 1    | 7      |
 
   Scenario: converting function pointer to `float'
-    Given a target source named "W0792.c" with:
+    Given a target source named "fixture.c" with:
       """
       float foo(int (* const p)(void))
       {
           return (float) p; /* W0792 */
       }
       """
-    When I successfully run `adlint W0792.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 7      |
@@ -64,14 +64,14 @@ Feature: W0792
       | W0628 | 1    | 7      |
 
   Scenario: converting function pointer to `double'
-    Given a target source named "W0792.c" with:
+    Given a target source named "fixture.c" with:
       """
       double foo(int (* const p)(void))
       {
           return (double) p; /* W0792 */
       }
       """
-    When I successfully run `adlint W0792.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 8      |
@@ -79,14 +79,14 @@ Feature: W0792
       | W0628 | 1    | 8      |
 
   Scenario: converting function pointer to `long double'
-    Given a target source named "W0792.c" with:
+    Given a target source named "fixture.c" with:
       """
       long double foo(int (* const p)(void))
       {
           return (long double) p; /* W0792 */
       }
       """
-    When I successfully run `adlint W0792.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 13     |
@@ -94,28 +94,28 @@ Feature: W0792
       | W0628 | 1    | 13     |
 
   Scenario: converting `float' to `int'
-    Given a target source named "W0792.c" with:
+    Given a target source named "fixture.c" with:
       """
       int foo(const float f)
       {
           return (int) f; /* OK */
       }
       """
-    When I successfully run `adlint W0792.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      |
       | W0628 | 1    | 5      |
 
   Scenario: converting function pointer to `void *'
-    Given a target source named "W0792.c" with:
+    Given a target source named "fixture.c" with:
       """
       void *foo(int (* const p)(void))
       {
           return (void *) p; /* OK */
       }
       """
-    When I successfully run `adlint W0792.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 7      |

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

@@ -4,7 +4,7 @@ Feature: W0793
   pointer to function is found.
 
   Scenario: converting `float *' to function pointer
-    Given a target source named "W0793.c" with:
+    Given a target source named "fixture.c" with:
       """
       typedef int (*funptr_t)(void);
 
@@ -13,7 +13,7 @@ Feature: W0793
           return (funptr_t) p; /* W0793 */
       }
       """
-    When I successfully run `adlint W0793.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 3    | 10     |
@@ -24,7 +24,7 @@ Feature: W0793
       | W0628 | 3    | 10     |
 
   Scenario: converting `double *' to function pointer
-    Given a target source named "W0793.c" with:
+    Given a target source named "fixture.c" with:
       """
       typedef int (*funptr_t)(void);
 
@@ -33,7 +33,7 @@ Feature: W0793
           return (funptr_t) p; /* W0793 */
       }
       """
-    When I successfully run `adlint W0793.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 3    | 10     |
@@ -44,7 +44,7 @@ Feature: W0793
       | W0628 | 3    | 10     |
 
   Scenario: converting `long double *' to function pointer
-    Given a target source named "W0793.c" with:
+    Given a target source named "fixture.c" with:
       """
       typedef int (*funptr_t)(void);
 
@@ -53,7 +53,7 @@ Feature: W0793
           return (funptr_t) p; /* W0793 */
       }
       """
-    When I successfully run `adlint W0793.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 3    | 10     |
@@ -64,7 +64,7 @@ Feature: W0793
       | W0628 | 3    | 10     |
 
   Scenario: converting function pointer to `float *'
-    Given a target source named "W0793.c" with:
+    Given a target source named "fixture.c" with:
       """
       typedef int (*funptr_t)(void);
 
@@ -73,7 +73,7 @@ Feature: W0793
           return (float *) p; /* W0793 */
       }
       """
-    When I successfully run `adlint W0793.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 3    | 8      |
@@ -82,7 +82,7 @@ Feature: W0793
       | W0628 | 3    | 8      |
 
   Scenario: converting function pointer to `double *'
-    Given a target source named "W0793.c" with:
+    Given a target source named "fixture.c" with:
       """
       typedef int (*funptr_t)(void);
 
@@ -91,7 +91,7 @@ Feature: W0793
           return (double *) p; /* W0793 */
       }
       """
-    When I successfully run `adlint W0793.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 3    | 9      |
@@ -100,7 +100,7 @@ Feature: W0793
       | W0628 | 3    | 9      |
 
   Scenario: converting function pointer to `long double *'
-    Given a target source named "W0793.c" with:
+    Given a target source named "fixture.c" with:
       """
       typedef int (*funptr_t)(void);
 
@@ -109,7 +109,7 @@ Feature: W0793
           return (long double *) p; /* W0793 */
       }
       """
-    When I successfully run `adlint W0793.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 3    | 14     |
@@ -118,14 +118,14 @@ Feature: W0793
       | W0628 | 3    | 14     |
 
   Scenario: converting `float *' to `int *'
-    Given a target source named "W0793.c" with:
+    Given a target source named "fixture.c" with:
       """
       int *foo(float *p)
       {
           return (int *) p; /* OK */
       }
       """
-    When I successfully run `adlint W0793.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,7 +134,7 @@ Feature: W0793
       | W0628 | 1    | 6      |
 
   Scenario: converting function pointer to `void *'
-    Given a target source named "W0793.c" with:
+    Given a target source named "fixture.c" with:
       """
       typedef int (*funptr_t)(void);
 
@@ -143,7 +143,7 @@ Feature: W0793
           return (void *) p; /* OK */
       }
       """
-    When I successfully run `adlint W0793.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 3    | 7      |