adlint 1.16.0 → 1.18.0

data/etc/mesg.d/en_US/messages.yml

@@ -36,7 +36,7 @@
 #     X9999: "Your custom message for the fatal error of #9999."
 #     E9999: "Your custom message for the error of #9999."
 
-version: "1.16.0"
+version: "1.18.0"
 
 message_definition:
   X0001: "An unknown exception `%s' is found."
@@ -752,12 +752,12 @@ message_definition:
   W1035: "`%s' declared typedef. It cannot be redeclared inside an inner scope without using explicit type."
   W1036: "`%s' declared typedef. It cannot be redeclared as a member of structure or union without using explicit type."
   W1037: "`%s' which has external coupling is declared more than one, this is incompatible."
-  W1039: "`ll' is used in conversion specifier."
+  W1039: "`ll' is used in %sth conversion specifier."
   W1040: "An unrecognizable string is described after preprocessing directive."
   W1041: "`%s' is not official preprocessing directive of ISO C standards."
   W1042: "'sizeof' operator is using in preprocessing directive. This is the language extension."
   W1043: "`@ address' is not supported ISO C standards. It will be considered as language extension."
-  W1044: "An expression which includes the statement is not supported ISO C standards. It will be considered as language extension."
+  W1044: "UNUSABLE"
   W1045: "This `@ word' syntax will be ignored."
   W1046: "A space character is ignored between `\\' and line feed."
   W1047: "The struct, union or array's initializer is not literal."

data/etc/mesg.d/ja_JP/messages.yml

@@ -36,7 +36,7 @@
 #     X9999: "Your custom message for the fatal error of #9999."
 #     E9999: "Your custom message for the error of #9999."
 
-version: "1.16.0"
+version: "1.18.0"
 
 message_definition:
   X0001: "不明な例外条件 `%s' を検出しました。"
@@ -752,12 +752,12 @@ message_definition:
   W1035: "`%s' は typedef として宣言されています。明示的な型指定子を使わずに、より内側のスコープで再宣言することはできません。"
   W1036: "`%s' は typedef として宣言されています。明示的な型指定子を使わずに、構造体または共用体のメンバとして再宣言することはできません。"
   W1037: "外部結合をもつ `%s' が、二つ以上宣言されていますが互換性がありません。"
-  W1039: "変換指定子に `ll' が使われています。"
+  W1039: "%s 番目の変換指定子に `ll' が使われています。"
   W1040: "前処理指令の後に認識できない文字列が記述されています。"
   W1041: "`%s' は、ISO C 標準規格の正式な前処理指令ではありません。"
   W1042: "前処理指令の中で sizeof 演算子を使っています。これは言語拡張です。"
   W1043: "`@ address' は、ISO C 標準規格ではサポートされていません。言語拡張と見なします。"
-  W1044: "文を包含する式は ISO C 標準規格ではサポートされていません。言語拡張と見なします。"
+  W1044: "使用不可"
   W1045: "この `@ word' 構文は無視されます。"
   W1046: "`\\' と改行の間にある空白文字類が無視されています。"
   W1047: "構造体、共用体、あるいは配列の初期化子がリテラルではありません。"

data/features/message_detection/E0013.feature

@@ -0,0 +1,34 @@
+Feature: E0013
+
+  E0013 detects that an expression contains statements.
+
+  Scenario: statements in initializer
+    Given a target source named "E0013.c" with:
+      """
+      int foo(int i)
+      {
+          int j = ({ volatile int *p = &i; i - 1; }); /* E0013 */
+
+          if (j == 0) {
+              return 0;
+          }
+          else {
+              return foo(j);
+          }
+      }
+      """
+    When I successfully run `adlint E0013.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | E0013 | 3    | 13     |
+      | W0117 | 1    | 5      |
+      | W0556 | 9    | 19     |
+      | W0100 | 3    | 9      |
+      | W0031 | 1    | 13     |
+      | W0104 | 1    | 13     |
+      | W1071 | 1    | 5      |
+      | W0555 | 1    | 5      |
+      | W0589 | 1    | 5      |
+      | W0591 | 1    | 5      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W0007.feature

@@ -136,6 +136,7 @@ Feature: W0007
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 12     |
+      | W1071 | 1    | 12     |
       | W0629 | 1    | 12     |
       | W0628 | 1    | 12     |
 
@@ -265,6 +266,7 @@ Feature: W0007
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 12     |
+      | W1071 | 1    | 12     |
       | W0629 | 1    | 12     |
       | W0538 | 9    | 5      |
       | W0628 | 1    | 12     |

data/features/message_detection/W0583.feature

@@ -17,8 +17,7 @@ Feature: W0583
       }
       """
     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:
+    Then the output should exactly match with:
       | mesg  | line | column |
       | W0109 | 4    | 15     |
       | W0117 | 7    | 5      |

data/features/message_detection/W0641.feature

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

data/features/message_detection/W0643.feature

@@ -65,7 +65,7 @@ Feature: W0643
       | W0442 | 1    | 1      |
       | W0117 | 2    | 13     |
 
-  Scenario: backslashes middle of argument tokens 
+  Scenario: backslashes middle of argument tokens
     Given a target source named "W0643.c" with:
       """
       #define MACRO(x) #x

data/features/message_detection/W0644.feature

@@ -0,0 +1,529 @@
+Feature: W0644
+
+  W0644 detects that an expression refers the value of a `void' expression.
+
+  Scenario: casting value of the `void' function
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      int bar(void)
+      {
+          return (int) foo(); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 5      |
+      | W0644 | 5    | 12     |
+      | W0628 | 3    | 5      |
+
+  Scenario: referring value of the `void' function in
+            array-subscript-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      int bar(int a[])
+      {
+          return a[foo()]; /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 5      |
+      | W0644 | 5    | 13     |
+      | W0104 | 3    | 13     |
+      | W0628 | 3    | 5      |
+
+  Scenario: referring value of the `void' function in function-call-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+      extern void bar(int);
+
+      void baz(void)
+      {
+          bar(foo()); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0118 | 2    | 13     |
+      | W0117 | 4    | 6      |
+      | W0644 | 6    | 12     |
+      | W1026 | 6    | 12     |
+      | W0628 | 4    | 6      |
+
+  Scenario: referring value of the `void' function in multiplicative-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      int bar(int i)
+      {
+          return i * foo(); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 5      |
+      | W0644 | 5    | 14     |
+      | W0104 | 3    | 13     |
+      | W0628 | 3    | 5      |
+
+  Scenario: referring two values of the `void' function in
+            multiplicative-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      int bar(void)
+      {
+          return foo() / foo(); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 5      |
+      | W0644 | 5    | 18     |
+      | W0628 | 3    | 5      |
+
+  Scenario: referring value of the `void' function in additive-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      int bar(int i)
+      {
+          return i + foo(); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 5      |
+      | W0644 | 5    | 14     |
+      | W0104 | 3    | 13     |
+      | W0628 | 3    | 5      |
+
+  Scenario: referring two values of the `void' function in additive-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      int bar(void)
+      {
+          return foo() + foo(); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 5      |
+      | W0644 | 5    | 18     |
+      | W0628 | 3    | 5      |
+
+  Scenario: referring value of the `void' function in shift-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      int bar(int i)
+      {
+          return i << foo(); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 5      |
+      | W0644 | 5    | 14     |
+      | W0570 | 5    | 14     |
+      | W0572 | 5    | 14     |
+      | W0794 | 5    | 14     |
+      | W0104 | 3    | 13     |
+      | W0628 | 3    | 5      |
+
+  Scenario: referring two values of the `void' function in shift-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      int bar(void)
+      {
+          return foo() << foo(); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 5      |
+      | W0644 | 5    | 18     |
+      | W0628 | 3    | 5      |
+
+  Scenario: referring value of the `void' function in relational-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      int bar(int i)
+      {
+          return i < foo(); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 5      |
+      | W0644 | 5    | 14     |
+      | W0610 | 5    | 14     |
+      | W0104 | 3    | 13     |
+      | W0628 | 3    | 5      |
+
+  Scenario: referring two values of the `void' function in
+            relational-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      int bar(void)
+      {
+          return foo() > foo(); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 5      |
+      | W0644 | 5    | 18     |
+      | W0628 | 3    | 5      |
+
+  Scenario: referring value of the `void' function in equality-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      int bar(int i)
+      {
+          return i == foo(); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 5      |
+      | W0644 | 5    | 14     |
+      | W0104 | 3    | 13     |
+      | W0628 | 3    | 5      |
+
+  Scenario: referring two values of the `void' function in
+            relational-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      int bar(void)
+      {
+          return foo() != foo(); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 5      |
+      | W0644 | 5    | 18     |
+      | W0628 | 3    | 5      |
+
+  Scenario: referring value of the `void' function in and-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      int bar(int i)
+      {
+          return i & foo(); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 5      |
+      | W0644 | 5    | 14     |
+      | W0572 | 5    | 14     |
+      | W0104 | 3    | 13     |
+      | W0628 | 3    | 5      |
+
+  Scenario: referring two values of the `void' function in and-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      int bar(void)
+      {
+          return foo() & foo(); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 5      |
+      | W0644 | 5    | 18     |
+      | W0628 | 3    | 5      |
+
+  Scenario: referring value of the `void' function in exclusive-or-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      int bar(int i)
+      {
+          return i ^ foo(); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 5      |
+      | W0644 | 5    | 14     |
+      | W0572 | 5    | 14     |
+      | W0104 | 3    | 13     |
+      | W0628 | 3    | 5      |
+
+  Scenario: referring two values of the `void' function in
+            exclusive-or-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      int bar(void)
+      {
+          return foo() ^ foo(); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 5      |
+      | W0644 | 5    | 18     |
+      | W0628 | 3    | 5      |
+
+  Scenario: referring value of the `void' function in inclusive-or-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      int bar(int i)
+      {
+          return i | foo(); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 5      |
+      | W0644 | 5    | 14     |
+      | W0572 | 5    | 14     |
+      | W0104 | 3    | 13     |
+      | W0628 | 3    | 5      |
+
+  Scenario: referring two values of the `void' function in
+            inclusive-or-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      int bar(void)
+      {
+          return foo() | foo(); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 5      |
+      | W0644 | 5    | 18     |
+      | W0628 | 3    | 5      |
+
+  Scenario: referring value of the `void' function in logical-and-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      int bar(int i)
+      {
+          if (i && foo()) { /* W0644 */
+              return 0;
+          }
+
+          return i && foo(); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 5      |
+      | W0644 | 5    | 11     |
+      | W0644 | 9    | 14     |
+      | W0035 | 9    | 14     |
+      | W0104 | 3    | 13     |
+      | W1071 | 3    | 5      |
+      | W0488 | 5    | 9      |
+      | W0508 | 5    | 11     |
+      | W0488 | 9    | 12     |
+      | W0508 | 9    | 14     |
+      | W0628 | 3    | 5      |
+
+  Scenario: referring two values of the `void' function in
+            exclusive-or-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      int bar(void)
+      {
+          if (foo() && foo()) { /* W0644 */
+              return 0;
+          }
+
+          return foo() && foo(); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 5      |
+      | W0644 | 5    | 15     |
+      | W0644 | 9    | 18     |
+      | W0035 | 9    | 18     |
+      | W1071 | 3    | 5      |
+      | W0488 | 5    | 9      |
+      | W0508 | 5    | 15     |
+      | W0488 | 9    | 12     |
+      | W0508 | 9    | 18     |
+      | W0628 | 3    | 5      |
+
+  Scenario: referring value of the `void' function in logical-or-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      int bar(int i)
+      {
+          if (i || foo()) { /* W0644 */
+              return 0;
+          }
+
+          return i || foo(); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 5      |
+      | W0644 | 5    | 11     |
+      | W0644 | 9    | 14     |
+      | W0035 | 9    | 14     |
+      | W0104 | 3    | 13     |
+      | W1071 | 3    | 5      |
+      | W0488 | 5    | 9      |
+      | W0508 | 5    | 11     |
+      | W0488 | 9    | 12     |
+      | W0508 | 9    | 14     |
+      | W0628 | 3    | 5      |
+
+  Scenario: referring two values of the `void' function in
+            exclusive-or-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      int bar(void)
+      {
+          if (foo() || foo()) { /* W0644 */
+              return 0;
+          }
+
+          return foo() || foo(); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 5      |
+      | W0644 | 5    | 15     |
+      | W0644 | 9    | 18     |
+      | W0035 | 9    | 18     |
+      | W1071 | 3    | 5      |
+      | W0488 | 5    | 9      |
+      | W0508 | 5    | 15     |
+      | W0488 | 9    | 12     |
+      | W0508 | 9    | 18     |
+      | W0628 | 3    | 5      |
+
+  Scenario: referring value of the `void' function in assignment-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      void bar(int i)
+      {
+          i = foo(); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 6      |
+      | W0644 | 5    | 7      |
+      | W0628 | 3    | 6      |
+
+  Scenario: referring value of the `void' function in
+            compound-assignment-expression
+    Given a target source named "W0644.c" with:
+      """
+      extern void foo(void);
+
+      void bar(int i)
+      {
+          i += foo(); /* W0644 */
+      }
+      """
+    When I successfully run `adlint W0644.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 6      |
+      | W0644 | 5    | 7      |
+      | W0628 | 3    | 6      |
+
+# vim:ts=2:sw=2:sts=2:et: