adlint 1.8.10 → 1.10.0

data/features/message_detection/W0007.feature

@@ -0,0 +1,264 @@
+Feature: W0007
+
+  W0007 detects that the previous case or default clause does not have a
+  jump-statement at the last statement.
+
+  Scenario: no jump-statement in the previous case clause
+    Given a target source named "W0007.c" with:
+      """
+      static int foo(const int i)
+      {
+          int j;
+
+          switch (i) {
+          case 1:
+              j = 1;
+              break;
+          case 2:
+              j = 2;
+          case 3: /* W0007 */
+              j = 3;
+              break;
+          default:
+              j = 0;
+              break;
+          }
+
+          return j;
+      }
+      """
+    When I successfully run `adlint W0007.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0629 | 1    | 12     |
+      | W0007 | 11   | 5      |
+      | W0628 | 1    | 12     |
+
+  Scenario: a break-statement at the middle of the previous case clause
+    Given a target source named "W0007.c" with:
+      """
+      extern int rand(void);
+
+      static int foo(const int i)
+      {
+          int j;
+
+          switch (i) {
+          case 1:
+              j = 1;
+              break;
+          case 2:
+              if (rand() == 0) {
+                  j = -1;
+                  break;
+              }
+              j = 2;
+          case 3: /* W0007 */
+              j = 3;
+              break;
+          default:
+              j = 0;
+              break;
+          }
+
+          return j;
+      }
+      """
+    When I successfully run `adlint W0007.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 12     |
+      | W0629 | 3    | 12     |
+      | W0007 | 17   | 5      |
+      | W0532 | 14   | 13     |
+      | W0628 | 3    | 12     |
+
+  Scenario: a break-statement at the bottom of the previous case clause
+    Given a target source named "W0007.c" with:
+      """
+      static int foo(const int i)
+      {
+          int j;
+
+          switch (i) {
+          case 1:
+              j = 1;
+              break;
+          case 2:
+              j = 2;
+              break;
+          case 3: /* OK */
+              j = 3;
+              break;
+          default:
+              j = 0;
+              break;
+          }
+
+          return j;
+      }
+      """
+    When I successfully run `adlint W0007.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0629 | 1    | 12     |
+      | W0628 | 1    | 12     |
+
+  Scenario: a return-statement at the bottom of the previous case clause
+    Given a target source named "W0007.c" with:
+      """
+      static int foo(const int i)
+      {
+          int j;
+
+          switch (i) {
+          case 1:
+              j = 1;
+              break;
+          case 2:
+              j = 2;
+              return j;
+          case 3: /* OK */
+              j = 3;
+              break;
+          default:
+              j = 0;
+              break;
+          }
+
+          return j;
+      }
+      """
+    When I successfully run `adlint W0007.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0629 | 1    | 12     |
+      | W0628 | 1    | 12     |
+
+  Scenario: no jump-statement in the previous default clause
+    Given a target source named "W0007.c" with:
+      """
+      static int foo(const int i)
+      {
+          int j;
+
+          switch (i) {
+          case 1:
+              j = 1;
+              break;
+          default:
+              j = 2;
+          case 3: /* W0007 */
+              j = 3;
+              break;
+          }
+
+          return j;
+      }
+      """
+    When I successfully run `adlint W0007.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0629 | 1    | 12     |
+      | W0007 | 11   | 5      |
+      | W0538 | 9    | 5      |
+      | W0628 | 1    | 12     |
+
+  Scenario: a break-statement at the middle of the previous default clause
+    Given a target source named "W0007.c" with:
+      """
+      extern int rand(void);
+
+      static int foo(const int i)
+      {
+          int j;
+
+          switch (i) {
+          case 1:
+              j = 1;
+              break;
+          default:
+              if (rand() == 0) {
+                  j = -1;
+                  break;
+              }
+              j = 2;
+          case 3: /* W0007 */
+              j = 3;
+              break;
+          }
+
+          return j;
+      }
+      """
+    When I successfully run `adlint W0007.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 12     |
+      | W0629 | 3    | 12     |
+      | W0007 | 17   | 5      |
+      | W0532 | 14   | 13     |
+      | W0538 | 11   | 5      |
+      | W0628 | 3    | 12     |
+
+  Scenario: a break-statement at the bottom of the previous default clause
+    Given a target source named "W0007.c" with:
+      """
+      static int foo(const int i)
+      {
+          int j;
+
+          switch (i) {
+          case 1:
+              j = 1;
+              break;
+          case 2:
+              j = 2;
+              break;
+          case 3: /* OK */
+              j = 3;
+              break;
+          default:
+              j = 0;
+              break;
+          }
+
+          return j;
+      }
+      """
+    When I successfully run `adlint W0007.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0629 | 1    | 12     |
+      | W0628 | 1    | 12     |
+
+  Scenario: a return-statement at the bottom of the previous default clause
+    Given a target source named "W0007.c" with:
+      """
+      static int foo(const int i)
+      {
+          int j;
+
+          switch (i) {
+          case 1:
+              j = 1;
+              break;
+          default:
+              j = 2;
+              return j;
+          case 3: /* OK */
+              j = 3;
+              break;
+          }
+
+          return j;
+      }
+      """
+    When I successfully run `adlint W0007.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0629 | 1    | 12     |
+      | W0538 | 9    | 5      |
+      | W0628 | 1    | 12     |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W0010.feature

@@ -0,0 +1,75 @@
+Feature: W0010
+
+  W0010 detects that a side-effect may occur in the conditional-expression.
+
+  Scenario: postfix-increment-expression and postfix-decrement-expression
+    Given a target source named "W0010.c" with:
+      """
+      static int foo(int a, int b)
+      {
+          return (a > 0) ? b++ : b--; /* W0010 */
+      }
+      """
+    When I successfully run `adlint W0010.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0597 | 3    | 20     |
+      | W0104 | 1    | 20     |
+      | W0629 | 1    | 12     |
+      | W0010 | 3    | 20     |
+      | W0628 | 1    | 12     |
+
+  Scenario: object-specifier and postfix-decrement-expression
+    Given a target source named "W0010.c" with:
+      """
+      static int foo(int a, int b)
+      {
+          return (a > 0) ? b : b--; /* W0010 */
+      }
+      """
+    When I successfully run `adlint W0010.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0104 | 1    | 20     |
+      | W0629 | 1    | 12     |
+      | W0010 | 3    | 20     |
+      | W0086 | 3    | 20     |
+      | W0628 | 1    | 12     |
+
+  Scenario: function-call-expression and constant-specifier
+    Given a target source named "W0010.c" with:
+      """
+      static int foo(int a, int b)
+      {
+          return (a > 0) ? foo(1, b) : 0; /* W0010 */
+      }
+      """
+    When I successfully run `adlint W0010.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0556 | 3    | 25     |
+      | W0104 | 1    | 20     |
+      | W0104 | 1    | 27     |
+      | W0010 | 3    | 20     |
+      | W0086 | 3    | 20     |
+      | W0555 | 1    | 12     |
+
+  Scenario: additive-expression and multiplicative-expression
+    Given a target source named "W0010.c" with:
+      """
+      static int foo(int a, int b)
+      {
+          return (a > 0) ? b / a : a + b; /* OK */
+      }
+      """
+    When I successfully run `adlint W0010.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0723 | 3    | 32     |
+      | W0104 | 1    | 20     |
+      | W0104 | 1    | 27     |
+      | W0629 | 1    | 12     |
+      | W0501 | 3    | 12     |
+      | W0628 | 1    | 12     |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W0013.feature

@@ -0,0 +1,189 @@
+Feature: W0013
+
+  W0013 detects that a continue-statement is used in iteration-statement.
+
+  Scenario: a continue-statement in for-statement
+    Given a target source named "W0013.c" with:
+      """
+      static void foo(void)
+      {
+          int i;
+          int j;
+
+          for (i = 1, j = 0; i < 20; i++) {
+              j += 2;
+              if ((j % i) == 3) {
+                  continue; /* W0013 */
+              }
+          }
+      }
+      """
+    When I successfully run `adlint W0013.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0629 | 1    | 13     |
+      | W0535 | 6    | 10     |
+      | W0013 | 9    | 13     |
+      | W0628 | 1    | 13     |
+
+  Scenario: a continue-statement in c99-for-statement
+    Given a target source named "W0013.c" with:
+      """
+      static void foo(void)
+      {
+          int j = 0;
+
+          for (int i = 1; i < 20; i++) {
+              j += 2;
+              if ((j % i) == 3) {
+                  continue; /* W0013 */
+              }
+          }
+      }
+      """
+    When I successfully run `adlint W0013.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0629 | 1    | 13     |
+      | W0013 | 8    | 13     |
+      | W0628 | 1    | 13     |
+
+  Scenario: a continue-statement in while-statement
+    Given a target source named "W0013.c" with:
+      """
+      static void foo(void)
+      {
+          int i = 1;
+          int j = 0;
+
+          while (i < 20) {
+              i++;
+              j += 2;
+              if ((j % i) == 3) {
+                  continue; /* W0013 */
+              }
+          }
+      }
+      """
+    When I successfully run `adlint W0013.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0629 | 1    | 13     |
+      | W0013 | 10   | 13     |
+      | W0628 | 1    | 13     |
+
+  Scenario: a continue-statement in do-statement
+    Given a target source named "W0013.c" with:
+      """
+      static void foo(void)
+      {
+          int i = 1;
+          int j = 0;
+
+          do {
+              i++;
+              j += 2;
+              if ((j % i) == 3) {
+                  continue; /* W0013 */
+              }
+          } while (i < 20);
+      }
+      """
+    When I successfully run `adlint W0013.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0629 | 1    | 13     |
+      | W0013 | 10   | 13     |
+      | W0628 | 1    | 13     |
+
+  Scenario: no continue-statement in for-statement
+    Given a target source named "W0013.c" with:
+      """
+      static void foo(void)
+      {
+          int i;
+          int j;
+
+          for (i = 1, j = 0; i < 20; i++) {
+              j += 2;
+              if ((j % i) == 3) {
+                  break; /* OK */
+              }
+          }
+      }
+      """
+    When I successfully run `adlint W0013.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0629 | 1    | 13     |
+      | W0535 | 6    | 10     |
+      | W0628 | 1    | 13     |
+
+  Scenario: no continue-statement in c99-for-statement
+    Given a target source named "W0013.c" with:
+      """
+      static void foo(void)
+      {
+          int j = 0;
+
+          for (int i = 1; i < 20; i++) {
+              j += 2;
+              if ((j % i) == 3) {
+                  break; /* OK */
+              }
+          }
+      }
+      """
+    When I successfully run `adlint W0013.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0629 | 1    | 13     |
+      | W0628 | 1    | 13     |
+
+  Scenario: no continue-statement in while-statement
+    Given a target source named "W0013.c" with:
+      """
+      static void foo(void)
+      {
+          int i = 1;
+          int j = 0;
+
+          while (i < 20) {
+              i++;
+              j += 2;
+              if ((j % i) == 3) {
+                  break; /* OK */
+              }
+          }
+      }
+      """
+    When I successfully run `adlint W0013.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0629 | 1    | 13     |
+      | W0628 | 1    | 13     |
+
+  Scenario: no continue-statement in do-statement
+    Given a target source named "W0013.c" with:
+      """
+      static void foo(void)
+      {
+          int i = 1;
+          int j = 0;
+
+          do {
+              i++;
+              j += 2;
+              if ((j % i) == 3) {
+                  break; /* OK */
+              }
+          } while (i < 20);
+      }
+      """
+    When I successfully run `adlint W0013.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0629 | 1    | 13     |
+      | W0628 | 1    | 13     |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W0109.feature

@@ -0,0 +1,50 @@
+Feature: W0109
+
+  W0703 detects that a function-call is performed before declaring the target
+  function.
+
+  Scenario: calling function is not declared
+    Given a target source named "W0109.c" with:
+      """
+      int main(void)
+      {
+          return foo(); /* W0109 */
+      }
+      """
+    When I successfully run `adlint W0109.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0109 | 3    | 15     |
+
+  Scenario: calling function is forward declared
+    Given a target source named "W0109.c" with:
+      """
+      extern int foo(void);
+
+      int main(void)
+      {
+          return foo(); /* OK */
+      }
+      """
+    When I successfully run `adlint W0109.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 12     |
+
+  Scenario: calling function is backward declared
+    Given a target source named "W0109.c" with:
+      """
+      int main(void)
+      {
+          return foo(); /* W0109 */
+      }
+
+      extern int foo(void);
+      """
+    When I successfully run `adlint W0109.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0109 | 3    | 15     |
+      | W0118 | 6    | 12     |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W0583.feature

@@ -0,0 +1,30 @@
+Feature: W0583
+
+  W0583 detects that arguments specified to call the function does not match
+  with the corresponding function-definition appears after the function-call.
+
+  Scenario: array as an argument
+    Given a target source named "W0583.c" with:
+      """
+      int main(void)
+      {
+          int a[] = { 0, 1, 2 };
+          return foo(a);
+      }
+
+      int foo(const int *p) { /* W0583 should not be output */
+          return *p;
+      }
+      """
+    When I successfully run `adlint W0583.c` on noarch
+    Then the output should not match with /4:.*:W0583/
+    And the output should exactly match with:
+      | mesg  | line | column |
+      | W0109 | 4    | 15     |
+      | W0117 | 7    | 5      |
+      | W0422 | 8    | 12     |
+      | W0104 | 7    | 20     |
+      | W0589 | 7    | 5      |
+      | W0591 | 7    | 5      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W0606.feature

@@ -0,0 +1,20 @@
+Feature: W0606
+
+  W0606 detects that floating point in union.
+
+  Scenario: floating point in union.
+    Given a target source named "W0606.c" with:
+      """
+      union UNI { /* W0606 */
+          float a;
+          int b;
+      };
+
+      """
+    When I successfully run `adlint W0606.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0551 | 1    | 7      |
+      | W0606 | 1    | 7      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W0698.feature

@@ -0,0 +1,20 @@
+Feature: W0698
+
+  W0698 detects that`return;' statement is found at except void function.
+
+  Scenario: return statement
+    Given a target source named "W0698.c" with:
+      """
+      int func(void)
+      {
+          return; /* W0698 */
+      }
+      """
+    When I successfully run `adlint W0698.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 5      |
+      | W0698 | 3    | 5      |
+      | W0628 | 1    | 5      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W0699.feature

@@ -0,0 +1,21 @@
+Feature: W0699
+
+  W0699 detects that`return;' statement is found at except void function.
+
+  Scenario: return statement
+    Given a target source named "W0699.c" with:
+      """
+      extern func(void)
+      {
+          return; /* W0699 */
+      }
+      """
+    When I successfully run `adlint W0699.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 1    | 8      |
+      | W0457 | 1    | 8      |
+      | W0699 | 3    | 5      |
+      | W0628 | 1    | 8      |
+
+# vim:ts=2:sw=2:sts=2:et: