adlint 1.14.0 → 1.16.0

data/features/message_detection/W0811.feature

@@ -0,0 +1,79 @@
+Feature: W0811
+
+  W0811 detects that token sequence replaced by macro contains `defined'
+  operator.
+
+  Scenario: no macro replacement
+    Given a target source named "W0805.c" with:
+      """
+      #if defined(FOO) /* OK */
+      int i = 0;
+      #endif
+      """
+    When I successfully run `adlint W0805.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+
+  Scenario: expanding a wellformed `defined' operator
+    Given a target source named "W0805.c" with:
+      """
+      #define COND defined(FOO)
+
+      #if COND /* W0811 */
+      int i = 0;
+      #endif
+      """
+    When I successfully run `adlint W0805.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0811 | 3    | 5      |
+
+  Scenario: expanding a wellformed expression contains `defined' operator from
+            object-like macro
+    Given a target source named "W0805.c" with:
+      """
+      #define COND defined(FOO) && !defined(BAR)
+
+      #if COND /* W0811 */
+      int i = 0;
+      #endif
+      """
+    When I successfully run `adlint W0805.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0811 | 3    | 5      |
+
+  Scenario: expanding a wellformed `defined' operator from function-like macro
+    Given a target source named "W0805.c" with:
+      """
+      #define COND(id) defined(id)
+
+      #if COND(FOO) /* W0811 */
+      int i = 0;
+      #endif
+      """
+    When I successfully run `adlint W0805.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0442 | 1    | 1      |
+      | W0811 | 3    | 5      |
+      | W0443 | 1    | 1      |
+
+  Scenario: expanding a wellformed expression contains `defined' operator from
+            function-like macro
+    Given a target source named "W0805.c" with:
+      """
+      #define COND(id1, id2) defined(id1) && !defined(id2)
+
+      #if COND(FOO, BAR) /* W0811 */
+      int i = 0;
+      #endif
+      """
+    When I successfully run `adlint W0805.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0442 | 1    | 1      |
+      | W0811 | 3    | 5      |
+      | W0443 | 1    | 1      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W1031.feature

@@ -17,6 +17,7 @@ Feature: W1031
     Then the output should not match with /3:.*:W1031/
     And the output should exactly match with:
       | mesg  | line | column |
+      | W1075 | 3    | 5      |
       | W0104 | 3    | 14     |
       | W0629 | 3    | 5      |
       | W0628 | 3    | 5      |
@@ -108,6 +109,7 @@ Feature: W1031
     And the output should exactly match with:
       | mesg  | line | column |
       | W1031 | 3    | 12     |
+      | W1075 | 3    | 12     |
       | W0104 | 3    | 21     |
       | W0629 | 3    | 12     |
       | W0628 | 3    | 12     |
@@ -170,6 +172,7 @@ Feature: W1031
     And the output should exactly match with:
       | mesg  | line | column |
       | W1031 | 2    | 12     |
+      | W1075 | 2    | 12     |
 
   Scenario: variable declaration with `extern' and variable definition with
             `static'
@@ -199,7 +202,9 @@ Feature: W1031
     Then the output should not match with /5:.*:W1031/
     And the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 12     |
       | W0104 | 1    | 21     |
+      | W1075 | 5    | 5      |
       | W0629 | 1    | 12     |
       | W0543 | 1    | 12     |
       | W0628 | 1    | 12     |
@@ -299,8 +304,10 @@ Feature: W1031
     Then the output should match with /5:.*:W1031/
     And the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 12     |
       | W0104 | 1    | 21     |
       | W1031 | 5    | 12     |
+      | W1075 | 5    | 12     |
       | W0629 | 1    | 12     |
       | W0628 | 1    | 12     |
 

data/features/message_detection/W1040.feature

@@ -0,0 +1,89 @@
+Feature: W1040
+
+  W1040 detects that extra tokens after the preprocessing directive.
+
+  Scenario: extra tokens after #endif directive
+    Given a target source named "W1040.c" with:
+      """
+      #define TEST
+
+      #ifdef TEST
+      #if defined(CASE_1)
+      int i = 1;
+      #elif defined(CASE_2)
+      int i = 2;
+      #endif CASE /* W1040 */
+      #else
+      int i = 0;
+      #endif TEST /* W1040 */
+      """
+    When I successfully run `adlint W1040.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1040 | 8    | 8      |
+      | W1040 | 11   | 8      |
+
+  Scenario: extra tokens after #endif directive in an invisible branch
+    Given a target source named "W1040.c" with:
+      """
+      #ifdef TEST
+      #if defined(CASE_1)
+      int i = 1;
+      #elif defined(CASE_2)
+      int i = 2;
+      #endif CASE /* OK */
+      #else
+      int i = 0;
+      #endif TEST /* W1040 */
+      """
+    When I successfully run `adlint W1040.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1040 | 9    | 8      |
+      | W0117 | 8    | 5      |
+
+  Scenario: extra tokens after #else directive
+    Given a target source named "W1040.c" with:
+      """
+      #define TEST
+
+      #ifdef TEST
+      #if defined(CASE_1)
+      int i = 1;
+      #elif defined(CASE_2)
+      int i = 2;
+      #else CASE_X /* W1040 */
+      int i = 9;
+      #endif
+      #else
+      int i = 0;
+      #endif TEST /* W1040 */
+      """
+    When I successfully run `adlint W1040.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1040 | 8    | 7      |
+      | W1040 | 13   | 8      |
+      | W0117 | 9    | 5      |
+
+  Scenario: extra tokens after #else directive in an invisible branch
+    Given a target source named "W1040.c" with:
+      """
+      #ifdef TEST
+      #if defined(CASE_1)
+      int i = 1;
+      #elif defined(CASE_2)
+      int i = 2;
+      #else CASE_X /* OK */
+      int i = 9;
+      #endif
+      #else
+      int i = 0;
+      #endif
+      """
+    When I successfully run `adlint W1040.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 10   | 5      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W1041.feature

@@ -0,0 +1,15 @@
+Feature: W1041
+
+  W1041 detects that a non-standard preprocessing directive is found.
+
+  Scenario: a compiler-specific preprocessing directive
+    Given a target source named "W1041.c" with:
+      """
+      #compiler_specific_extension 1 2.3 "4" /* W1041 */
+      """
+    When I successfully run `adlint W1041.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1041 | 1    | 1      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W1046.feature

@@ -0,0 +1,60 @@
+Feature: W1046
+
+  W1046 detects that a space or tab character is found after newline escaping
+  `\' character.
+
+  Scenario: illformed newline escape in #define directive
+    Given a target source named "W1046.c" with:
+      """
+      #define FOO(a, b)   /* OK */    \
+          (               /* W1046 */ \ 
+              (a) + (b)   /* W1046 */ \	
+          )
+      """
+    When I successfully run `adlint W1046.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1046 | 2    | 33     |
+      | W1046 | 3    | 33     |
+      | W0442 | 1    | 1      |
+      | W0443 | 1    | 1      |
+
+  Scenario: illformed newline escape in declaration
+    Given a target source named "W1046.c" with:
+      """
+      const char *str = "foo"     /* OK */    \
+                        "bar"     /* W1046 */ \  
+                        "baz"     /* W1046 */ \	 
+                        "qux";
+      """
+    When I successfully run `adlint W1046.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1046 | 2    | 41     |
+      | W1046 | 3    | 41     |
+      | W0117 | 1    | 13     |
+      | W0947 | 1    | 19     |
+
+  Scenario: illformed newline escape in expression
+    Given a target source named "W1046.c" with:
+      """
+      static void bar(const char *str);
+
+      void foo(void)
+      {
+          bar("foo"     /* OK */    \
+              "bar"     /* W1046 */ \  
+              "baz"     /* W1046 */ \	 
+              "qux");
+      }
+      """
+    When I successfully run `adlint W1046.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W1046 | 6    | 31     |
+      | W1046 | 7    | 31     |
+      | W0117 | 3    | 6      |
+      | W0947 | 5    | 9      |
+      | W0628 | 3    | 6      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W1052.feature

@@ -14,6 +14,7 @@ Feature: W1052
     When I successfully run `adlint W1052.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 21     |
       | W0123 | 3    | 12     |
       | W0246 | 3    | 12     |
       | W0123 | 3    | 16     |
@@ -36,6 +37,7 @@ Feature: W1052
     When I successfully run `adlint W1052.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 21     |
       | W0248 | 3    | 12     |
       | W0248 | 3    | 16     |
       | W1052 | 3    | 14     |
@@ -57,6 +59,7 @@ Feature: W1052
     When I successfully run `adlint W1052.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 21     |
       | W1052 | 3    | 14     |
       | W0104 | 1    | 38     |
       | W0104 | 1    | 54     |

data/features/message_detection/W1066.feature

@@ -19,6 +19,7 @@ Feature: W1066
     When I successfully run `adlint W1066.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 13     |
       | W0723 | 4    | 21     |
       | W1066 | 4    | 21     |
       | W0723 | 5    | 21     |
@@ -48,6 +49,7 @@ Feature: W1066
     When I successfully run `adlint W1066.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 13     |
       | W0093 | 4    | 21     |
       | W0570 | 6    | 21     |
       | W0572 | 6    | 21     |
@@ -72,6 +74,7 @@ Feature: W1066
     When I successfully run `adlint W1066.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 13     |
       | W0723 | 4    | 11     |
       | W0777 | 4    | 11     |
       | W0723 | 5    | 11     |

data/features/message_detection/W1067.feature

@@ -19,6 +19,7 @@ Feature: W1067
     When I successfully run `adlint W1067.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 13     |
       | W0723 | 4    | 26     |
       | W1067 | 4    | 26     |
       | W0723 | 5    | 26     |
@@ -48,6 +49,7 @@ Feature: W1067
     When I successfully run `adlint W1067.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 13     |
       | W0093 | 4    | 26     |
       | W0570 | 6    | 26     |
       | W0572 | 6    | 26     |
@@ -72,6 +74,7 @@ Feature: W1067
     When I successfully run `adlint W1067.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 13     |
       | W0723 | 4    | 11     |
       | W0778 | 4    | 11     |
       | W0723 | 5    | 11     |

data/features/message_detection/W1068.feature

@@ -19,6 +19,7 @@ Feature: W1068
     When I successfully run `adlint W1068.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 13     |
       | W0723 | 4    | 26     |
       | W1068 | 4    | 26     |
       | W0723 | 5    | 26     |
@@ -48,6 +49,7 @@ Feature: W1068
     When I successfully run `adlint W1068.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 13     |
       | W0093 | 4    | 26     |
       | W0570 | 6    | 26     |
       | W0572 | 6    | 26     |
@@ -72,6 +74,7 @@ Feature: W1068
     When I successfully run `adlint W1068.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 13     |
       | W0723 | 4    | 11     |
       | W0779 | 4    | 11     |
       | W0723 | 5    | 11     |

data/features/message_detection/W1069.feature

@@ -20,6 +20,7 @@ Feature: W1069
     When I successfully run `adlint W1069.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 12     |
       | W0104 | 1    | 21     |
       | W0629 | 1    | 12     |
       | W1069 | 3    | 5      |
@@ -45,6 +46,7 @@ Feature: W1069
     When I successfully run `adlint W1069.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 12     |
       | W0104 | 1    | 21     |
       | W0629 | 1    | 12     |
       | W1069 | 3    | 5      |
@@ -72,6 +74,7 @@ Feature: W1069
     When I successfully run `adlint W1069.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 12     |
       | W0104 | 1    | 21     |
       | W0629 | 1    | 12     |
       | W0628 | 1    | 12     |
@@ -90,6 +93,7 @@ Feature: W1069
     When I successfully run `adlint W1069.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 12     |
       | W0104 | 1    | 21     |
       | W0629 | 1    | 12     |
       | W0628 | 1    | 12     |
@@ -113,6 +117,7 @@ Feature: W1069
     When I successfully run `adlint W1069.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 12     |
       | W0104 | 1    | 21     |
       | W0629 | 1    | 12     |
       | W0628 | 1    | 12     |

data/features/message_detection/W1070.feature

@@ -19,6 +19,7 @@ Feature: W1070
     When I successfully run `adlint W1070.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 12     |
       | W0629 | 1    | 12     |
       | W1070 | 3    | 5      |
       | W0628 | 1    | 12     |
@@ -41,6 +42,7 @@ Feature: W1070
     When I successfully run `adlint W1070.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 12     |
       | W0629 | 1    | 12     |
       | W0003 | 3    | 5      |
       | W1070 | 3    | 5      |
@@ -66,6 +68,7 @@ Feature: W1070
     When I successfully run `adlint W1070.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 12     |
       | W0629 | 1    | 12     |
       | W9001 | 5    | 9      |
       | W9001 | 6    | 13     |
@@ -87,6 +90,7 @@ Feature: W1070
     When I successfully run `adlint W1070.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 12     |
       | W0629 | 1    | 12     |
       | W0781 | 3    | 5      |
       | W0628 | 1    | 12     |
@@ -113,6 +117,7 @@ Feature: W1070
     When I successfully run `adlint W1070.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 12     |
       | W0629 | 1    | 12     |
       | W9001 | 5    | 9      |
       | W9001 | 6    | 13     |
@@ -139,6 +144,7 @@ Feature: W1070
     When I successfully run `adlint W1070.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 12     |
       | W0629 | 1    | 12     |
       | W0628 | 1    | 12     |