adlint 1.14.0 → 1.16.0

data/ChangeLog

@@ -1,3 +1,268 @@
+Wed Jul 18 11:19:21 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.ga : 1.16.0
+	  - Add W0643 detection.
+	  - Add W0646 detection.
+	  - Add W0691 detection.
+	  - Add W0692 detection.
+	  - Add W0694 detection.
+	  - Add W0805 detection.
+	  - Add W0811 detection.
+	  - Add W1040 detection.
+	  - Add W1041 detection.
+	  - Add W1046 detection.
+	  - Add W1073 detection.
+	  - Add W1074 detection.
+	  - Add W1075 detection.
+	  - Add W1076 detection.
+	  - Add W1077 detection.
+	  - Add extra sequence-point notification in the conditional-expression
+	    in order not to over-warn about side-effects between
+	    sequence-points.
+	  - Add extra variable value reference notification not to discard
+	    function return values in the 2nd and 3rd expressions of the
+	    conditional-expression.
+	  - Add missing notification of variable value reference in comparison
+	    expressions.
+
+Tue Jul 17 17:41:56 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 1.15.1
+	  - Revise W0692 message text.
+
+Tue Jul 17 17:29:36 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cpp/message.rb : Revise W0692 message text.
+	* etc/mesg.d/ja_JP/messages.yml : Ditto.
+	* etc/mesg.d/en_US/messages.yml : Ditto.
+	* share/doc/users_guide_ja.texi : Ditto.
+	* share/doc/users_guide_en.texi : Ditto.
+
+Tue Jul 17 14:17:01 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 1.15.0
+	  - This is the initial release candidate for 1.16.0 GA release.
+	  - Add W0643 detection.
+	  - Add W0646 detection.
+	  - Add W0691 detection.
+	  - Add W0692 detection.
+	  - Add W0694 detection.
+	  - Add W0805 detection.
+	  - Add W0811 detection.
+	  - Add W1040 detection.
+	  - Add W1041 detection.
+	  - Add W1046 detection.
+	  - Add W1073 detection.
+	  - Add W1074 detection.
+	  - Add W1075 detection.
+	  - Add W1076 detection.
+	  - Add W1077 detection.
+	  - Add extra sequence-point notification in the conditional-expression
+	    in order not to over-warn about side-effects between
+	    sequence-points.
+	  - Add extra variable value reference notification not to discard
+	    function return values in the 2nd and 3rd expressions of the
+	    conditional-expression.
+	  - Add missing notification of variable value reference in comparison
+	    expressions.
+
+Wed Jul 11 14:38:16 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W0643.feature : Add W0643 functional
+	  specification.
+	* MANIFEST : Ditto.
+
+	* lib/adlint/cpp/lexer.rb : Revise text-line tokenizing behavior not to
+	  discard `\' token which is not at the end of line.
+
+	* lib/adlint/cpp/macro.rb : Add notification about discarding unwanted
+	  `\' token when the operand of `#' operator ends with standalone `\'
+	  token.
+
+	* lib/adlint/cpp/message.rb : Add W0643 detection.
+	* lib/adlint/cpp/phase.rb : Ditto.
+
+Wed Jul 11 13:20:45 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W1046.feature : Add W1046 functional
+	  specification.
+	* MANIFEST : Ditto.
+
+	* lib/adlint/cpp/lexer.rb : Add notification about illformed newline
+	  escape.
+	* lib/adlint/cpp/eval.rb : Ditto.
+
+	* lib/adlint/cpp/message.rb : Add W1046 detection.
+	* lib/adlint/cpp/phase.rb : Ditto.
+
+Wed Jul 11 11:16:55 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W1041.feature : Add W1041 functional
+	  specification.
+	* MANIFEST : Ditto.
+
+	* lib/adlint/cpp/syntax.rb : Add non-standard preprocessing directive
+	  node to abstract-syntax-tree for cpp language.
+
+	* lib/adlint/cpp/lexer.rb : Add tokenizer method for non-standard
+	  preprocessing directive.
+
+	* lib/adlint/cpp/eval.rb : Add non-standard preprocessing directive
+	  evaluation to the preprocessor.
+
+	* etc/mesg.d/ja_JP/messages.yml : Revise W1041 message text.
+	* etc/mesg.d/en_US/messages.yml : Ditto.
+
+	* lib/adlint/cpp/message.rb : Add W1041 detection.
+	* lib/adlint/cpp/phase.rb : Ditto.
+
+Tue Jul 10 18:03:03 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W1040.feature : Add W1040 functional
+	  specification.
+	* MANIFEST : Ditto.
+
+	* lib/adlint/cpp/lexer.rb : Revise tokenizing behavior in order to pass
+	  unwanted extra tokens to the preprocessor.
+
+	* lib/adlint/cpp/eval.rb : Add notification about extra tokens after
+	  preprocessing directives.
+
+	* lib/adlint/cpp/message.rb : Add W1040 detection.
+	* lib/adlint/cpp/phase.rb : Ditto.
+
+Tue Jul 10 15:31:13 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W0811.feature : Add W0811 functional
+	  specification.
+	* MANIFEST : Ditto.
+
+	* lib/adlint/cpp/macro.rb : Add result tokens to notification of macro
+	  replacements.
+
+	* lib/adlint/cpp/message.rb : Add W0811 detection.
+	* lib/adlint/cpp/phase.rb : Ditto.
+
+Tue Jul 10 14:27:10 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W0805.feature : Add W0805 functional
+	  specification.
+	* MANIFEST : Ditto.
+
+	* lib/adlint/cpp/constexpr.y : Add argument existence to notification
+	  of the illformed `defined' operator evaluation.
+	* lib/adlint/cpp/eval.rb : Ditto.
+
+	* lib/adlint/cpp/message.rb : Add W0805 detection.
+	* lib/adlint/cpp/phase.rb : Ditto.
+
+Tue Jul 10 13:37:13 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W0694.feature : Add W0694 functional
+	  specification.
+	* MANIFEST : Ditto.
+
+	* lib/adlint/c/message.rb : Add W0694 detection.
+	* lib/adlint/c/phase.rb : Ditto.
+
+Mon Jul  9 19:04:48 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W0692.feature : Add W0692 functional
+	  specification.
+	* MANIFEST : Ditto.
+
+	* lib/adlint/cpp/macro.rb : Add pre-parsed arguments to notification of
+	  the function-like macro replacement.
+
+	* lib/adlint/cpp/message.rb : Add W0692 detection.
+	* lib/adlint/cpp/phase.rb : Ditto.
+
+Mon Jul  9 17:45:09 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W0691.feature : Add W0691 functional
+	  specification.
+	* MANIFEST : Ditto.
+
+	* lib/adlint/cpp/macro.rb : Add notification about `##' operator
+	  evaluation.
+
+	* lib/adlint/cpp/message.rb : Add W0691 detection.
+	* lib/adlint/cpp/phase.rb : Ditto.
+
+Mon Jul  9 15:47:46 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W0646.feature : Add W0646 functional
+	  specification.
+	* MANIFEST : Ditto.
+
+	* lib/adlint/c/lexer.rb : Add notification about string-literal
+	  concatenations.
+	* lib/adlint/c/parser.y : Ditto.
+
+	* lib/adlint/c/message.rb : Add W0646 detection.
+	* lib/adlint/c/phase.rb : Ditto.
+	* lib/adlint/lang.rb : Ditto.
+
+Fri Jul  6 17:25:19 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W1077.feature : Add W1077 functional
+	  specification.
+	* MANIFEST : Ditto.
+
+	* lib/adlint/c/message.rb : Add W1077 detection.
+	* lib/adlint/c/phase.rb : Ditto.
+
+Fri Jul  6 17:04:28 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W1076.feature : Add W1076 functional
+	  specification.
+	* MANIFEST : Ditto.
+
+	* lib/adlint/c/message.rb : Add W1076 detection.
+	* lib/adlint/c/phase.rb : Ditto.
+
+Fri Jul  6 13:45:05 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W1075.feature : Add W1075 functional
+	  specification.
+	* MANIFEST : Ditto.
+
+	* lib/adlint/c/message.rb : Add W1075 detection.
+	* lib/adlint/c/phase.rb : Ditto.
+
+Fri Jul  6 11:04:19 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W1074.feature : Add W1074 functional
+	  specification.
+	* MANIFEST : Ditto.
+
+	* lib/adlint/c/message.rb : Add W1074 detection.
+	* lib/adlint/c/phase.rb : Ditto.
+
+Thu Jul  5 18:07:40 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/message_detection/W1073.feature : Add W1073 functional
+	  specification.
+	* MANIFEST : Ditto.
+
+	* lib/adlint/c/message.rb : Add W1073 detection.
+	* lib/adlint/c/phase.rb : Ditto.
+
+Thu Jul  5 17:38:08 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/syntax.rb : Add extra sequence-point notification in the
+	  conditional-expression in order not to over-warn about side-effects
+	  between sequence-points.
+
+	* lib/adlint/c/interp.rb : Add extra variable value reference
+	  notification not to discard function return values in the 2nd and 3rd
+	  expressions of the conditional-expression.
+
+Thu Jul  5 17:02:49 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/ctrlexpr.rb : Add missing notification of variable value
+	  reference in comparison expressions.
+
 Wed Jul  4 10:42:39 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 	* release.ga : 1.14.0

data/MANIFEST

@@ -39,11 +39,16 @@ features/message_detection/W0104.feature
 features/message_detection/W0109.feature
 features/message_detection/W0583.feature
 features/message_detection/W0606.feature
+features/message_detection/W0643.feature
 features/message_detection/W0645.feature
+features/message_detection/W0646.feature
 features/message_detection/W0687.feature
 features/message_detection/W0688.feature
 features/message_detection/W0689.feature
 features/message_detection/W0690.feature
+features/message_detection/W0691.feature
+features/message_detection/W0692.feature
+features/message_detection/W0694.feature
 features/message_detection/W0697.feature
 features/message_detection/W0698.feature
 features/message_detection/W0699.feature
@@ -57,7 +62,12 @@ features/message_detection/W0732.feature
 features/message_detection/W0733.feature
 features/message_detection/W0734.feature
 features/message_detection/W0735.feature
+features/message_detection/W0805.feature
+features/message_detection/W0811.feature
 features/message_detection/W1031.feature
+features/message_detection/W1040.feature
+features/message_detection/W1041.feature
+features/message_detection/W1046.feature
 features/message_detection/W1052.feature
 features/message_detection/W1066.feature
 features/message_detection/W1067.feature
@@ -65,6 +75,11 @@ features/message_detection/W1068.feature
 features/message_detection/W1069.feature
 features/message_detection/W1070.feature
 features/message_detection/W1072.feature
+features/message_detection/W1073.feature
+features/message_detection/W1074.feature
+features/message_detection/W1075.feature
+features/message_detection/W1076.feature
+features/message_detection/W1077.feature
 features/message_detection/W9001.feature
 features/message_detection/W9003.feature
 features/step_definitions/message_detection_steps.rb

data/NEWS

@@ -21,6 +21,36 @@
 
 ++
 
+=== \AdLint 1.16.0 is released (2012-07-18)
+
+==== Changes since the 1.14.0 release
+
+* Add W0643 detection
+* Add W0646 detection
+* Add W0691 detection
+* Add W0692 detection
+* Add W0694 detection
+* Add W0805 detection
+* Add W0811 detection
+* Add W1040 detection
+* Add W1041 detection
+* Add W1046 detection
+* Add W1073 detection
+* Add W1074 detection
+* Add W1075 detection
+* Add W1076 detection
+* Add W1077 detection
+* Add extra sequence-point notification in the conditional-expression in order
+  not to over-warn about side-effects between sequence-points
+* Add extra variable value reference notification not to discard function
+  return values in the 2nd and 3rd expressions of the conditional-expression
+* Add missing notification of variable value reference in comparison
+  expressions
+
+See the file
+{ChangeLog}[http://adlint.sourceforge.net/pmwiki/upload.d/Main/ChangeLog]
+for more details.
+
 === \AdLint 1.14.0 is released (2012-07-04)
 
 ==== Changes since the 1.12.0 release
@@ -39,10 +69,6 @@
 * Add W0104, W0645, W0697, W0700, W1066, W1067, W1068, W1069, W1070 and W1072
   functional specifications
 
-See the file
-{ChangeLog}[http://adlint.sourceforge.net/pmwiki/upload.d/Main/ChangeLog]
-for more details.
-
 === \AdLint 1.12.0 is released (2012-06-20)
 
 ==== Changes since the 1.10.0 release

data/etc/conf.d/noarch/adlint_all_bat.erb

@@ -6,4 +6,4 @@
 :
 : MS-Windows BAT file generated by adlintize <%= AdLint::SHORT_VERSION %> at <%= Time.now %>
 
-adlint -t <%= traits_fpath.basename %> -o . -p <%= vpath.components.size %> -l <%= list_fpath.basename %>
+adlint -v -t <%= traits_fpath.basename %> -o . -p <%= vpath.components.size %> -l <%= list_fpath.basename %>

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.14.0"
+version: "1.16.0"
 
 message_definition:
   X0001: "An unknown exception `%s' is found."
@@ -618,7 +618,7 @@ message_definition:
   W0689: "#line directive syntax doesn't match `#line integer constant \"string\"'."
   W0690: "No line number after #line directive."
   W0691: "The result of `##' operator is not valid preprocessing token."
-  W0692: "A function-like macro doesn't given an actual argument."
+  W0692: "A function-like macro `%s' doesn't given an actual argument."
   W0693: "A function-like macro is called by actual argument which its definition is smaller."
   W0694: "'assert' macro is inhibited to call the function named `assert'. This result is undefined."
   W0695: "If #undef the 'assert' macro, and enable to call its name function, the result is undefined."
@@ -754,7 +754,7 @@ message_definition:
   W1037: "`%s' which has external coupling is declared more than one, this is incompatible."
   W1039: "`ll' is used in conversion specifier."
   W1040: "An unrecognizable string is described after preprocessing directive."
-  W1041: "`#%s' is not official preprocessing directive of ISO C standards."
+  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."

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.14.0"
+version: "1.16.0"
 
 message_definition:
   X0001: "不明な例外条件 `%s' を検出しました。"
@@ -618,7 +618,7 @@ message_definition:
   W0689: "#line 指令の構文が `#line 汎整数定数 \"文字列\"' の形式と合っていません。"
   W0690: "#line 指令の後に行番号が記述されていません。"
   W0691: "`##' 演算子の結果が有効な前処理字句ではありません。"
-  W0692: "関数形式マクロに実引数が与えられていません。"
+  W0692: "関数形式マクロ `%s' に実引数が与えられていません。"
   W0693: "関数形式マクロがその定義よりも少ない実引数で呼び出されています。"
   W0694: "`assert' という名称の関数を呼び出す目的で、assert マクロが抑制されています。未定義の結果になります。"
   W0695: "assert マクロを #undef してその名前の関数を呼び出しできるようにすると、未定義の結果になります。"
@@ -754,7 +754,7 @@ message_definition:
   W1037: "外部結合をもつ `%s' が、二つ以上宣言されていますが互換性がありません。"
   W1039: "変換指定子に `ll' が使われています。"
   W1040: "前処理指令の後に認識できない文字列が記述されています。"
-  W1041: "`#%s' は、ISO C 標準規格の正式な前処理指令ではありません。"
+  W1041: "`%s' は、ISO C 標準規格の正式な前処理指令ではありません。"
   W1042: "前処理指令の中で sizeof 演算子を使っています。これは言語拡張です。"
   W1043: "`@ address' は、ISO C 標準規格ではサポートされていません。言語拡張と見なします。"
   W1044: "文を包含する式は ISO C 標準規格ではサポートされていません。言語拡張と見なします。"

data/features/message_detection/W0001.feature

@@ -15,6 +15,7 @@ Feature: W0001
     When I successfully run `adlint W0001.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 13     |
       | W0629 | 1    | 13     |
       | W0001 | 5    | 51     |
       | W0628 | 1    | 13     |
@@ -33,6 +34,7 @@ Feature: W0001
     When I successfully run `adlint W0001.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 13     |
       | W0100 | 5    | 9      |
       | W0629 | 1    | 13     |
       | W0001 | 6    | 41     |

data/features/message_detection/W0007.feature

@@ -30,6 +30,7 @@ Feature: W0007
     When I successfully run `adlint W0007.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 12     |
       | W0629 | 1    | 12     |
       | W0007 | 11   | 5      |
       | W0628 | 1    | 12     |
@@ -68,6 +69,7 @@ Feature: W0007
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 1    | 12     |
+      | W1076 | 3    | 12     |
       | W0629 | 3    | 12     |
       | W0007 | 17   | 5      |
       | W0532 | 14   | 13     |
@@ -101,6 +103,7 @@ Feature: W0007
     When I successfully run `adlint W0007.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 12     |
       | W0629 | 1    | 12     |
       | W0628 | 1    | 12     |
 
@@ -132,6 +135,7 @@ Feature: W0007
     When I successfully run `adlint W0007.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 12     |
       | W0629 | 1    | 12     |
       | W0628 | 1    | 12     |
 
@@ -159,6 +163,7 @@ Feature: W0007
     When I successfully run `adlint W0007.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 12     |
       | W0629 | 1    | 12     |
       | W0007 | 11   | 5      |
       | W0538 | 9    | 5      |
@@ -195,6 +200,7 @@ Feature: W0007
     Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 1    | 12     |
+      | W1076 | 3    | 12     |
       | W0629 | 3    | 12     |
       | W0007 | 17   | 5      |
       | W0532 | 14   | 13     |
@@ -229,6 +235,7 @@ Feature: W0007
     When I successfully run `adlint W0007.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 12     |
       | W0629 | 1    | 12     |
       | W0628 | 1    | 12     |
 
@@ -257,6 +264,7 @@ Feature: W0007
     When I successfully run `adlint W0007.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
+      | W1076 | 1    | 12     |
       | W0629 | 1    | 12     |
       | W0538 | 9    | 5      |
       | W0628 | 1    | 12     |