adlint 1.18.6 → 2.0.0

data/features/code_check/W0479.feature

@@ -0,0 +1,65 @@
+Feature: W0479
+
+  W0479 detects that the macro can replace with a typedef declaration.
+
+  Scenario: having the two type specifier
+    Given a target source named "fixture.c" with:
+      """
+      #define UINT unsigned int /* W0479 */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0479 | 1    | 1      |
+
+  Scenario: having the type specifier and qualifier
+    Given a target source named "fixture.c" with:
+      """
+      #define CINT const int /* W0479 */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0479 | 1    | 1      |
+
+  Scenario: having the type specifier and pointer
+    Given a target source named "fixture.c" with:
+      """
+      #define PLONG long * /* W0479 */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0479 | 1    | 1      |
+
+  Scenario: having the type specifier, qualifier and pointer
+    Given a target source named "fixture.c" with:
+      """
+      #define V_CLONG  volatile long * const /* W0479 */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0479 | 1    | 1      |
+
+  Scenario: having a type specifier
+    Given a target source named "fixture.c" with:
+      """
+      #define INT int /* OK */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0482 | 1    | 1      |
+
+  Scenario: having a type qualifier
+    Given a target source named "fixture.c" with:
+      """
+      #define CONST const /* OK */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0483 | 1    | 1      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/code_check/W0480.feature

@@ -0,0 +1,119 @@
+Feature: W0480
+
+  W0480 detects that the macro defines operator, punctuation character or
+  control statements.
+
+  Scenario: defines the operator
+    Given a target source named "fixture.c" with:
+      """
+      #define OP_1 + /* W0480 */
+      #define OP_2 * /* W0480 */
+      #define OP_3 ~ /* W0480 */
+      #define OP_4 -- /* W0480 */
+      #define OP_5 / /* W0480 */
+      #define OP_6 << /* W0480 */
+      #define OP_7 && /* W0480 */
+      #define OP_8 /= /* W0480 */
+      #define OP_9 ^= /* W0480 */
+      #define OP_0 : /* W0480 */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0480 | 1    | 1      |
+      | W0480 | 2    | 1      |
+      | W0480 | 3    | 1      |
+      | W0480 | 4    | 1      |
+      | W0480 | 5    | 1      |
+      | W0480 | 6    | 1      |
+      | W0480 | 7    | 1      |
+      | W0480 | 8    | 1      |
+      | W0480 | 9    | 1      |
+      | W0480 | 10   | 1      |
+
+  Scenario: defines a punctuation character
+    Given a target source named "fixture.c" with:
+      """
+      #define PC_1 [ /* W0480 */
+      #define PC_2 ( /* W0480 */
+      #define PC_3 { /* W0480 */
+      #define PC_4 * /* W0480 */
+      #define PC_5 , /* W0480 */
+      #define PC_6 : /* W0480 */
+      #define PC_7 = /* W0480 */
+      #define PC_8 ; /* W0480 */
+      #define PC_9 ... /* W0480 */
+      #define PC_0 # /* W0480 */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0477 | 1    | 1      |
+      | W0477 | 2    | 1      |
+      | W0477 | 3    | 1      |
+      | W0480 | 1    | 1      |
+      | W0480 | 2    | 1      |
+      | W0480 | 3    | 1      |
+      | W0480 | 4    | 1      |
+      | W0480 | 5    | 1      |
+      | W0480 | 6    | 1      |
+      | W0480 | 7    | 1      |
+      | W0480 | 8    | 1      |
+      | W0480 | 9    | 1      |
+      | W0480 | 10   | 1      |
+
+  Scenario: defines a control statement
+    Given a target source named "fixture.c" with:
+      """
+      #define CS_01 if /* W0480 */
+      #define CS_02 else /* W0480 */
+      #define CS_03 switch /* W0480 */
+      #define CS_04 case /* W0480 */
+      #define CS_05 default /* W0480 */
+      #define CS_06 break /* W0480 */
+      #define CS_07 continue /* W0480 */
+      #define CS_08 while /* W0480 */
+      #define CS_09 do /* W0480 */
+      #define CS_10 for /* W0480 */
+      #define CS_11 goto /* W0480 */
+      #define CS_12 return /* W0480 */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0480 | 1    | 1      |
+      | W0480 | 2    | 1      |
+      | W0480 | 3    | 1      |
+      | W0480 | 4    | 1      |
+      | W0480 | 5    | 1      |
+      | W0480 | 6    | 1      |
+      | W0480 | 7    | 1      |
+      | W0480 | 8    | 1      |
+      | W0480 | 9    | 1      |
+      | W0480 | 10   | 1      |
+      | W0480 | 11   | 1      |
+      | W0480 | 12   | 1      |
+
+  Scenario: defines the pair of punctuation character
+    Given a target source named "fixture.c" with:
+      """
+      #define PC_1 [] /* OK */
+      #define PC_2 () /* OK */
+      #define PC_3 {} /* OK */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+
+  Scenario: defines operator and control statements
+    Given a target source named "fixture.c" with:
+      """
+      #define IF(x) if((x)==0)return 1;
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0442 | 1    | 1      |
+      | W0478 | 1    | 1      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/code_check/W0481.feature

@@ -0,0 +1,28 @@
+Feature: W0481
+
+  W0481 detects that the macro is enclosed by `{}' and have semicolon.
+
+  Scenario: enclosed by `{}' and have code block
+    Given a target source named "fixture.c" with:
+      """
+      #define INI(x, n) {int i;for (i=0; i < n; ++i) { x[i] = 0; }} /* W0481 */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0442 | 1    | 1      |
+      | W0549 | 1    | 50     |
+      | W0549 | 1    | 40     |
+      | W0481 | 1    | 1      |
+
+  Scenario: enclosed by `{}', but it's not code block
+    Given a target source named "fixture.c" with:
+      """
+      #define INI(x, n) { (x) + (n) } /* OK */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0442 | 1    | 1      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/code_check/W0482.feature

@@ -0,0 +1,64 @@
+Feature: W0482
+
+  W0482 detects that the macro defines type specifier.
+
+  Scenario: macro defines type specifier.
+    Given a target source named "fixture.c" with:
+      """
+      #define VOID void /* W0482 */
+      #define INT int /* W0482 */
+      #define LONG long /* W0482 */
+      #define FLOAT float /* W0482 */
+      #define DOUBLE double /* W0482 */
+      #define SHORT short /* W0482 */
+      #define CHAR char /* W0482 */
+      #define STR struct /* W0482 */
+      #define UNI union /* W0482 */
+      #define ENUM enum /* W0482 */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0482 | 1    | 1      |
+      | W0482 | 2    | 1      |
+      | W0482 | 3    | 1      |
+      | W0482 | 4    | 1      |
+      | W0482 | 5    | 1      |
+      | W0482 | 6    | 1      |
+      | W0482 | 7    | 1      |
+      | W0482 | 8    | 1      |
+      | W0482 | 9    | 1      |
+      | W0482 | 10   | 1      |
+
+  Scenario: macro defines signed specifier
+    Given a target source named "fixture.c" with:
+      """
+      #define SIGNED signed /* W0482 */
+      #define UNSIGNED unsigned /* W0482 */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0482 | 1    | 1      |
+      | W0482 | 2    | 1      |
+
+  Scenario: macro defines type specifier and a value
+    Given a target source named "fixture.c" with:
+      """
+      #define UINT unisgned int 10 /* OK */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+
+  Scenario: macro defines a struct
+    Given a target source named "fixture.c" with:
+      """
+      #define STR struct{int a; int b} /* OK */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0479 | 1    | 1      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/code_check/W0483.feature

@@ -0,0 +1,62 @@
+Feature: W0483
+
+  W0483 detects that the macro defines only storage-class-specifier and
+  type-qualifier.
+
+  Scenario: storage-class-specifier and `const' qualifier
+    Given a target source named "fixture.c" with:
+      """
+      #define CONST_1 static const /* W0483 */
+      #define CONST_2 extern const /* W0483 */
+      #define CONST_3 auto const /* W0483 */
+      #define CONST_4 register const /* W0483 */
+      #define CONST_5 typedef const /* W0483 */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0483 | 1    | 1      |
+      | W0483 | 2    | 1      |
+      | W0483 | 3    | 1      |
+      | W0483 | 4    | 1      |
+      | W0483 | 5    | 1      |
+
+  Scenario: storage-class-specifier and `volatile' qualifier
+    Given a target source named "fixture.c" with:
+      """
+      #define VOL_1 static volatile /* W0483 */
+      #define VOL_2 extern volatile /* W0483 */
+      #define VOL_3 auto volatile /* W0483 */
+      #define VOL_4 register volatile /* W0483 */
+      #define VOL_5 typedef volatile /* W0483 */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0483 | 1    | 1      |
+      | W0483 | 2    | 1      |
+      | W0483 | 3    | 1      |
+      | W0483 | 4    | 1      |
+      | W0483 | 5    | 1      |
+
+  Scenario: storage-class-specifier, `const' qualifier and the others
+    Given a target source named "fixture.c" with:
+      """
+      #define MACRO static const int a /* OK */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0479 | 1    | 1      |
+
+  Scenario: storage-class-specifier, `volatile' qualifier and the others
+    Given a target source named "fixture.c" with:
+      """
+      #define MACRO volatile static int a /* OK */
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0479 | 1    | 1      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/code_check/W0573.feature

@@ -0,0 +1,91 @@
+Feature: W0573
+
+  W0573 detects that `-' is included at `[]' scanset.
+
+  Scenario: a `-' in scanset
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      void foo(void)
+      {
+          char c;
+          int i = scanf("%[-]", &c); /* W0573 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 6      |
+      | W0459 | 6    | 27     |
+      | W0573 | 6    | 19     |
+      | W0100 | 5    | 10     |
+      | W0100 | 6    | 9      |
+      | W0947 | 6    | 19     |
+      | W0628 | 3    | 6      |
+
+  Scenario: a `-' in scanset with other character
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      void foo(void)
+      {
+          char c;
+          int i = scanf("%[a-z]", &c); /* W0573 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 6      |
+      | W0459 | 6    | 29     |
+      | W0573 | 6    | 19     |
+      | W0100 | 5    | 10     |
+      | W0100 | 6    | 9      |
+      | W0947 | 6    | 19     |
+      | W0628 | 3    | 6      |
+
+  Scenario: a `-' in scanset with other character
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      void foo(void)
+      {
+          char c;
+          int i = scanf("%[a,b]", &c); /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 6      |
+      | W0459 | 6    | 29     |
+      | W0100 | 5    | 10     |
+      | W0100 | 6    | 9      |
+      | W0947 | 6    | 19     |
+      | W0628 | 3    | 6      |
+
+  Scenario: proper scanf
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      void foo(void)
+      {
+          char c;
+          int i = scanf("%c", &c); /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 6      |
+      | W0459 | 6    | 25     |
+      | W0100 | 5    | 10     |
+      | W0100 | 6    | 9      |
+      | W0947 | 6    | 19     |
+      | W0628 | 3    | 6      |
+
+# vim:ts=2:sw=2:sts=2:et:

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

@@ -4,7 +4,7 @@ Feature: W0583
   with the corresponding function-definition appears after the function-call.
 
   Scenario: array as an argument
-    Given a target source named "W0583.c" with:
+    Given a target source named "fixture.c" with:
       """
       int main(void)
       {
@@ -16,7 +16,7 @@ Feature: W0583
           return *p;
       }
       """
-    When I successfully run `adlint W0583.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0109 | 4    | 15     |