adlint 1.18.6 → 2.0.0

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

@@ -3,14 +3,14 @@ Feature: W0794
   W0794 detects that a value of the signed integer variable is shifted to left.
 
   Scenario: left shifting a `signed int' value
-    Given a target source named "W0794.c" with:
+    Given a target source named "fixture.c" with:
       """
       int func(int i)
       {
           return i << 1; /* W0794 */
       }
       """
-    When I successfully run `adlint W0794.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      |
@@ -21,14 +21,14 @@ Feature: W0794
       | W0628 | 1    | 5      |
 
   Scenario: right shifting a `signed int' value
-    Given a target source named "W0794.c" with:
+    Given a target source named "fixture.c" with:
       """
       int func(int i)
       {
           return i >> 1; /* OK */
       }
       """
-    When I successfully run `adlint W0794.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      |
@@ -38,14 +38,14 @@ Feature: W0794
       | W0628 | 1    | 5      |
 
   Scenario: left shifting an `unsigned int' value
-    Given a target source named "W0794.c" with:
+    Given a target source named "fixture.c" with:
       """
       unsigned int func(unsigned int ui)
       {
           return ui << 1; /* OK */
       }
       """
-    When I successfully run `adlint W0794.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     |
@@ -54,14 +54,14 @@ Feature: W0794
       | W0628 | 1    | 14     |
 
   Scenario: left shifting a `signed int' constant
-    Given a target source named "W0794.c" with:
+    Given a target source named "fixture.c" with:
       """
       int func(void)
       {
           return 123 << 1; /* OK */
       }
       """
-    When I successfully run `adlint W0794.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      |
@@ -70,14 +70,14 @@ Feature: W0794
 
   Scenario: left shifting an `unsigned char' value which will be
             integer-promoted to `signed int'
-    Given a target source named "W0794.c" with:
+    Given a target source named "fixture.c" with:
       """
       int func(unsigned char uc)
       {
           return uc << 1; /* OK */
       }
       """
-    When I successfully run `adlint W0794.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/code_check/W0801.feature

@@ -0,0 +1,84 @@
+Feature: W0801
+
+  W0801 detects that there is no named member in this struct or union.
+
+  Scenario: no member exists in the struct
+    Given a target source named "fixture.c" with:
+      """
+      struct foo { /* W0801 */
+      };
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0801 | 1    | 8      |
+
+  Scenario: no named member exists in the struct
+    Given a target source named "fixture.c" with:
+      """
+      struct bar { /* W0801 */
+          int;
+          int :1;
+          long;
+          double;
+      };
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0801 | 1    | 8      |
+
+  Scenario: named member exists in the struct
+    Given a target source named "fixture.c" with:
+      """
+      struct baz { /* OK */
+          int i;
+          long l;
+          double d;
+      };
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+
+  Scenario: no member exists in the union
+    Given a target source named "fixture.c" with:
+      """
+      union foo { /* W0801 */
+      };
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0551 | 1    | 7      |
+      | W0801 | 1    | 7      |
+
+  Scenario: no named member exists in the union
+    Given a target source named "fixture.c" with:
+      """
+      union bar { /* W0801 */
+          int;
+          int :1;
+          long;
+      };
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0551 | 1    | 7      |
+      | W0801 | 1    | 7      |
+
+  Scenario: named member exists in the union
+    Given a target source named "fixture.c" with:
+      """
+      union baz { /* OK */
+          int i;
+          long l;
+      };
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0551 | 1    | 7      |
+
+# vim:ts=2:sw=2:sts=2:et:

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

@@ -3,26 +3,26 @@ Feature: W0805
   W0805 detects that no identifier as argument for the `defined' operator.
 
   Scenario: no arguments
-    Given a target source named "W0805.c" with:
+    Given a target source named "fixture.c" with:
       """
       #if defined /* OK */
       int i = 0;
       #endif
       """
-    When I successfully run `adlint W0805.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | E0007 | 1    |        |
       | W0804 | 1    | 5      |
 
   Scenario: an argument specified but not an identifier
-    Given a target source named "W0805.c" with:
+    Given a target source named "fixture.c" with:
       """
       #if defined "foo" /* W0805 */
       int i = 0;
       #endif
       """
-    When I successfully run `adlint W0805.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | E0007 | 1    | 13     |
@@ -30,48 +30,48 @@ Feature: W0805
       | W0805 | 1    | 5      |
 
   Scenario: an identifier specified
-    Given a target source named "W0805.c" with:
+    Given a target source named "fixture.c" with:
       """
       #if defined FOO /* OK */
       int i = 0;
       #endif
       """
-    When I successfully run `adlint W0805.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
 
   Scenario: an identifier specified in parenthesis
-    Given a target source named "W0805.c" with:
+    Given a target source named "fixture.c" with:
       """
       #if defined(FOO) /* OK */
       int i = 0;
       #endif
       """
-    When I successfully run `adlint W0805.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
 
   Scenario: no arguments for latter `defined' operator
-    Given a target source named "W0805.c" with:
+    Given a target source named "fixture.c" with:
       """
       #if defined(FOO) && defined /* OK */
       int i = 0;
       #endif
       """
-    When I successfully run `adlint W0805.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | E0007 | 1    |        |
       | W0804 | 1    | 21     |
 
   Scenario: non identifier for latter `defined' operator
-    Given a target source named "W0805.c" with:
+    Given a target source named "fixture.c" with:
       """
       #if defined(FOO) && defined "foo" /* W0805 */
       int i = 0;
       #endif
       """
-    When I successfully run `adlint W0805.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | E0007 | 1    | 29     |
@@ -79,13 +79,13 @@ Feature: W0805
       | W0805 | 1    | 21     |
 
   Scenario: identifiers for two `defined' operator
-    Given a target source named "W0805.c" with:
+    Given a target source named "fixture.c" with:
       """
       #if defined(FOO) && defined BAR /* OK */
       int i = 0;
       #endif
       """
-    When I successfully run `adlint W0805.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
 

data/features/code_check/W0806.feature

@@ -0,0 +1,24 @@
+Feature: W0806
+
+  W0806 detects that the macro named `defined' is defined.
+
+  Scenario: a macro named `defined' is defined
+    Given a target source named "fixture.c" with:
+      """
+      #define defined !defined /* W0806 */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0806 | 1    | 9      |
+
+  Scenario: a macro named `define' is defined
+    Given a target source named "fixture.c" with:
+      """
+      #define define !define /* OK */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/code_check/W0807.feature

@@ -0,0 +1,35 @@
+Feature: W0807
+
+  W0807 detects that it undefined the macro defined as pre-defined.
+
+  Scenario: undefine the macro defined as pre-defined
+    Given a target source named "fixture.c" with:
+      """
+      #undef __STDC_VERSION__ /* W0807 */
+      #undef __LINE__ /* W0807 */
+      #undef __FILE__ /* W0807 */
+      #undef __DATE__ /* W0807 */
+      #undef __TIME__ /* W0807 */
+      #undef __STDC__ /* W0807 */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0807 | 1    | 8      |
+      | W0807 | 2    | 8      |
+      | W0807 | 3    | 8      |
+      | W0807 | 4    | 8      |
+      | W0807 | 5    | 8      |
+      | W0807 | 6    | 8      |
+
+  Scenario: undefine the macro defined by the user
+    Given a target source named "fixture.c" with:
+      """
+      #define LINE !LINE
+      #undef LINE
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/code_check/W0808.feature

@@ -0,0 +1,34 @@
+Feature: W0808
+
+  W0808 detects that it pre-defined macro is re-defined.
+
+  Scenario: pre-defined macro is re-defined
+    Given a target source named "fixture.c" with:
+      """
+      #define __STDC_VERSION__ "1" /* W0808 */
+      #define __LINE__ "2" /* W0808 */
+      #define __FILE__ "3" /* W0808 */
+      #define __DATE__ "4" /* W0808 */
+      #define __TIME__ "5" /* W0808 */
+      #define __STDC__ "6" /* W0808 */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0808 | 1    | 9      |
+      | W0808 | 2    | 9      |
+      | W0808 | 3    | 9      |
+      | W0808 | 4    | 9      |
+      | W0808 | 5    | 9      |
+      | W0808 | 6    | 9      |
+
+  Scenario: undefine the macro defined by the user
+    Given a target source named "fixture.c" with:
+      """
+      #define LINE !LINE
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/code_check/W0809.feature

@@ -0,0 +1,114 @@
+Feature: W0809
+
+  W0809 detects that an identifier is declared but it already reserved by the
+  library.
+
+  Scenario: an identifier starts with `__'
+    Given a target source named "fixture.c" with:
+      """
+      extern int __number; /* W0809 */
+      extern int __NUMBER; /* W0809 */
+      extern char __value; /* W0809 */
+      extern char __VALUE; /* W0809 */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 12     |
+      | W0118 | 2    | 12     |
+      | W0118 | 3    | 13     |
+      | W0118 | 4    | 13     |
+      | W0809 | 1    | 12     |
+      | W0809 | 2    | 12     |
+      | W0809 | 3    | 13     |
+      | W0809 | 4    | 13     |
+
+  Scenario: an identifier starts with `_(capital letters)'
+    Given a target source named "fixture.c" with:
+      """
+      extern int _NUMBER; /* W0809 */
+      extern int _Number; /* W0809 */
+      extern char _VALUE; /* W0809 */
+      extern char _Value; /* W0809 */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 12     |
+      | W0118 | 2    | 12     |
+      | W0118 | 3    | 13     |
+      | W0118 | 4    | 13     |
+      | W0809 | 1    | 12     |
+      | W0809 | 2    | 12     |
+      | W0809 | 3    | 13     |
+      | W0809 | 4    | 13     |
+
+  Scenario: an identifier starts with `_' declared as function
+    Given a target source named "fixture.c" with:
+      """
+      static void _func(void); /* W0809 */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0809 | 1    | 13     |
+
+  Scenario: an identifier starts with `_' declared as struct
+    Given a target source named "fixture.c" with:
+      """
+      struct _foo { /* W0809 */
+          int i;
+      };
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0809 | 1    | 8      |
+
+  Scenario: an identifier starts with `_' declared as typedef
+    Given a target source named "fixture.c" with:
+      """
+      typedef void _type; /* W0809 */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0809 | 1    | 14     |
+
+  Scenario: an identifier starts with `_' declared as enum
+    Given a target source named "fixture.c" with:
+      """
+      enum _color { Red, Green, Blue}; /* W0809 */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0809 | 1    | 6      |
+
+  Scenario: an identifier starts with `_' declared as enumerators
+    Given a target source named "fixture.c" with:
+      """
+      enum color { _Red, _Green, _Blue}; /* W0809 */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0809 | 1    | 14     |
+      | W0809 | 1    | 20     |
+      | W0809 | 1    | 28     |
+
+  Scenario: an identifier starts with `_' declared as union
+    Given a target source named "fixture.c" with:
+      """
+      union _uni { /* W0809 */
+          int a;
+          int b;
+      };
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0551 | 1    | 7      |
+      | W0809 | 1    | 7      |
+
+# vim:ts=2:sw=2:sts=2:et: