RubyGems - adlint - Versions diffs - 1.14.0 → 1.16.0 - Mend

adlint 1.14.0 → 1.16.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (70) hide show

data/ChangeLog +265 -0
data/MANIFEST +15 -0
data/NEWS +30 -4
data/etc/conf.d/noarch/adlint_all_bat.erb +1 -1
data/etc/mesg.d/en_US/messages.yml +3 -3
data/etc/mesg.d/ja_JP/messages.yml +3 -3
data/features/message_detection/W0001.feature +2 -0
data/features/message_detection/W0007.feature +8 -0
data/features/message_detection/W0010.feature +4 -1
data/features/message_detection/W0013.feature +8 -0
data/features/message_detection/W0093.feature +3 -0
data/features/message_detection/W0104.feature +7 -0
data/features/message_detection/W0643.feature +80 -0
data/features/message_detection/W0646.feature +115 -0
data/features/message_detection/W0691.feature +100 -0
data/features/message_detection/W0692.feature +32 -0
data/features/message_detection/W0694.feature +128 -0
data/features/message_detection/W0716.feature +3 -0
data/features/message_detection/W0717.feature +3 -0
data/features/message_detection/W0718.feature +3 -0
data/features/message_detection/W0723.feature +2 -0
data/features/message_detection/W0732.feature +3 -0
data/features/message_detection/W0733.feature +3 -0
data/features/message_detection/W0734.feature +8 -0
data/features/message_detection/W0735.feature +8 -0
data/features/message_detection/W0805.feature +92 -0
data/features/message_detection/W0811.feature +79 -0
data/features/message_detection/W1031.feature +7 -0
data/features/message_detection/W1040.feature +89 -0
data/features/message_detection/W1041.feature +15 -0
data/features/message_detection/W1046.feature +60 -0
data/features/message_detection/W1052.feature +3 -0
data/features/message_detection/W1066.feature +3 -0
data/features/message_detection/W1067.feature +3 -0
data/features/message_detection/W1068.feature +3 -0
data/features/message_detection/W1069.feature +5 -0
data/features/message_detection/W1070.feature +6 -0
data/features/message_detection/W1072.feature +1 -0
data/features/message_detection/W1073.feature +145 -0
data/features/message_detection/W1074.feature +139 -0
data/features/message_detection/W1075.feature +86 -0
data/features/message_detection/W1076.feature +66 -0
data/features/message_detection/W1077.feature +105 -0
data/features/message_detection/W9003.feature +4 -0
data/lib/adlint/c/ctrlexpr.rb +3 -0
data/lib/adlint/c/interp.rb +11 -5
data/lib/adlint/c/lexer.rb +14 -3
data/lib/adlint/c/message.rb +192 -0
data/lib/adlint/c/parser.rb +19 -3
data/lib/adlint/c/parser.y +18 -2
data/lib/adlint/c/phase.rb +19 -6
data/lib/adlint/c/syntax.rb +6 -0
data/lib/adlint/c/type.rb +5 -1
data/lib/adlint/cpp/constexpr.rb +3 -3
data/lib/adlint/cpp/constexpr.y +3 -3
data/lib/adlint/cpp/eval.rb +60 -86
data/lib/adlint/cpp/lexer.rb +82 -28
data/lib/adlint/cpp/macro.rb +64 -35
data/lib/adlint/cpp/message.rb +137 -4
data/lib/adlint/cpp/phase.rb +8 -0
data/lib/adlint/cpp/syntax.rb +25 -0
data/lib/adlint/lang.rb +2 -1
data/lib/adlint/version.rb +2 -2
data/share/doc/developers_guide_ja.html +3 -3
data/share/doc/developers_guide_ja.texi +1 -1
data/share/doc/users_guide_en.html +102 -85
data/share/doc/users_guide_en.texi +85 -69
data/share/doc/users_guide_ja.html +102 -94
data/share/doc/users_guide_ja.texi +85 -77
metadata +17 -2

data/share/doc/users_guide_ja.html CHANGED Viewed

@@ -1,8 +1,8 @@
 <html lang="ja">
 <head>
-<title>AdLint 1.14.0 利用者ガイド</title>
+<title>AdLint 1.16.0 利用者ガイド</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.14.0 利用者ガイド">
+<meta name="description" content="AdLint 1.16.0 利用者ガイド">
 <meta name="generator" content="makeinfo 4.13">
 <link title="Top" rel="top" href="#Top">
 <link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
@@ -44,7 +44,7 @@ td { border: 1px solid black; }
 --></style>
 </head>
 <body>
-<h1 class="settitle">AdLint 1.14.0 利用者ガイド</h1>
+<h1 class="settitle">AdLint 1.16.0 利用者ガイド</h1>
 <div class="node">
 <a name="Top"></a>
 <p><hr>
@@ -2721,7 +2721,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#W0689">W0689</a>: #line 指令の構文が `#line 汎整数定数 "文字列"' の形式と合っていません。
 <li><a href="#W0690">W0690</a>: #line 指令の後に行番号が記述されていません。
 <li><a href="#W0691">W0691</a>: `##' 演算子の結果が有効な前処理字句ではありません。
-<li><a href="#W0692">W0692</a>: 関数形式マクロに実引数が与えられていません。
+<li><a href="#W0692">W0692</a>: 関数形式マクロ `%s' に実引数が与えられていません。
 <li><a href="#W0693">W0693</a>: 関数形式マクロがその定義よりも少ない実引数で呼び出されています。
 <li><a href="#W0694">W0694</a>: `assert' という名称の関数を呼び出す目的で、assert マクロが抑制されています。未定義の結果になります。
 <li><a href="#W0695">W0695</a>: assert マクロを #undef してその名前の関数を呼び出しできるようにすると、未定義の結果になります。
@@ -2857,7 +2857,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#W1037">W1037</a>: 外部結合をもつ `%s' が、二つ以上宣言されていますが互換性がありません。
 <li><a href="#W1039">W1039</a>: 変換指定子に `ll' が使われています。
 <li><a href="#W1040">W1040</a>: 前処理指令の後に認識できない文字列が記述されています。
-<li><a href="#W1041">W1041</a>: `#%s' は、ISO C 標準規格の正式な前処理指令ではありません。
+<li><a href="#W1041">W1041</a>: `%s' は、ISO C 標準規格の正式な前処理指令ではありません。
 <li><a href="#W1042">W1042</a>: 前処理指令の中で sizeof 演算子を使っています。これは言語拡張です。
 <li><a href="#W1043">W1043</a>: `@ address' は、ISO C 標準規格ではサポートされていません。言語拡張と見なします。
 <li><a href="#W1044">W1044</a>: 文を包含する式は ISO C 標準規格ではサポートされていません。言語拡張と見なします。
@@ -30807,14 +30807,12 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.525.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>未定義の動作のため、予期しない動作を引き起こす可能性があります。
+<p>未定義の動作のため、予期しない動作を引き起こす可能性があります。
 <h4 class="subsection">6.525.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">#define MACRO(x) #x
+const char *str = MACRO(foo\); /* W0643 */
 </pre>
 <h4 class="subsection">6.525.4 関連メッセージ</h4>
@@ -30828,7 +30826,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.525.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.16.0
 <div class="node">
 <a name="W0644"></a>
@@ -30936,14 +30934,11 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.528.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>未定義の動作のため、予期しない動作を引き起こす可能性があります。
+<p>未定義の動作のため、予期しない動作を引き起こす可能性があります。
 <h4 class="subsection">6.528.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">static const char *str = "foo" L"bar"; /* W0646 */
 </pre>
 <h4 class="subsection">6.528.4 関連メッセージ</h4>
@@ -30957,7 +30952,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.528.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.16.0
 <div class="node">
 <a name="W0649"></a>
@@ -33542,14 +33537,13 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.569.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような記述は、未定義の動作のため、予期しない動作を引き起こす可能性があります。
+<p>このような記述は、未定義の動作のため、予期しない動作を引き起こす可能性があります。
 <h4 class="subsection">6.569.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">#define MACRO(a, b) a ## b
+double d = (double) MACRO(-, 123); /* W0691 */
 </pre>
 <h4 class="subsection">6.569.4 関連メッセージ</h4>
@@ -33563,7 +33557,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.569.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.16.0
 <div class="node">
 <a name="W0692"></a>
@@ -33580,18 +33574,17 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.570.1 メッセージ本文</h4>
-<p>関数形式マクロに実引数が与えられていません。
+<p>関数形式マクロ `%s' に実引数が与えられていません。
 <h4 class="subsection">6.570.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような記述は、言語制約違反になりますので、移植性を低下させます。
+<p>このような記述は、言語制約違反になりますので、移植性を低下させます。
 <h4 class="subsection">6.570.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">#define MACRO(a) #a
+const char *s = (char *) MACRO(); /* W0692 */
 </pre>
 <h4 class="subsection">6.570.4 関連メッセージ</h4>
@@ -33602,7 +33595,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.570.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.16.0
 <div class="node">
 <a name="W0693"></a>
@@ -33635,7 +33628,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.571.4 関連メッセージ</h4>
      <ul>
-<li><a href="#W0692">W0692</a> 関数形式マクロに実引数が与えられていません。
+<li><a href="#W0692">W0692</a> 関数形式マクロ `%s' に実引数が与えられていません。
 </ul>
 <h4 class="subsection">6.571.5 対応バージョン</h4>
@@ -33661,14 +33654,17 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.572.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p><code>assert</code> という名前の関数を作成すると、未定義の結果になります。
+<p><code>assert</code> という名前の関数を作成すると、未定義の結果になります。
 <h4 class="subsection">6.572.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">#undef assert
+extern void assert(int);
+void foo(void)
+{
+    assert("should not be reached" == ""); /* W0694 */
+}
 </pre>
 <h4 class="subsection">6.572.4 関連メッセージ</h4>
@@ -33677,7 +33673,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.572.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.16.0
 <div class="node">
 <a name="W0695"></a>
@@ -38306,13 +38302,13 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.673.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような記述は未定義の動作になります。したがって、予期しない動作を引き起こす可能性があります。
+<p>このような記述は未定義の動作になります。したがって、予期しない動作を引き起こす可能性があります。
 <h4 class="subsection">6.673.3 サンプルコード</h4>
-<pre class="verbatim">#if defined() /* W0805 */
+<pre class="verbatim">#if defined "foo" /* W0805 */
+int i = 0;
+#endif
 </pre>
 <h4 class="subsection">6.673.4 関連メッセージ</h4>
@@ -38323,7 +38319,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.673.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.16.0
 <div class="node">
 <a name="W0806"></a>
@@ -38548,14 +38544,15 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.679.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような記述は、未定義の動作のため、予期しない動作を引き起こす可能性があります。
+<p>このような記述は、未定義の動作のため、予期しない動作を引き起こす可能性があります。
 <h4 class="subsection">6.679.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">#define COND defined(FOO)
+#if COND /* W0811 */
+int i = 0;
+#endif
 </pre>
 <h4 class="subsection">6.679.4 関連メッセージ</h4>
@@ -38564,7 +38561,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.679.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.16.0
 <div class="node">
 <a name="W0827"></a>
@@ -39582,26 +39579,33 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.705.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような前処理指令の記述は、ISO C90 標準規格ではサポートされていません。
+<p>このような前処理指令の記述は、ISO C90 標準規格ではサポートされていません。
 <h4 class="subsection">6.705.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">#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 */
 </pre>
 <h4 class="subsection">6.705.4 関連メッセージ</h4>
      <ul>
-<li><a href="#W1041">W1041</a> `#%s' は、ISO C 標準規格の正式な前処理指令ではありません。
+<li><a href="#W1041">W1041</a> `%s' は、ISO C 標準規格の正式な前処理指令ではありません。
 <li><a href="#W1042">W1042</a> 前処理指令の中で sizeof 演算子を使っています。これは言語拡張です。
 </ul>
 <h4 class="subsection">6.705.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.16.0
 <div class="node">
 <a name="W1041"></a>
@@ -39618,18 +39622,15 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.706.1 メッセージ本文</h4>
-<p>`#%s' は、ISO C 標準規格の正式な前処理指令ではありません。
+<p>`%s' は、ISO C 標準規格の正式な前処理指令ではありません。
 <h4 class="subsection">6.706.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような前処理指令の記述は、ISO C90 標準規格ではサポートされていません。
+<p>このような前処理指令の記述は、ISO C90 標準規格ではサポートされていません。
 <h4 class="subsection">6.706.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">#compiler_specific_extension 1 2.3 "4" /* W1041 */
 </pre>
 <h4 class="subsection">6.706.4 関連メッセージ</h4>
@@ -39641,7 +39642,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.706.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.16.0
 <div class="node">
 <a name="W1042"></a>
@@ -39676,7 +39677,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
      <ul>
 <li><a href="#W1040">W1040</a> 前処理指令の後に認識できない文字列が記述されています。
-<li><a href="#W1041">W1041</a> `#%s' は、ISO C 標準規格の正式な前処理指令ではありません。
+<li><a href="#W1041">W1041</a> `%s' は、ISO C 標準規格の正式な前処理指令ではありません。
 </ul>
 <h4 class="subsection">6.707.5 対応バージョン</h4>
@@ -39822,14 +39823,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.711.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>ISO C 規格ではバックスラッシュ文字の後に直接改行文字が続くべきであると規定しています。
+<p>ISO C 規格ではバックスラッシュ文字の後に直接改行文字が続くべきであると規定しています。
 <h4 class="subsection">6.711.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">#define FOO(a, b)   /* OK */    \
+    (               /* W1046 */ \
+        (a) + (b)   /* W1046 */ \
+    )
 </pre>
 <h4 class="subsection">6.711.4 関連メッセージ</h4>
@@ -39838,7 +39839,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.711.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.16.0
 <div class="node">
 <a name="W1047"></a>
@@ -41136,14 +41137,20 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.738.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>関数の戻り値が使用されていない場合、その戻り値は無駄な要素といえます。コード中に無駄な要素があることで解析性が低下します。
+<p>関数の戻り値が使用されていない場合、その戻り値は無駄な要素といえます。コード中に無駄な要素があることで解析性が低下します。
 また、使用されない戻り値が多いことは、戻り値のチェックも怠っていることが推測されるため、障害許容性が低下している可能性が高いといえます。
 <h4 class="subsection">6.738.3 サンプルコード</h4>
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">extern int bar(void);
+static void foo(void)
+{
+    int i;
+    int j;
+    for (i = 0, bar(); i &lt; 10; i++) { /* W1073 */
+        j = bar(); /* OK */
+    }
+}
 </pre>
 <h4 class="subsection">6.738.4 関連メッセージ</h4>
@@ -41152,7 +41159,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.738.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.16.0
 <div class="node">
 <a name="W1074"></a>
@@ -41173,14 +41180,22 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.739.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>サンプルコードで示したソースコードの場合、<code>sizeof</code> 演算子は式を評価しないため、<code>data++</code> は実行されません。
+<p>サンプルコードで示したソースコードの場合、<code>sizeof</code> 演算子は式を評価しないため、<code>data++</code> は実行されません。
 従って <code>data++</code> が実行されていることが前提だとすると様々な予期しない問題が起きる可能性があります。
 <h4 class="subsection">6.739.3 サンプルコード</h4>
-<pre class="verbatim">int i = sizeof(data++); /* W1074 */
+<pre class="verbatim">static int foo(void)
+{
+    int i = 0;
+    if (sizeof(i++) == 4) { /* W1074 */
+        return 0;
+    }
+    else {
+        return 1;
+    }
+}
 </pre>
 <h4 class="subsection">6.739.4 関連メッセージ</h4>
@@ -41189,7 +41204,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.739.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.16.0
 <div class="node">
 <a name="W1075"></a>
@@ -41210,9 +41225,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.740.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>static 記憶域クラス指定子が明示されていません。
+<p>static 記憶域クラス指定子が明示されていません。
 <h4 class="subsection">6.740.3 サンプルコード</h4>
@@ -41229,7 +41242,7 @@ int func(void) /* W1075 */
 <h4 class="subsection">6.740.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.16.0
 <div class="node">
 <a name="W1076"></a>
@@ -41250,16 +41263,13 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.741.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>関数プロトタイプ宣言がないまま static 記憶域クラス指定子付きの関数が定義されています。
+<p>関数プロトタイプ宣言がないまま static 記憶域クラス指定子付きの関数が定義されています。
 <h4 class="subsection">6.741.3 サンプルコード</h4>
 <pre class="verbatim">static int func(void) /* W1076 */
 {
-    ...
-    return ret;
+    return 0;
 }
 </pre>
@@ -41269,7 +41279,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.741.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.16.0
 <div class="node">
 <a name="W1077"></a>
@@ -41290,13 +41300,11 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.742.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>この配列は、サイズが明示されていません。
+<p>この配列は、サイズが明示されていません。
 <h4 class="subsection">6.742.3 サンプルコード</h4>
-<pre class="verbatim">extern int array[]; /* W1077 */
+<pre class="verbatim">extern int a[]; /* W1077 */
 </pre>
 <h4 class="subsection">6.742.4 関連メッセージ</h4>
@@ -41305,7 +41313,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.742.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.16.0
 <div class="node">
 <a name="W9001"></a>