adlint 1.18.6 → 2.0.0

data/features/code_check/W0250.feature

@@ -0,0 +1,146 @@
+Feature: W0250
+
+  W0250 detects that `unsigned int' value is converted into `long' value.
+
+  Scenario: implicit conversion in initialization
+    Given a target source named "fixture.c" with:
+      """
+      void foo(unsigned int a)
+      {
+          long b = a; /* W0250 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0250 | 3    | 14     |
+      | W0100 | 3    | 10     |
+      | W0104 | 1    | 23     |
+      | W0628 | 1    | 6      |
+
+  Scenario: explicit conversion in initialization
+    Given a target source named "fixture.c" with:
+      """
+      void foo(unsigned int a)
+      {
+          long b = (long) a; /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W1049 | 3    | 14     |
+      | W0100 | 3    | 10     |
+      | W0104 | 1    | 23     |
+      | W0628 | 1    | 6      |
+
+  Scenario: implicit conversion in assignment
+    Given a target source named "fixture.c" with:
+      """
+      void foo(unsigned int a)
+      {
+          long b;
+          b = a; /* W0250 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0250 | 4    | 9      |
+      | W0100 | 3    | 10     |
+      | W0104 | 1    | 23     |
+      | W0628 | 1    | 6      |
+
+  Scenario: explicit conversion in assignment
+    Given a target source named "fixture.c" with:
+      """
+      void foo(unsigned int a)
+      {
+          long b;
+          b = (long) a; /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W1049 | 4    | 9      |
+      | W0100 | 3    | 10     |
+      | W0104 | 1    | 23     |
+      | W0628 | 1    | 6      |
+
+  Scenario: implicit conversion in function call
+    Given a target source named "fixture.c" with:
+      """
+      extern void bar(long);
+
+      void foo(unsigned int a)
+      {
+          bar(a); /* W0250 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 6      |
+      | W0250 | 5    | 9      |
+      | W0104 | 3    | 23     |
+      | W0628 | 3    | 6      |
+
+  Scenario: explicit conversion in function call
+    Given a target source named "fixture.c" with:
+      """
+      extern void bar(long);
+
+      void foo(unsigned int a)
+      {
+          bar((long) a); /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 6      |
+      | W1049 | 5    | 9      |
+      | W0104 | 3    | 23     |
+      | W0628 | 3    | 6      |
+
+  Scenario: implicit conversion in function return
+    Given a target source named "fixture.c" with:
+      """
+      long foo(unsigned int a)
+      {
+          return a; /* W0250 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0250 | 3    | 12     |
+      | W0406 | 3    | 5      |
+      | W0104 | 1    | 23     |
+      | W0628 | 1    | 6      |
+
+  Scenario: explicit conversion in function return
+    Given a target source named "fixture.c" with:
+      """
+      long foo(unsigned int a)
+      {
+          return (long) a; /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W1049 | 3    | 12     |
+      | W0104 | 1    | 23     |
+      | W0628 | 1    | 6      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/code_check/W0251.feature

@@ -0,0 +1,159 @@
+Feature: W0251
+
+  W0251 detects that `unsigned char' value is converted into `long long' value.
+
+  Scenario: implicit conversion in initialization
+    Given a target source named "fixture.c" with:
+      """
+      void foo(unsigned char a)
+      {
+          long long b = a; /* W0251 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0130 | 3    | 19     |
+      | W0251 | 3    | 19     |
+      | W0100 | 3    | 15     |
+      | W0104 | 1    | 24     |
+      | W0834 | 3    | 5      |
+      | W0628 | 1    | 6      |
+
+  Scenario: explicit conversion in initialization
+    Given a target source named "fixture.c" with:
+      """
+      void foo(unsigned char a)
+      {
+          long long b = (long long) a; /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0100 | 3    | 15     |
+      | W0104 | 1    | 24     |
+      | W0834 | 3    | 20     |
+      | W0834 | 3    | 5      |
+      | W0628 | 1    | 6      |
+
+  Scenario: implicit conversion in assignment
+    Given a target source named "fixture.c" with:
+      """
+      void foo(unsigned char a)
+      {
+          long long b;
+          b = a; /* W0251 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0130 | 4    | 9      |
+      | W0251 | 4    | 9      |
+      | W0100 | 3    | 15     |
+      | W0104 | 1    | 24     |
+      | W0834 | 3    | 5      |
+      | W0628 | 1    | 6      |
+
+  Scenario: explicit conversion in assignment
+    Given a target source named "fixture.c" with:
+      """
+      void foo(unsigned char a)
+      {
+          long long b;
+          b = (long long) a; /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0100 | 3    | 15     |
+      | W0104 | 1    | 24     |
+      | W0834 | 3    | 5      |
+      | W0834 | 4    | 10     |
+      | W0628 | 1    | 6      |
+
+  Scenario: implicit conversion in function call
+    Given a target source named "fixture.c" with:
+      """
+      extern void bar(long long);
+
+      void foo(unsigned char a)
+      {
+          bar(a); /* W0251 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 6      |
+      | W0130 | 5    | 9      |
+      | W0251 | 5    | 9      |
+      | W0104 | 3    | 24     |
+      | W0834 | 1    | 17     |
+      | W0628 | 3    | 6      |
+
+  Scenario: explicit conversion in function call
+    Given a target source named "fixture.c" with:
+      """
+      extern void bar(long long);
+
+      void foo(unsigned char a)
+      {
+          bar((long long) a); /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 6      |
+      | W0104 | 3    | 24     |
+      | W0834 | 1    | 17     |
+      | W0834 | 5    | 10     |
+      | W0628 | 3    | 6      |
+
+  Scenario: implicit conversion in function return
+    Given a target source named "fixture.c" with:
+      """
+      long long foo(unsigned char a)
+      {
+          return a; /* W0251 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 11     |
+      | W0130 | 3    | 12     |
+      | W0251 | 3    | 12     |
+      | W0266 | 3    | 5      |
+      | W0407 | 3    | 5      |
+      | W0104 | 1    | 29     |
+      | W0834 | 1    | 1      |
+      | W0628 | 1    | 11     |
+
+  Scenario: explicit conversion in function return
+    Given a target source named "fixture.c" with:
+      """
+      long long foo(unsigned char a)
+      {
+          return (long long) a; /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 11     |
+      | W0104 | 1    | 29     |
+      | W0834 | 1    | 1      |
+      | W0834 | 3    | 13     |
+      | W0628 | 1    | 11     |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/code_check/W0252.feature

@@ -0,0 +1,155 @@
+Feature: W0252
+
+  W0252 detects that `unsigned short' value is converted into `long long'
+  value.
+
+  Scenario: implicit conversion in initialization
+    Given a target source named "fixture.c" with:
+      """
+      void foo(unsigned short a)
+      {
+          long long b = a; /* W0252 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0252 | 3    | 19     |
+      | W0100 | 3    | 15     |
+      | W0104 | 1    | 25     |
+      | W0834 | 3    | 5      |
+      | W0628 | 1    | 6      |
+
+  Scenario: explicit conversion in initialization
+    Given a target source named "fixture.c" with:
+      """
+      void foo(unsigned short a)
+      {
+          long long b = (long long) a; /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0100 | 3    | 15     |
+      | W0104 | 1    | 25     |
+      | W0834 | 3    | 20     |
+      | W0834 | 3    | 5      |
+      | W0628 | 1    | 6      |
+
+  Scenario: implicit conversion in assignment
+    Given a target source named "fixture.c" with:
+      """
+      void foo(unsigned short a)
+      {
+          long long b;
+          b = a; /* W0252 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0252 | 4    | 9      |
+      | W0100 | 3    | 15     |
+      | W0104 | 1    | 25     |
+      | W0834 | 3    | 5      |
+      | W0628 | 1    | 6      |
+
+  Scenario: explicit conversion in assignment
+    Given a target source named "fixture.c" with:
+      """
+      void foo(unsigned short a)
+      {
+          long long b;
+          b = (long long) a; /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0100 | 3    | 15     |
+      | W0104 | 1    | 25     |
+      | W0834 | 3    | 5      |
+      | W0834 | 4    | 10     |
+      | W0628 | 1    | 6      |
+
+  Scenario: implicit conversion in function call
+    Given a target source named "fixture.c" with:
+      """
+      extern void bar(long long);
+
+      void foo(unsigned short a)
+      {
+          bar(a); /* W0252 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 6      |
+      | W0252 | 5    | 9      |
+      | W0104 | 3    | 25     |
+      | W0834 | 1    | 17     |
+      | W0628 | 3    | 6      |
+
+  Scenario: explicit conversion in function call
+    Given a target source named "fixture.c" with:
+      """
+      extern void bar(long long);
+
+      void foo(unsigned short a)
+      {
+          bar((long long) a); /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 6      |
+      | W0104 | 3    | 25     |
+      | W0834 | 1    | 17     |
+      | W0834 | 5    | 10     |
+      | W0628 | 3    | 6      |
+
+  Scenario: implicit conversion in function return
+    Given a target source named "fixture.c" with:
+      """
+      long long foo(unsigned short a)
+      {
+          return a; /* W0252 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 11     |
+      | W0252 | 3    | 12     |
+      | W0408 | 3    | 5      |
+      | W0104 | 1    | 30     |
+      | W0834 | 1    | 1      |
+      | W0628 | 1    | 11     |
+
+  Scenario: explicit conversion in function return
+    Given a target source named "fixture.c" with:
+      """
+      long long foo(unsigned short a)
+      {
+          return (long long) a; /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 11     |
+      | W0104 | 1    | 30     |
+      | W0834 | 1    | 1      |
+      | W0834 | 3    | 13     |
+      | W0628 | 1    | 11     |
+
+# vim:ts=2:sw=2:sts=2:et: