adlint 1.16.0 → 1.18.0

data/features/message_detection/W0645.feature

@@ -98,7 +98,7 @@ Feature: W0645
   Scenario: a `void' as a parameter-type-list
     Given a target source named "W0645.c" with:
       """
-      extern void func(void); /* OK */ 
+      extern void func(void); /* OK */
       """
     When I successfully run `adlint W0645.c` on noarch
     Then the output should exactly match with:

data/features/message_detection/W0649.feature

@@ -0,0 +1,277 @@
+Feature: W0649
+
+  W0649 detects that right hand side of the shift-expression is
+  a constant-expression of negative value.
+
+  Scenario: left shift-expression with negative constant rhs value
+    Given a target source named "W0649.c" with:
+      """
+      int foo(int i)
+      {
+          return i << -1; /* W0649 */
+      }
+      """
+    When I successfully run `adlint W0649.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0570 | 3    | 14     |
+      | W0572 | 3    | 14     |
+      | W0649 | 3    | 14     |
+      | W0794 | 3    | 14     |
+      | W0104 | 1    | 13     |
+      | W0628 | 1    | 5      |
+
+  Scenario: right shift-expression with negative constant rhs value
+    Given a target source named "W0649.c" with:
+      """
+      int foo(int i)
+      {
+          return i >> -1; /* W0649 */
+      }
+      """
+    When I successfully run `adlint W0649.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0571 | 3    | 14     |
+      | W0572 | 3    | 14     |
+      | W0649 | 3    | 14     |
+      | W0104 | 1    | 13     |
+      | W0628 | 1    | 5      |
+
+  Scenario: left shift-expression with negative constant rhs value derived by
+            macro
+    Given a target source named "W0649.c" with:
+      """
+      #define VAL (-1)
+
+      int foo(int i)
+      {
+          return i << VAL; /* W0649 */
+      }
+      """
+    When I successfully run `adlint W0649.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0570 | 5    | 14     |
+      | W0572 | 5    | 14     |
+      | W0649 | 5    | 14     |
+      | W0794 | 5    | 14     |
+      | W0104 | 3    | 13     |
+      | W0628 | 3    | 5      |
+
+  Scenario: right shift-expression with negative constant rhs value derived by
+            macro
+    Given a target source named "W0649.c" with:
+      """
+      #define VAL (-1)
+
+      int foo(int i)
+      {
+          return i >> VAL; /* W0649 */
+      }
+      """
+    When I successfully run `adlint W0649.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0571 | 5    | 14     |
+      | W0572 | 5    | 14     |
+      | W0649 | 5    | 14     |
+      | W0104 | 3    | 13     |
+      | W0628 | 3    | 5      |
+
+  Scenario: left shift-expression with positive constant rhs value
+    Given a target source named "W0649.c" with:
+      """
+      int foo(int i)
+      {
+          return i << 1; /* OK */
+      }
+      """
+    When I successfully run `adlint W0649.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0570 | 3    | 14     |
+      | W0572 | 3    | 14     |
+      | W0794 | 3    | 14     |
+      | W0104 | 1    | 13     |
+      | W0628 | 1    | 5      |
+
+  Scenario: right shift-expression with positive constant rhs value
+    Given a target source named "W0649.c" with:
+      """
+      int foo(int i)
+      {
+          return i >> 1; /* OK */
+      }
+      """
+    When I successfully run `adlint W0649.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0571 | 3    | 14     |
+      | W0572 | 3    | 14     |
+      | W0104 | 1    | 13     |
+      | W0628 | 1    | 5      |
+
+  Scenario: left shift-expression with zero constant rhs value
+    Given a target source named "W0649.c" with:
+      """
+      int foo(int i)
+      {
+          return i << 0; /* OK */
+      }
+      """
+    When I successfully run `adlint W0649.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0570 | 3    | 14     |
+      | W0572 | 3    | 14     |
+      | W0794 | 3    | 14     |
+      | W0104 | 1    | 13     |
+      | W0628 | 1    | 5      |
+
+  Scenario: right shift-expression with zero constant rhs value
+    Given a target source named "W0649.c" with:
+      """
+      int foo(int i)
+      {
+          return i >> 0; /* OK */
+      }
+      """
+    When I successfully run `adlint W0649.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0571 | 3    | 14     |
+      | W0572 | 3    | 14     |
+      | W0104 | 1    | 13     |
+      | W0628 | 1    | 5      |
+
+  Scenario: left shift compound-assignment-expression with negative constant
+            rhs value
+    Given a target source named "W0649.c" with:
+      """
+      void foo(int i)
+      {
+          i <<= -1; /* W0649 */
+      }
+      """
+    When I successfully run `adlint W0649.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0570 | 3    | 7      |
+      | W0572 | 3    | 7      |
+      | W0649 | 3    | 7      |
+      | W0794 | 3    | 7      |
+      | W0628 | 1    | 6      |
+
+  Scenario: right shift compound-assignment-expression with negative constant
+            rhs value
+    Given a target source named "W0649.c" with:
+      """
+      void foo(int i)
+      {
+          i >>= -1; /* W0649 */
+      }
+      """
+    When I successfully run `adlint W0649.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0571 | 3    | 7      |
+      | W0572 | 3    | 7      |
+      | W0649 | 3    | 7      |
+      | W0628 | 1    | 6      |
+
+  Scenario: left shift-expression with negative constant rhs value derived by
+            enumerator
+    Given a target source named "W0649.c" with:
+      """
+      enum e { VAL = -2 };
+
+      int foo(int i)
+      {
+          return i << VAL; /* W0649 */
+      }
+      """
+    When I successfully run `adlint W0649.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0570 | 5    | 14     |
+      | W0572 | 5    | 14     |
+      | W0649 | 5    | 14     |
+      | W0794 | 5    | 14     |
+      | W0104 | 3    | 13     |
+      | W0628 | 3    | 5      |
+
+  Scenario: right shift-expression with negative constant rhs value derived by
+            enumerator
+    Given a target source named "W0649.c" with:
+      """
+      enum e { VAL = -2 };
+
+      int foo(int i)
+      {
+          return i >> VAL; /* W0649 */
+      }
+      """
+    When I successfully run `adlint W0649.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0571 | 5    | 14     |
+      | W0572 | 5    | 14     |
+      | W0649 | 5    | 14     |
+      | W0104 | 3    | 13     |
+      | W0628 | 3    | 5      |
+
+  Scenario: left shift-expression with positive constant rhs value derived by
+            enumerator
+    Given a target source named "W0649.c" with:
+      """
+      enum e { VAL = 2 };
+
+      int foo(int i)
+      {
+          return i << VAL; /* OK */
+      }
+      """
+    When I successfully run `adlint W0649.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0570 | 5    | 14     |
+      | W0572 | 5    | 14     |
+      | W0794 | 5    | 14     |
+      | W0104 | 3    | 13     |
+      | W0628 | 3    | 5      |
+
+  Scenario: right shift-expression with positive constant rhs value derived by
+            enumerator
+    Given a target source named "W0649.c" with:
+      """
+      enum e { VAL = 2 };
+
+      int foo(int i)
+      {
+          return i >> VAL; /* OK */
+      }
+      """
+    When I successfully run `adlint W0649.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0571 | 5    | 14     |
+      | W0572 | 5    | 14     |
+      | W0104 | 3    | 13     |
+      | W0628 | 3    | 5      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W0650.feature

@@ -0,0 +1,208 @@
+Feature: W0650
+
+  W0650 detects that right hand side of shift-expression is greater than the
+  bit length of left hand side value.
+
+  Scenario: 32-bit left shift-expression of `int' value
+    Given a target source named "W0650.c" with:
+      """
+      unsigned int foo(unsigned int i)
+      {
+          return i << 32; /* W0650 */
+      }
+      """
+    When I successfully run `adlint W0650.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 14     |
+      | W0116 | 3    | 14     |
+      | W0650 | 3    | 14     |
+      | W0104 | 1    | 31     |
+      | W0628 | 1    | 14     |
+
+  Scenario: 32-bit right shift-expression of `int' value
+    Given a target source named "W0650.c" with:
+      """
+      unsigned int foo(unsigned int i)
+      {
+          return i >> 32; /* W0650 */
+      }
+      """
+    When I successfully run `adlint W0650.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 14     |
+      | W0650 | 3    | 14     |
+      | W0104 | 1    | 31     |
+      | W0628 | 1    | 14     |
+
+  Scenario: 31-bit left shift-expression of `int' value
+    Given a target source named "W0650.c" with:
+      """
+      unsigned int foo(unsigned int i)
+      {
+          return i << 31; /* OK */
+      }
+      """
+    When I successfully run `adlint W0650.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 14     |
+      | W0116 | 3    | 14     |
+      | W0104 | 1    | 31     |
+      | W0628 | 1    | 14     |
+
+  Scenario: 31-bit right shift-expression of `int' value
+    Given a target source named "W0650.c" with:
+      """
+      unsigned int foo(unsigned int i)
+      {
+          return i >> 31; /* OK */
+      }
+      """
+    When I successfully run `adlint W0650.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 14     |
+      | W0104 | 1    | 31     |
+      | W0628 | 1    | 14     |
+
+  Scenario: 64-bit left shift-expression of `int' value
+    Given a target source named "W0650.c" with:
+      """
+      unsigned int foo(unsigned int i)
+      {
+          return i << 64; /* W0650 */
+      }
+      """
+    When I successfully run `adlint W0650.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 14     |
+      | W0116 | 3    | 14     |
+      | W0650 | 3    | 14     |
+      | W0104 | 1    | 31     |
+      | W0628 | 1    | 14     |
+
+  Scenario: 64-bit right shift-expression of `int' value
+    Given a target source named "W0650.c" with:
+      """
+      unsigned int foo(unsigned int i)
+      {
+          return i >> 64; /* W0650 */
+      }
+      """
+    When I successfully run `adlint W0650.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 14     |
+      | W0650 | 3    | 14     |
+      | W0104 | 1    | 31     |
+      | W0628 | 1    | 14     |
+
+  Scenario: 32-bit left shift compound-assignment-expression of `int' value
+    Given a target source named "W0650.c" with:
+      """
+      void foo(unsigned int i)
+      {
+          i <<= 32; /* W0650 */
+      }
+      """
+    When I successfully run `adlint W0650.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0116 | 3    | 7      |
+      | W0650 | 3    | 7      |
+      | W0628 | 1    | 6      |
+
+  Scenario: 32-bit right shift compound-assignment-expression of `int' value
+    Given a target source named "W0650.c" with:
+      """
+      void foo(unsigned int i)
+      {
+          i >>= 32; /* W0650 */
+      }
+      """
+    When I successfully run `adlint W0650.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0650 | 3    | 7      |
+      | W0628 | 1    | 6      |
+
+  Scenario: 31-bit left shift-expression of `char' value
+    Given a target source named "W0650.c" with:
+      """
+      int foo(char c)
+      {
+          return c << 31; /* OK because of the integer-promotion */
+      }
+      """
+    When I successfully run `adlint W0650.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0123 | 3    | 12     |
+      | W0246 | 3    | 12     |
+      | W0116 | 3    | 14     |
+      | W0719 | 3    | 14     |
+      | W0104 | 1    | 14     |
+      | W0628 | 1    | 5      |
+
+  Scenario: 31-bit right shift-expression of `char' value
+    Given a target source named "W0650.c" with:
+      """
+      int foo(char c)
+      {
+          return c >> 31; /* OK because of the integer-promotion */
+      }
+      """
+    When I successfully run `adlint W0650.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0123 | 3    | 12     |
+      | W0246 | 3    | 12     |
+      | W0719 | 3    | 14     |
+      | W0104 | 1    | 14     |
+      | W0628 | 1    | 5      |
+
+  Scenario: 31-bit left shift-expression of `char' value
+    Given a target source named "W0650.c" with:
+      """
+      int foo(char c)
+      {
+          return c << 32; /* W0650 */
+      }
+      """
+    When I successfully run `adlint W0650.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0123 | 3    | 12     |
+      | W0246 | 3    | 12     |
+      | W0116 | 3    | 14     |
+      | W0650 | 3    | 14     |
+      | W0104 | 1    | 14     |
+      | W0628 | 1    | 5      |
+
+  Scenario: 31-bit right shift-expression of `char' value
+    Given a target source named "W0650.c" with:
+      """
+      int foo(char c)
+      {
+          return c >> 32; /* W0650 */
+      }
+      """
+    When I successfully run `adlint W0650.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0123 | 3    | 12     |
+      | W0246 | 3    | 12     |
+      | W0650 | 3    | 14     |
+      | W0104 | 1    | 14     |
+      | W0628 | 1    | 5      |
+
+# vim:ts=2:sw=2:sts=2:et: