adlint 1.16.0 → 1.18.0

data/features/message_detection/W0780.feature

@@ -0,0 +1,68 @@
+Feature: W0780
+
+  W0780 detects that a left shift-expression of unsigned constant value
+  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:
+      """
+      unsigned int foo(void)
+      {
+          return 0x08000000U << 5; /* W0780 */
+      }
+      """
+    When I successfully run `adlint W0719.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 14     |
+      | W0115 | 3    | 24     |
+      | W0780 | 3    | 24     |
+      | W0628 | 1    | 14     |
+
+  Scenario: discarding 4 of zero bits in `unsigned int' constant 
+    Given a target source named "W0719.c" with:
+      """
+      unsigned int foo(void)
+      {
+          return 0x08000000U << 4; /* OK */
+      }
+      """
+    When I successfully run `adlint W0719.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:
+      """
+      unsigned long foo(void)
+      {
+          return 0x08000000UL << 5; /* W0780 */
+      }
+      """
+    When I successfully run `adlint W0719.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1   | 15   |
+      | W0115 | 3   | 25   |
+      | W0780 | 3   | 25   |
+      | W0628 | 1   | 15   |
+
+  Scenario: discarding 4 of zero bits in `unsigned int' constant 
+    Given a target source named "W0719.c" with:
+      """
+      unsigned long foo(void)
+      {
+          return 0x08000000UL << 4; /* OK */
+      }
+      """
+    When I successfully run `adlint W0719.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 15     |
+      | W0628 | 1    | 15     |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W0783.feature

@@ -0,0 +1,95 @@
+Feature: W0783
+
+  W0783 detects that a cast-expression contains a pointer type of an incomplete
+  type.
+
+  Scenario: casting to a pointer of an incomplete struct
+    Given a target source named "W0783.c" with:
+      """
+      extern struct Foo *gp;
+
+      void foo(int *p)
+      {
+          gp = (struct Foo *) p; /* W0783 */
+      }
+      """
+    When I successfully run `adlint W0783.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 20     |
+      | W0117 | 3    | 6      |
+      | W0783 | 5    | 10     |
+      | W0104 | 3    | 15     |
+      | W0105 | 3    | 15     |
+      | W0628 | 3    | 6      |
+
+  Scenario: casting from a pointer of an incomplete struct
+    Given a target source named "W0783.c" with:
+      """
+      extern struct Foo *gp;
+
+      void foo(void)
+      {
+          int *p = (int *) gp; /* W0783 */
+      }
+      """
+    When I successfully run `adlint W0783.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 20     |
+      | W0117 | 3    | 6      |
+      | W0783 | 5    | 14     |
+      | W0100 | 5    | 10     |
+      | W0628 | 3    | 6      |
+
+  Scenario: casting from and to a pointer of an incomplete struct
+    Given a target source named "W0783.c" with:
+      """
+      extern struct Foo *p1;
+      extern union Bar *p2;
+
+      void foo(void)
+      {
+          p2 = (union Bar *) p1; /* W0783 */
+      }
+      """
+    When I successfully run `adlint W0783.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 20     |
+      | W0118 | 2    | 19     |
+      | W0117 | 4    | 6      |
+      | W0783 | 6    | 10     |
+      | W0628 | 4    | 6      |
+
+  Scenario: casting from and to a pointer of an complete type
+    Given a target source named "W0783.c" with:
+      """
+      struct Foo {
+          int i;
+      } *p1;
+
+      union Bar {
+          int i;
+          char c;
+      } *p2;
+
+      void foo(void)
+      {
+          p2 = (union Bar *) p1; /* OK */
+      }
+      """
+    When I successfully run `adlint W0783.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 4      |
+      | W0117 | 8    | 4      |
+      | W0117 | 10   | 6      |
+      | W0551 | 5    | 7      |
+      | W0628 | 10   | 6      |
+      | W0589 | 3    | 4      |
+      | W0593 | 3    | 4      |
+      | W0589 | 8    | 4      |
+      | W0593 | 8    | 4      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W0792.feature

@@ -0,0 +1,124 @@
+Feature: W0792
+
+  W0792 detects that an explicit conversion between variable of floating point
+  number and pointer to a function is found.
+
+  Scenario: converting `float' to function pointer
+    Given a target source named "W0792.c" with:
+      """
+      int (*foo(const float f))(void)
+      {
+          return (int (*)(void)) f; /* W0792 */
+      }
+      """
+    When I successfully run `adlint W0792.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 7      |
+      | W0792 | 3    | 12     |
+      | W0628 | 1    | 7      |
+
+  Scenario: converting `double' to function pointer
+    Given a target source named "W0792.c" with:
+      """
+      int (*foo(const double f))(void)
+      {
+          return (int (*)(void)) f; /* W0792 */
+      }
+      """
+    When I successfully run `adlint W0792.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 7      |
+      | W0792 | 3    | 12     |
+      | W0628 | 1    | 7      |
+
+  Scenario: converting `long double' to function pointer
+    Given a target source named "W0792.c" with:
+      """
+      int (*foo(const long double f))(void)
+      {
+          return (int (*)(void)) f; /* W0792 */
+      }
+      """
+    When I successfully run `adlint W0792.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 7      |
+      | W0792 | 3    | 12     |
+      | W0628 | 1    | 7      |
+
+  Scenario: converting function pointer to `float'
+    Given a target source named "W0792.c" with:
+      """
+      float foo(int (* const p)(void))
+      {
+          return (float) p; /* W0792 */
+      }
+      """
+    When I successfully run `adlint W0792.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 7      |
+      | W0792 | 3    | 12     |
+      | W0628 | 1    | 7      |
+
+  Scenario: converting function pointer to `double'
+    Given a target source named "W0792.c" with:
+      """
+      double foo(int (* const p)(void))
+      {
+          return (double) p; /* W0792 */
+      }
+      """
+    When I successfully run `adlint W0792.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 8      |
+      | W0792 | 3    | 12     |
+      | W0628 | 1    | 8      |
+
+  Scenario: converting function pointer to `long double'
+    Given a target source named "W0792.c" with:
+      """
+      long double foo(int (* const p)(void))
+      {
+          return (long double) p; /* W0792 */
+      }
+      """
+    When I successfully run `adlint W0792.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 13     |
+      | W0792 | 3    | 12     |
+      | W0628 | 1    | 13     |
+
+  Scenario: converting `float' to `int'
+    Given a target source named "W0792.c" with:
+      """
+      int foo(const float f)
+      {
+          return (int) f; /* OK */
+      }
+      """
+    When I successfully run `adlint W0792.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:
+      """
+      void *foo(int (* const p)(void))
+      {
+          return (void *) p; /* OK */
+      }
+      """
+    When I successfully run `adlint W0792.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 7      |
+      | W0628 | 1    | 7      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W0793.feature

@@ -0,0 +1,153 @@
+Feature: W0793
+
+  W0793 detects that an explicit conversion between pointer to variable and
+  pointer to function is found.
+
+  Scenario: converting `float *' to function pointer
+    Given a target source named "W0793.c" with:
+      """
+      typedef int (*funptr_t)(void);
+
+      funptr_t foo(float *p)
+      {
+          return (funptr_t) p; /* W0793 */
+      }
+      """
+    When I successfully run `adlint W0793.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 10     |
+      | W0625 | 1    | 15     |
+      | W0793 | 5    | 12     |
+      | W0104 | 3    | 21     |
+      | W0105 | 3    | 21     |
+      | W0628 | 3    | 10     |
+
+  Scenario: converting `double *' to function pointer
+    Given a target source named "W0793.c" with:
+      """
+      typedef int (*funptr_t)(void);
+
+      funptr_t foo(double *p)
+      {
+          return (funptr_t) p; /* W0793 */
+      }
+      """
+    When I successfully run `adlint W0793.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 10     |
+      | W0625 | 1    | 15     |
+      | W0793 | 5    | 12     |
+      | W0104 | 3    | 22     |
+      | W0105 | 3    | 22     |
+      | W0628 | 3    | 10     |
+
+  Scenario: converting `long double *' to function pointer
+    Given a target source named "W0793.c" with:
+      """
+      typedef int (*funptr_t)(void);
+
+      funptr_t foo(long double *p)
+      {
+          return (funptr_t) p; /* W0793 */
+      }
+      """
+    When I successfully run `adlint W0793.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 10     |
+      | W0625 | 1    | 15     |
+      | W0793 | 5    | 12     |
+      | W0104 | 3    | 27     |
+      | W0105 | 3    | 27     |
+      | W0628 | 3    | 10     |
+
+  Scenario: converting function pointer to `float *'
+    Given a target source named "W0793.c" with:
+      """
+      typedef int (*funptr_t)(void);
+
+      float *foo(funptr_t p)
+      {
+          return (float *) p; /* W0793 */
+      }
+      """
+    When I successfully run `adlint W0793.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 8      |
+      | W0793 | 5    | 12     |
+      | W0104 | 3    | 21     |
+      | W0628 | 3    | 8      |
+
+  Scenario: converting function pointer to `double *'
+    Given a target source named "W0793.c" with:
+      """
+      typedef int (*funptr_t)(void);
+
+      double *foo(funptr_t p)
+      {
+          return (double *) p; /* W0793 */
+      }
+      """
+    When I successfully run `adlint W0793.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 9      |
+      | W0793 | 5    | 12     |
+      | W0104 | 3    | 22     |
+      | W0628 | 3    | 9      |
+
+  Scenario: converting function pointer to `long double *'
+    Given a target source named "W0793.c" with:
+      """
+      typedef int (*funptr_t)(void);
+
+      long double *foo(funptr_t p)
+      {
+          return (long double *) p; /* W0793 */
+      }
+      """
+    When I successfully run `adlint W0793.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 14     |
+      | W0793 | 5    | 12     |
+      | W0104 | 3    | 27     |
+      | W0628 | 3    | 14     |
+
+  Scenario: converting `float *' to `int *'
+    Given a target source named "W0793.c" with:
+      """
+      int *foo(float *p)
+      {
+          return (int *) p; /* OK */
+      }
+      """
+    When I successfully run `adlint W0793.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 6      |
+      | W0104 | 1    | 17     |
+      | W0105 | 1    | 17     |
+      | W0628 | 1    | 6      |
+
+  Scenario: converting function pointer to `void *'
+    Given a target source named "W0793.c" with:
+      """
+      typedef int (*funptr_t)(void);
+
+      void *foo(funptr_t p)
+      {
+          return (void *) p; /* OK */
+      }
+      """
+    When I successfully run `adlint W0793.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 7      |
+      | W0104 | 3    | 20     |
+      | W0628 | 3    | 7      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W0794.feature

@@ -0,0 +1,90 @@
+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:
+      """
+      int func(int i)
+      {
+          return i << 1; /* W0794 */
+      }
+      """
+    When I successfully run `adlint W0794.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    | 14     |
+      | W0628 | 1    | 5      |
+
+  Scenario: right shifting a `signed int' value
+    Given a target source named "W0794.c" with:
+      """
+      int func(int i)
+      {
+          return i >> 1; /* OK */
+      }
+      """
+    When I successfully run `adlint W0794.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0571 | 3    | 14     |
+      | W0572 | 3    | 14     |
+      | W0104 | 1    | 14     |
+      | W0628 | 1    | 5      |
+
+  Scenario: left shifting an `unsigned int' value
+    Given a target source named "W0794.c" with:
+      """
+      unsigned int func(unsigned int ui)
+      {
+          return ui << 1; /* OK */
+      }
+      """
+    When I successfully run `adlint W0794.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 14     |
+      | W0116 | 3    | 15     |
+      | W0104 | 1    | 32     |
+      | W0628 | 1    | 14     |
+
+  Scenario: left shifting a `signed int' constant
+    Given a target source named "W0794.c" with:
+      """
+      int func(void)
+      {
+          return 123 << 1; /* OK */
+      }
+      """
+    When I successfully run `adlint W0794.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0572 | 3    | 16     |
+      | W0628 | 1    | 5      |
+
+  Scenario: left shifting an `unsigned char' value which will be
+            integer-promoted to `signed int'
+    Given a target source named "W0794.c" with:
+      """
+      int func(unsigned char uc)
+      {
+          return uc << 1; /* OK */
+      }
+      """
+    When I successfully run `adlint W0794.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0123 | 3    | 12     |
+      | W0246 | 3    | 12     |
+      | W0116 | 3    | 15     |
+      | W0104 | 1    | 24     |
+      | W0628 | 1    | 5      |
+
+# vim:ts=2:sw=2:sts=2:et: