adlint 1.10.0 → 1.12.0

data/ChangeLog

@@ -1,3 +1,196 @@
+Wed Jun 20 13:36:49 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.ga : 1.12.0
+	  - Add W0732 detection.
+	  - Add W0733 detection.
+	  - Add W0734 detection.
+	  - Add W0735 detection.
+	  - Add W9003 detection.
+	  - Revise the value domain narrowing in order not to over-narrow and
+	    under-narrow a value domain of the controlling variable.
+	  - Fix bad multiplication logic in order to detect W0723 and W1052
+	    correctly.
+	  - Add unit specifications of domain of variables' value.
+	  - Add unit specifications of syntax tree of the C language.
+	  - Add W0093, W0687, W0688, W0689, W0690, W0732, W0733, W0734, W0735,
+	    W1052, W9001 and W9003 functional specifications.
+	  - Add W1066, W1067, W1068, W1069, W1070, W1071, W1072, W1073, W1074,
+	    W1075, W1076, W1077 and W9003 message definitions.
+
+Wed Jun 20 10:49:52 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 1.11.2
+	  - Revise W9003 specification not to over-warn about natural
+	    conversions.
+
+Wed Jun 20 10:46:17 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/message.rb : Revise W9003 specification not to
+	  over-warn about natural conversions.
+
+Tue Jun 19 17:37:04 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 1.11.1
+	  - Add W9003 detection.
+
+Tue Jun 19 16:33:54 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W9003.feature : Add W9003 functional
+	  specification.
+	* MANIFEST : Ditto.
+
+	* lib/adlint/c/type.rb : Add Type#standard? predicate method and
+	  insert StandardFloatingType in FloatingType class hierarchy.
+
+	* lib/adlint/c/type.rb : Revise integer-promotion rule of any
+	  enumerated types in order not to over-warn W9003 about enum-enum
+	  expressions.
+
+	* lib/adlint/c/message.rb : Add W9003 detection.
+	* lib/adlint/c/phase.rb : Ditto.
+
+Tue Jun 19 14:48:20 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>
+
+	* share/doc/users_guide_ja.texi : Update descriptions about W0732,
+	  W0733, W0734 and W0735 messages.
+	* share/doc/users_guide_en.texi : Ditto.
+
+	* share/doc/users_guide_ja.texi : Add W1066, W1067, W1068, W1069,
+	  W1070, W1071, W1072, W1073, W1074, W1075, W1076, W1077 and W9003
+	  message definitions.
+	* share/doc/users_guide_en.texi : Ditto.
+
+Fri Jun 15 17:25:51 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 1.11.0
+	  - This is the initial release candidate for 1.12.0 GA release.
+	  - Add W0732 detection.
+	  - Add W0733 detection.
+	  - Add W0734 detection.
+	  - Add W0735 detection.
+	  - Revise the value domain narrowing in order not to over-narrow and
+	    under-narrow a value domain of the controlling variable.
+	  - Fix bad multiplication logic in order to detect W0723 and W1052
+	    correctly.
+	  - Add unit specifications of domain of variables' value.
+	  - Add unit specifications of syntax tree of the C language.
+	  - Add W0093, W0687, W0688, W0689, W0690, W0732, W0733, W0734, W0735,
+	    W1052 and W9001 functional specifications.
+	  - Add W1066, W1067, W1068, W1069, W1070, W1071, W1072, W1073, W1074,
+	    W1075, W1076, W1077 and W9003 message definitions.
+
+Wed Jun 13 18:20:47 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W0723.feature : Add W0723 functional
+	  specification to reproduce a known bug.
+	* features/message_detection/W1052.feature : Add W1052 functional
+	  specification to reproduce a known bug.
+	* MANIFEST : Ditto.
+
+	* lib/adlint/c/domain.rb : Fix bad multiplication logic of
+	  IntersectionValueDomain in order to detect W0723 and W1052
+	  correctly.
+
+Wed Jun 13 15:57:32 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>
+
+	* lib/adlint/c/syntax.rb : Add predicate methods to check whether an
+	  expression is #arithmetic? or #bitwise?.
+	* spec/adlint/c/syntax_spec.rb : Add unit specifications of syntax
+	  tree of the C language.
+	* MANIFEST : Ditto.
+
+	* lib/adlint/c/message_shima.rb : Add W0732, W0733, W0734 and W0735
+	  detections.
+	* lib/adlint/c/phase.rb : Ditto.
+
+	* features/message_detection/W0732.feature : Add W0732 functional
+	  specification.
+	* features/message_detection/W0733.feature : Add W0733 functional
+	  specification.
+	* features/message_detection/W0734.feature : Add W0734 functional
+	  specification.
+	* features/message_detection/W0735.feature : Add W0735 functional
+	  specification.
+	* MANIFEST : Add W0732, W0733, W0735 and W0690 functional
+	  specifications.
+
+Wed Jun 13 11:59:36 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/ctrlexpr.rb : Revise the value domain narrowing in
+	  order not to under-narrow a value domain of the controlling variable.
+	* lib/adlint/c/value.rb : Ditto.
+
+	* features/message_detection/W0093.feature : Add W0093 functional
+	  specification to reproduce a known bug.
+	* MANIFEST : Ditto.
+
+Tue Jun 12 18:41:54 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* spec/adlint/c/ctrlexpr_spec.rb : Add unit specifications of
+	  controlling expression of selection-statements and
+	  iteration-statements.
+
+Mon Jun 11 17:49:11 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/prelude.rb : Add __NOTREACHED__ function in order to ease
+	  debugging.
+	* lib/adlint/c/expr.rb : Ditto.
+	* lib/adlint/c/ctrlexpr.rb : Ditto.
+	* lib/adlint/c/domain.rb : Ditto.
+	* lib/adlint/c.rb : Ditto.
+
+	* lib/adlint/c/operator.rb : Add Operator and ComparisonOperator to
+	  represent a comparison operator symbol directly and move
+	  responsibilities to Operator from ::Symbol.
+	* spec/adlint/c/operator_spec.rb : Ditto.
+	* spec/adlint/c/domain_spec.rb : Ditto.
+	* lib/adlint/c/interp.rb : Ditto.
+	* lib/adlint/c/ctrlexpr.rb : Ditto.
+	* lib/adlint/c/type.rb : Ditto.
+	* lib/adlint/c/object.rb : Ditto.
+	* lib/adlint/c/value.rb : Ditto.
+	* lib/adlint/c/domain.rb : Ditto.
+	* lib/adlint/prelude.rb : Ditto.
+	* MANIFEST : Ditto.
+
+Fri Jun  8 14:43:14 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/value.rb : Add Value#definite? to check whether the
+	  value is definite.
+
+	* features/message_detection/W9001.feature : Add W9001 functional
+	  specification to reproduce a known bug.
+	* MANIFEST : Ditto.
+
+	* lib/adlint/c/ctrlexpr.rb : Revise the value domain narrowing in
+	  order not to over-narrow a value domain of the controlling variable.
+
+Thu Jun  7 16:30:23 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* spec/adlint/c/domain_spec.rb : Add unit specifications of domain of
+	  variables' value.
+	* MANIFEST : Ditto.
+
+Thu Jun  7 11:54:09 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* etc/mesg.d/ja_JP/messages.yml : Add W1066, W1067, W1068, W1069,
+	  W1070, W1071, W1072, W1073, W1074, W1075, W1076, W1077 and W9003
+	  message definitions.
+	* etc/mesg.d/en_US/messages.yml : Ditto.
+
+Wed Jun  6 11:27:32 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>
+
+	* features/message_detection/W0687.feature : Add W0687 functional
+	  specification.
+	* features/message_detection/W0688.feature : Add W0688 functional
+	  specification.
+	* features/message_detection/W0689.feature : Add W0689 functional
+	  specification.
+	* features/message_detection/W0690.feature : Add W0690 functional
+	  specification.
+	* MANIFEST : Add W0687, W0688, W0689 and W0690 functional
+	  specifications.
+
 Wed Jun  6 10:19:58 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 	* release.ga : 1.10.0
@@ -15,7 +208,7 @@ Wed Jun  6 10:19:58 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 	    and definition without storage-class-specifier.
 	  - Fix lack of sequence-point notification of controlling
 	    expressions.
-	  - Add unit specification of C type models.
+	  - Add unit specifications of C type models.
 	  - Add W0001, W0002, W0003, W0007, W0010, W0013, W0109, W0583, W0606,
 	    W0698, W0699, W0703, W0716, W0717, W0718, W0723 and W1031
 	    functional specifications.
@@ -125,7 +318,7 @@ Thu May 31 09:43:09 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 	    expressions.
 	  - Fix W0582, W0583 and W0584 detections in order to consider type
 	    convertibility correctly.
-	  - Add unit specification of C type models.
+	  - Add unit specifications of C type models.
 	  - Add W0001, W0002, W0003, W0007, W0010, W0013, W0583, W0716, W0717
 	    and W0718 functional specifications.
 
@@ -153,7 +346,7 @@ Wed May 30 19:18:11 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 	* lib/adlint/c/type.rb : Add Type#convertible?(to_type) method to
 	  check whether a type is implicitly convertible to another type.
 
-	* spec/adlint/c/type_spec.rb : Add unit specification of C type
+	* spec/adlint/c/type_spec.rb : Add more unit specifications of C type
 	  models.
 
 Wed May 30 15:38:00 2012  Rie Shima  <rkakuuchi@users.sourceforge.net>
@@ -250,7 +443,7 @@ Tue May 22 12:12:08 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 Mon May 21 16:33:19 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
-	* spec/adlint/c/type_spec.rb : Add unit specification of C type
+	* spec/adlint/c/type_spec.rb : Add unit specifications of C type
 	  models.
 	* MANIFEST : Ditto.
 

data/MANIFEST

@@ -34,9 +34,14 @@ features/message_detection/W0003.feature
 features/message_detection/W0007.feature
 features/message_detection/W0010.feature
 features/message_detection/W0013.feature
+features/message_detection/W0093.feature
 features/message_detection/W0109.feature
 features/message_detection/W0583.feature
 features/message_detection/W0606.feature
+features/message_detection/W0687.feature
+features/message_detection/W0688.feature
+features/message_detection/W0689.feature
+features/message_detection/W0690.feature
 features/message_detection/W0698.feature
 features/message_detection/W0699.feature
 features/message_detection/W0703.feature
@@ -44,7 +49,14 @@ features/message_detection/W0716.feature
 features/message_detection/W0717.feature
 features/message_detection/W0718.feature
 features/message_detection/W0723.feature
+features/message_detection/W0732.feature
+features/message_detection/W0733.feature
+features/message_detection/W0734.feature
+features/message_detection/W0735.feature
 features/message_detection/W1031.feature
+features/message_detection/W1052.feature
+features/message_detection/W9001.feature
+features/message_detection/W9003.feature
 features/step_definitions/message_detection_steps.rb
 features/support/env.rb
 lib/adlint.rb
@@ -68,6 +80,7 @@ lib/adlint/c/message.rb
 lib/adlint/c/message_shima.rb
 lib/adlint/c/metric.rb
 lib/adlint/c/object.rb
+lib/adlint/c/operator.rb
 lib/adlint/c/option.rb
 lib/adlint/c/parser.y
 lib/adlint/c/parser.rb
@@ -504,6 +517,10 @@ share/sample/zsh-4.3.15/adlint/zle/adlint_cinit.h
 share/sample/zsh-4.3.15/adlint/zle/adlint_pinit.h
 share/sample/zsh-4.3.15/adlint/zle/adlint_traits.yml
 spec/spec_helper.rb
+spec/adlint/c/ctrlexpr_spec.rb
+spec/adlint/c/domain_spec.rb
+spec/adlint/c/operator_spec.rb
+spec/adlint/c/syntax_spec.rb
 spec/adlint/c/type_spec.rb
 spec/conf.d/empty_cinit.h
 spec/conf.d/empty_pinit.h

data/NEWS

@@ -21,6 +21,29 @@
 
 ++
 
+=== \AdLint 1.12.0 is released (2012-06-20)
+
+==== Changes since the 1.10.0 release
+
+* Add W0732 detection
+* Add W0733 detection
+* Add W0734 detection
+* Add W0735 detection
+* Add W9003 detection
+* Revise the value domain narrowing in order not to over-narrow and
+  under-narrow a value domain of the controlling variable
+* Fix bad multiplication logic in order to detect W0723 and W1052 correctly
+* Add unit specifications of domain of variables' value
+* Add unit specifications of syntax tree of the C language
+* Add W0093, W0687, W0688, W0689, W0690, W0732, W0733, W0734, W0735, W1052,
+  W9001 and W9003 functional specifications
+* Add W1066, W1067, W1068, W1069, W1070, W1071, W1072, W1073, W1074, W1075,
+  W1076, W1077 and W9003 message definitions
+
+See the file
+{ChangeLog}[http://adlint.sourceforge.net/pmwiki/upload.d/Main/ChangeLog]
+for more details.
+
 === \AdLint 1.10.0 is released (2012-06-06)
 
 ==== Changes since the 1.8.10 release
@@ -41,10 +64,6 @@
 * Add W0001, W0002, W0003, W0007, W0010, W0013, W0109, W0583, W0606, W0698,
   W0699, W0703, W0716, W0717, W0718, W0723 and W1031 functional specifications
 
-See the file
-{ChangeLog}[http://adlint.sourceforge.net/pmwiki/upload.d/Main/ChangeLog]
-for more details.
-
 === \AdLint 1.8.10 is released (2012-05-18)
 
 ==== Changes since the 1.8.2 release

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.10.0"
+version: "1.12.0"
 
 message_definition:
   X0001: "An unknown exception `%s' is found."
@@ -779,6 +779,19 @@ message_definition:
   W1063: "The return value returned from enumeration type function to non constant expression."
   W1064: "A integer constant is used in switch statement where case label is enumeration type."
   W1065: "A value of different enumeration type is used in switch statement  where case label is an enumeration type."
+  W1066: "A value of the `float' typed compound expression is explicitly converted into a `double' value."
+  W1067: "A value of the `float' typed compound expression is explicitly converted into a `long double' value."
+  W1068: "A value of the `double' typed compound expression is explicitly converted into a `long double' value."
+  W1069: "No trailing `else' clause is found in this `if-else-if' statements chain."
+  W1070: "This `switch' statement can be translated into `if-else' statement because there are only 2 execution paths."
+  W1071: "Function `%s' has multiple termination points."
+  W1072: "A `goto' statement is found."
+  W1073: "A return value of function `%s' is not used."
+  W1074: "Side-effects in `sizeof' operand will not be recorded because the operand will not be executed actually."
+  W1075: "This declaration has no `static' storage-class-specifier while the declaring object has internal-linkage."
+  W1076: "`%s' is defined as internal-linkage, but it has no forward declaration."
+  W1077: "Declaring array object without a size."
   W9001: "This statement doesn't reach the control."
   W9002: "There is no line feed character at the end of file."
+  W9003: "An object typed `%s' is implicitly converted into an object of other type."
   C0001: "A warning is detected in external identifier name `%s'."

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.10.0"
+version: "1.12.0"
 
 message_definition:
   X0001: "不明な例外条件 `%s' を検出しました。"
@@ -779,6 +779,19 @@ message_definition:
   W1063: "戻り値が列挙型の関数から、非定数式が返されています。"
   W1064: "列挙型の制御式が使われている switch 文で、整数定数が case ラベルに使われています。"
   W1065: "列挙型の制御式が使われている switch 文で、異なる列挙型の値が case ラベルに使われています。"
+  W1066: "明示的に float 型の複合式の値を double 型に変換しています。"
+  W1067: "明示的に float 型の複合式の値を long double 型に変換しています。"
+  W1068: "明示的に double 型の複合式の値を long double 型に変換しています。"
+  W1069: "この `if-else-if' 文には、末尾の `else' 節がありません。"
+  W1070: "この `switch' 文には実行経路が 2 つしか無いため、`if-else' 文に変換可能です。"
+  W1071: "関数 `%s' には複数の終了点があります。"
+  W1072: "`goto' 文を使用しています。"
+  W1073: "関数 `%s' の戻り値を破棄しています。"
+  W1074: "`sizeof' 演算子のオペランドは実行されないため、副作用が発生しません。"
+  W1075: "`%s' は以前に内部結合として宣言されていますが、この宣言には `static' がありません。"
+  W1076: "関数 `%s' は内部結合を持ちますが、事前に内部結合として宣言していません。"
+  W1077: "サイズが省略された配列を宣言しています。"
   W9001: "この文には制御が到達しません。"
   W9002: "ファイルの末尾に改行文字がありません。"
+  W9003: "暗黙的に `%s' 型のオブジェクトが異なる型のオブジェクトに変換されています。"
   C0001: "この外部識別名 `%s' で警告を検知しました。"

data/features/message_detection/W0093.feature

@@ -0,0 +1,87 @@
+Feature: W0093
+
+  W0093 detects that a division-by-zero may occur.
+
+  Scenario: narrowing denominator variable by an iteration controlling
+            variable which has same value domain of the denominator.
+    Given a target source named "W0093.c" with:
+      """
+      static void foo(void)
+      {
+          int k;
+
+          for (int i = 0; i < 10; i++) {
+              for (int j = 0; j < 10; j++) {
+                  if (i == j) {
+                      k = j / i; /* W0093 */
+                  }
+                  else {
+                      k = j / i; /* W0093 */
+                  }
+              }
+          }
+      }
+      """
+    When I successfully run `adlint W0093.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0093 | 8    | 23     |
+      | W0093 | 11   | 23     |
+      | W0629 | 1    | 13     |
+      | W0628 | 1    | 13     |
+
+  Scenario: narrowing denominator variable by an iteration controlling
+            variable which has narrower value domain than the denominator.
+    Given a target source named "W0093.c" with:
+      """
+      static void foo(void)
+      {
+          int k;
+
+          for (int i = 0; i < 10; i++) {
+              for (int j = 3; j < 5; j++) {
+                  if (i == j) {
+                      k = j / i; /* OK */
+                  }
+                  else {
+                      k = j / i; /* W0093 */
+                  }
+              }
+          }
+      }
+      """
+    When I successfully run `adlint W0093.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0093 | 11   | 23     |
+      | W0629 | 1    | 13     |
+      | W0628 | 1    | 13     |
+
+  Scenario: narrowing denominator variable by an iteration controlling
+            variable which has narrower value domain contains zero.
+    Given a target source named "W0093.c" with:
+      """
+      static void foo(void)
+      {
+          int k;
+
+          for (int i = -5; i < 5; i++) {
+              for (int j = -1; j < 2; j++) {
+                  if (i == j) {
+                      k = j / i; /* W0093 */
+                  }
+                  else {
+                      k = j / i; /* OK */
+                  }
+              }
+          }
+      }
+      """
+    When I successfully run `adlint W0093.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0093 | 8    | 23     |
+      | W0629 | 1    | 13     |
+      | W0628 | 1    | 13     |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W0687.feature

@@ -0,0 +1,25 @@
+Feature: W0687
+
+  W0687 detects that #undef directive deletes the `defined' operator.
+
+  Scenario: #undef directive with the `defined' operator
+    Given a target source named "W0687.c" with:
+      """
+      #undef defined /* W0687 */
+      """
+    When I successfully run `adlint W0687.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0687 | 1    | 8      |
+
+  Scenario: #undef directive with ordinary macro name
+    Given a target source named "W0687.c" with:
+      """
+      #define MACRO (0)
+      #undef MACRO /* OK */
+      """
+    When I successfully run `adlint W0687.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W0688.feature

@@ -0,0 +1,63 @@
+Feature: W0688
+
+  W0688 detects that the line number of #line directive is less than 1 or
+  greater than 32767.
+
+  Scenario: zero as the line number
+    Given a target source named "W0688.c" with:
+      """
+      #line 0 "test.c" /* W0688 */
+      """
+    When I successfully run `adlint W0688.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0688 | 1    | 7      |
+
+  Scenario: valid min line number
+    Given a target source named "W0688.c" with:
+      """
+      #line 1 "test.c" /* OK */
+      """
+    When I successfully run `adlint W0688.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+
+  Scenario: valid line number
+    Given a target source named "W0688.c" with:
+      """
+      #line 1024 "test.c" /* OK */
+      """
+    When I successfully run `adlint W0688.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+
+  Scenario: valid max line number
+    Given a target source named "W0688.c" with:
+      """
+      #line 32767 "test.c" /* OK */
+      """
+    When I successfully run `adlint W0688.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+
+  Scenario: 32768 as the line number
+    Given a target source named "W0688.c" with:
+      """
+      #line 32768 "test.c" /* W0688 */
+      """
+    When I successfully run `adlint W0688.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0688 | 1    | 7      |
+
+  Scenario: too big as the line number
+    Given a target source named "W0688.c" with:
+      """
+      #line 4294967296 "test.c" /* W0688 */
+      """
+    When I successfully run `adlint W0688.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0688 | 1    | 7      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W0689.feature

@@ -0,0 +1,46 @@
+Feature: W0689
+
+  W0689 detects that the syntax of #line directive is illformed.
+
+  Scenario: line number as an arithmetic-expression and no file name
+    Given a target source named "W0689.c" with:
+      """
+      #line 35 * 100 /* W0689 */
+      """
+    When I successfully run `adlint W0689.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0689 | 1    | 10     |
+
+  Scenario: line number as an arithmetic-expression and valid file name
+    Given a target source named "W0689.c" with:
+      """
+      #line 35 * 100 "test.c" /* W0689 */
+      """
+    When I successfully run `adlint W0689.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0689 | 1    | 10     |
+
+  Scenario: valid line number and invalid file name
+    Given a target source named "W0689.c" with:
+      """
+      #line 35 L"******.c" /* W0689 */
+      """
+    When I successfully run `adlint W0689.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0689 | 1    | 10     |
+
+  Scenario: inverted arguments
+    Given a target source named "W0689.c" with:
+      """
+      #line __FILE__ 35 /* W0689 */
+      """
+    When I successfully run `adlint W0689.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0689 | 1    | 16     |
+      | W0690 | 1    | 7      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W0690.feature

@@ -0,0 +1,35 @@
+Feature: W0690
+
+  W0690 detects that no line number is in the #line directive.
+
+  Scenario: an identifier as arguments
+    Given a target source named "W0690.c" with:
+      """
+      #line LINE1000 /* W0690 */
+      """
+    When I successfully run `adlint W0690.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0690 | 1    | 7      |
+
+  Scenario: inverted arguments
+    Given a target source named "W0690.c" with:
+      """
+      #line __FILE__ 35 /* W0690 */
+      """
+    When I successfully run `adlint W0690.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0689 | 1    | 16     |
+      | W0690 | 1    | 7      |
+
+  Scenario: line number and macro replaceable filename
+    Given a target source named "W0690.c" with:
+      """
+      #line 35 __FILE__ 35 /* OK */
+      """
+    When I successfully run `adlint W0690.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W0698.feature

@@ -1,8 +1,9 @@
 Feature: W0698
 
-  W0698 detects that`return;' statement is found at except void function.
+  W0698 detects that a `return' statement without expression is found in a
+  non-void function.
 
-  Scenario: return statement
+  Scenario: returning nothing from `int' function
     Given a target source named "W0698.c" with:
       """
       int func(void)

data/features/message_detection/W0703.feature

@@ -66,6 +66,7 @@ Feature: W0703
       | W0704 | 5    | 14     |
       | W0785 | 5    | 10     |
       | W0789 | 5    | 14     |
+      | W9003 | 6    | 12     |
       | W1060 | 6    | 12     |
       | W0100 | 5    | 25     |
       | W0425 | 5    | 25     |