RubyGems - adlint - Versions diffs - 1.10.0 → 1.12.0 - Mend

adlint 1.10.0 → 1.12.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 (49) hide show

data/ChangeLog +197 -4
data/MANIFEST +17 -0
data/NEWS +23 -4
data/etc/mesg.d/en_US/messages.yml +14 -1
data/etc/mesg.d/ja_JP/messages.yml +14 -1
data/features/message_detection/W0093.feature +87 -0
data/features/message_detection/W0687.feature +25 -0
data/features/message_detection/W0688.feature +63 -0
data/features/message_detection/W0689.feature +46 -0
data/features/message_detection/W0690.feature +35 -0
data/features/message_detection/W0698.feature +3 -2
data/features/message_detection/W0703.feature +1 -0
data/features/message_detection/W0723.feature +34 -0
data/features/message_detection/W0732.feature +158 -0
data/features/message_detection/W0733.feature +158 -0
data/features/message_detection/W0734.feature +322 -0
data/features/message_detection/W0735.feature +322 -0
data/features/message_detection/W1052.feature +66 -0
data/features/message_detection/W9001.feature +33 -0
data/features/message_detection/W9003.feature +131 -0
data/lib/adlint/c/ctrlexpr.rb +51 -50
data/lib/adlint/c/domain.rb +237 -223
data/lib/adlint/c/expr.rb +6 -8
data/lib/adlint/c/interp.rb +8 -11
data/lib/adlint/c/message.rb +20 -0
data/lib/adlint/c/message_shima.rb +63 -0
data/lib/adlint/c/object.rb +5 -4
data/lib/adlint/c/operator.rb +99 -0
data/lib/adlint/c/parser.rb +2 -2
data/lib/adlint/c/parser.y +2 -2
data/lib/adlint/c/phase.rb +6 -1
data/lib/adlint/c/syntax.rb +442 -30
data/lib/adlint/c/type.rb +449 -363
data/lib/adlint/c/value.rb +96 -25
data/lib/adlint/c.rb +1 -0
data/lib/adlint/prelude.rb +16 -18
data/lib/adlint/version.rb +2 -2
data/share/doc/developers_guide_ja.html +11 -5
data/share/doc/developers_guide_ja.texi +9 -3
data/share/doc/users_guide_en.html +697 -131
data/share/doc/users_guide_en.texi +491 -41
data/share/doc/users_guide_ja.html +709 -139
data/share/doc/users_guide_ja.texi +499 -45
data/spec/adlint/c/ctrlexpr_spec.rb +168 -0
data/spec/adlint/c/domain_spec.rb +835 -0
data/spec/adlint/c/operator_spec.rb +406 -0
data/spec/adlint/c/syntax_spec.rb +717 -0
data/spec/adlint/c/type_spec.rb +55 -30
metadata +19 -2

data/share/doc/users_guide_ja.html CHANGED Viewed

@@ -1,8 +1,8 @@
 <html lang="ja">
 <head>
-<title>AdLint 1.10.0 利用者ガイド</title>
+<title>AdLint 1.12.0 利用者ガイド</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.10.0 利用者ガイド">
+<meta name="description" content="AdLint 1.12.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.10.0 利用者ガイド</h1>
+<h1 class="settitle">AdLint 1.12.0 利用者ガイド</h1>
 <div class="node">
 <a name="Top"></a>
 <p><hr>
@@ -2882,8 +2882,21 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#W1063">W1063</a>: 戻り値が列挙型の関数から、非定数式が返されています。
 <li><a href="#W1064">W1064</a>: 列挙型の制御式が使われている switch 文で、整数定数が case ラベルに使われています。
 <li><a href="#W1065">W1065</a>: 列挙型の制御式が使われている switch 文で、異なる列挙型の値が case ラベルに使われています。
+<li><a href="#W1066">W1066</a>: 明示的に float 型の複合式の値を double 型に変換しています。
+<li><a href="#W1067">W1067</a>: 明示的に float 型の複合式の値を long double 型に変換しています。
+<li><a href="#W1068">W1068</a>: 明示的に double 型の複合式の値を long double 型に変換しています。
+<li><a href="#W1069">W1069</a>: この `if-else-if' 文には、末尾の `else' 節がありません。
+<li><a href="#W1070">W1070</a>: この `switch' 文には実行経路が 2 つしか無いため、`if-else' 文に変換可能です。
+<li><a href="#W1071">W1071</a>: 関数 `%s' には複数の終了点があります。
+<li><a href="#W1072">W1072</a>: `goto' 文を使用しています。
+<li><a href="#W1073">W1073</a>: 関数 `%s' の戻り値を破棄しています。
+<li><a href="#W1074">W1074</a>: `sizeof' 演算子のオペランドは実行されないため、副作用が発生しません。
+<li><a href="#W1075">W1075</a>: `%s' は以前に内部結合として宣言されていますが、この宣言には `static' がありません。
+<li><a href="#W1076">W1076</a>: 関数 `%s' は内部結合を持ちますが、事前に内部結合として宣言していません。
+<li><a href="#W1077">W1077</a>: サイズが省略された配列を宣言しています。
 <li><a href="#W9001">W9001</a>: この文には制御が到達しません。
 <li><a href="#W9002">W9002</a>: ファイルの末尾に改行文字がありません。
+<li><a href="#W9003">W9003</a>: 暗黙的に `%s' 型のオブジェクトが異なる型のオブジェクトに変換されています。
 <li><a href="#C0001">C0001</a>: この外部識別名 `%s' で警告を検知しました。
 </ul>
@@ -33610,7 +33623,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.571.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+<p><b>このメッセージは AdLint 2.0.0 以降で出力する予定です。</b>
    <p>このような記述は、言語制約違反になりますので、移植性を低下させます。
@@ -33627,7 +33640,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.571.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>2.0.0 以降の予定
 <div class="node">
 <a name="W0694"></a>
@@ -34685,7 +34698,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.597.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+<p><b>このメッセージは AdLint 2.0.0 以降で出力する予定です。</b>
    <p>認識できない前処理指令を見つけたときの対処方法は処理系定義です。したがって、移植性が低下します。
@@ -34701,7 +34714,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.597.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>2.0.0 以降の予定
 <div class="node">
 <a name="W0726"></a>
@@ -34997,14 +35010,19 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.604.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような記述は誤りの可能性があります。
+<p>このような記述は誤りの可能性があります。
 <h4 class="subsection">6.604.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">extern void func(unsigned int a, unsigned int b,unsigned int c, unsigned int d)
+{
+    int r;
+    r = (a + b) &amp;&amp; (c - d); /* W0732 */
+    r = (a * b) &amp;&amp; (c / d); /* W0732 */
+    r = (a &lt;&lt; b) &amp;&amp; (c &lt;&lt; d); /* W0732 */
+    r = (a >> b) &amp;&amp; (c >> d); /* W0732 */
+}
 </pre>
 <h4 class="subsection">6.604.4 関連メッセージ</h4>
@@ -35017,7 +35035,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.604.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.12.0
 <div class="node">
 <a name="W0733"></a>
@@ -35038,14 +35056,19 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.605.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような記述は誤りの可能性があります。
+<p>このような記述は誤りの可能性があります。
 <h4 class="subsection">6.605.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">extern void func(unsigned int a, unsigned int b,unsigned int c, unsigned int d)
+{
+    int r;
+    r = (a + b) || (c - d); /* W0733 */
+    r = (a * b) || (c / d); /* W0733 */
+    r = (a &lt;&lt; b) || (c &lt;&lt; d); /* W0733 */
+    r = (a >> b) || (c >> d); /* W0733 */
+}
 </pre>
 <h4 class="subsection">6.605.4 関連メッセージ</h4>
@@ -35058,7 +35081,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.605.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.12.0
 <div class="node">
 <a name="W0734"></a>
@@ -35079,14 +35102,19 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.606.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような記述は誤りの可能性があります。
+<p>このような記述は誤りの可能性があります。
 <h4 class="subsection">6.606.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">extern void func(unsigned int a, unsigned int b, unsigned int c)
+{
+    int r;
+    r = (a + b) &amp;&amp; c; /* W0734 */
+    r = (a - b) &amp;&amp; c; /* W0734 */
+    r = (a &lt;&lt; b) || c; /* W0734 */
+    r = (a >> b) || c; /* W0734 */
+}
 </pre>
 <h4 class="subsection">6.606.4 関連メッセージ</h4>
@@ -35099,7 +35127,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.606.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.12.0
 <div class="node">
 <a name="W0735"></a>
@@ -35120,14 +35148,19 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.607.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような記述は誤りの可能性があります。
+<p>このような記述は誤りの可能性があります。
 <h4 class="subsection">6.607.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">extern void func(unsigned int a, unsigned int b, unsigned int c)
+{
+    int r;
+    r = a &amp;&amp; (b + c); /* W0735 */
+    r = a &amp;&amp; (b - c); /* W0735 */
+    r = a || (b >> c); /* W0735 */
+    r = a || (b &lt;&lt; c); /* W0735 */
+}
 </pre>
 <h4 class="subsection">6.607.4 関連メッセージ</h4>
@@ -35140,7 +35173,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.607.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.12.0
 <div class="node">
 <a name="W0736"></a>
@@ -37374,7 +37407,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.652.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+<p><b>このメッセージは AdLint 2.0.0 以降で出力する予定です。</b>
    <p>未定義の拡張表記を使用した場合の動作は未定義です。したがって、予期しない動作を引き起こす可能性があります。
@@ -37390,7 +37423,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.652.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>2.0.0 以降の予定
 <div class="node">
 <a name="W0785"></a>
@@ -38162,7 +38195,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.670.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+<p><b>このメッセージは AdLint 2.0.0 以降で出力する予定です。</b>
    <p><code>#include &lt;ファイル名&gt;</code> または <code>#include "ファイル名"</code> 以外の形式で記述されている <code>#include</code> 文の動作は未定義になります。
 従って、予期しない動作を引き起こす可能性があります。"
@@ -38181,7 +38214,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.670.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>2.0.0 以降の予定
 <div class="node">
 <a name="W0803"></a>
@@ -38202,7 +38235,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.671.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+<p><b>このメッセージは AdLint 2.0.0 以降で出力する予定です。</b>
    <p>このような記述は、未定義の動作のため、予期しない動作を引き起こす可能性があります。
@@ -38218,7 +38251,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.671.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>2.0.0 以降の予定
 <div class="node">
 <a name="W0804"></a>
@@ -38843,7 +38876,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.687.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+<p><b>このメッセージは AdLint 2.0.0 以降で出力する予定です。</b>
    <p>可変個引数マクロの定義は、言語拡張に該当するため、移植性を低下させます。
@@ -38859,7 +38892,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.687.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>2.0.0 以降の予定
 <div class="node">
 <a name="W0947"></a>
@@ -39395,7 +39428,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.701.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+<p><b>このメッセージは AdLint 2.0.0 以降で出力する予定です。</b>
    <p><code>typedef</code> の再定義は未定義の動作になります。
@@ -39413,7 +39446,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.701.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>2.0.0 以降の予定
 <div class="node">
 <a name="W1036"></a>
@@ -39434,7 +39467,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.702.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+<p><b>このメッセージは AdLint 2.0.0 以降で出力する予定です。</b>
    <p><code>typedef</code> の再定義は未定義の動作になります。
@@ -39452,7 +39485,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.702.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>2.0.0 以降の予定
 <div class="node">
 <a name="W1037"></a>
@@ -39632,7 +39665,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.707.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+<p><b>このメッセージは AdLint 2.0.0 以降で出力する予定です。</b>
    <p>このような前処理指令の記述は、ISO C90 標準規格ではサポートされていません。
@@ -39651,7 +39684,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.707.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>2.0.0 以降の予定
 <div class="node">
 <a name="W1043"></a>
@@ -39672,7 +39705,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.708.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+<p><b>このメッセージは AdLint 2.0.0 以降で出力する予定です。</b>
    <p>このような構文記述は、ISO C90 標準規格ではサポートされていないため、言語拡張とみなされます。
@@ -39691,7 +39724,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.708.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>2.0.0 以降の予定
 <div class="node">
 <a name="W1044"></a>
@@ -39752,7 +39785,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.710.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+<p><b>このメッセージは AdLint 2.0.0 以降で出力する予定です。</b>
    <p>このような構文記述は、ISO C90 標準規格ではサポートされていないため、言語拡張とみなされます。
@@ -39771,7 +39804,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.710.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>2.0.0 以降の予定
 <div class="node">
 <a name="W1046"></a>
@@ -39866,7 +39899,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.713.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+<p><b>このメッセージは AdLint 2.0.0 以降で出力する予定です。</b>
    <p>マルチバイト文字定数が使用されています。この値やサイズは処理系によって異なるため、移植性が低下します。
@@ -39882,7 +39915,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.713.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>2.0.0 以降の予定
 <div class="node">
 <a name="W1049"></a>
@@ -40729,7 +40762,7 @@ int func(enum Color c)
 <div class="node">
 <a name="W1065"></a>
 <p><hr>
-Next:&nbsp;<a rel="next" accesskey="n" href="#W9001">W9001</a>,
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1066">W1066</a>,
 Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1064">W1064</a>,
 Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
@@ -40787,28 +40820,509 @@ int func(enum Color c)
 <p>1.4.0
 <div class="node">
-<a name="W9001"></a>
+<a name="W1066"></a>
 <p><hr>
-Next:&nbsp;<a rel="next" accesskey="n" href="#W9002">W9002</a>,
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1067">W1067</a>,
 Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1065">W1065</a>,
 Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 </div>
-<h3 class="section">6.731 W9001</h3>
+<h3 class="section">6.731 W1066</h3>
-<p><a name="index-W9001-777"></a>
+<p><a name="index-W1066-777"></a>
 <h4 class="subsection">6.731.1 メッセージ本文</h4>
-<p>この文には制御が到達しません。
+<p>明示的に float 型の複合式の値を double 型に変換しています。
 <h4 class="subsection">6.731.2 内容</h4>
+<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+   <p>例えばサンプルコードでは <code>float</code> 型変数 <code>a</code> の 2 乗した値が <code>float</code> 型の範囲に収まらないことを想定して
+ <code>double</code> 型変数 <code>b</code> へ代入しています。しかし、環境によっては <code>a * a</code> の演算はいったん <code>float</code> 型として
+結果を出したあとに <code>double</code> 型にキャストされ、<code>b</code> へ代入される場合があります。その場合、<code>a</code> の値によっては精度落ちが起こります。
+<h4 class="subsection">6.731.3 サンプルコード</h4>
+<pre class="verbatim">void func(float a)
+{
+    double b = (double) (a * a);
+}
+</pre>
+<h4 class="subsection">6.731.4 関連メッセージ</h4>
+     <ul>
+<li><a href="#W1067">W1067</a> 明示的に float 型の複合式の値を long double 型に変換しています。
+<li><a href="#W1068">W1068</a> 明示的に double 型の複合式の値を long double 型に変換しています。
+</ul>
+<h4 class="subsection">6.731.5 対応バージョン</h4>
+<p>2.0.0 の予定
+<div class="node">
+<a name="W1067"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1068">W1068</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1066">W1066</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.732 W1067</h3>
+<p><a name="index-W1067-778"></a>
+<h4 class="subsection">6.732.1 メッセージ本文</h4>
+<p>明示的に float 型の複合式の値を long double 型に変換しています。
+<h4 class="subsection">6.732.2 内容</h4>
+<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+   <p>例えばサンプルコードでは <code>float</code> 型変数 <code>a</code> の 2 乗した値が <code>float</code> 型の範囲に収まらないことを想定して
+ <code>long double</code> 型変数 <code>b</code> へ代入しています。しかし、環境によっては <code>a * a</code> の演算はいったん <code>float</code> 型として
+結果を出したあとに <code>long double</code> 型にキャストされ、<code>b</code> へ代入される場合があります。その場合、<code>a</code> の値によっては精度落ちが起こります。
+<h4 class="subsection">6.732.3 サンプルコード</h4>
+<pre class="verbatim">void func(float a)
+{
+    long double b = (long double) (a * a);
+}
+</pre>
+<h4 class="subsection">6.732.4 関連メッセージ</h4>
+     <ul>
+<li><a href="#W1066">W1066</a> 明示的に float 型の複合式の値を double 型に変換しています。
+<li><a href="#W1068">W1068</a> 明示的に double 型の複合式の値を long double 型に変換しています。
+</ul>
+<h4 class="subsection">6.732.5 対応バージョン</h4>
+<p>2.0.0 の予定
+<div class="node">
+<a name="W1068"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1069">W1069</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1067">W1067</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.733 W1068</h3>
+<p><a name="index-W1068-779"></a>
+<h4 class="subsection">6.733.1 メッセージ本文</h4>
+<p>明示的に double 型の複合式の値を long double 型に変換しています。
+<h4 class="subsection">6.733.2 内容</h4>
+<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+   <p>例えばサンプルコードでは <code>double</code> 型変数 <code>a</code> の 2 乗した値が <code>double</code> 型の範囲に収まらないことを想定して
+ <code>long double</code> 型変数 <code>b</code> へ代入しています。しかし、環境によっては <code>a * a</code> の演算はいったん <code>double</code> 型として
+結果を出したあとに <code>long double</code> 型にキャストされ、<code>b</code> へ代入される場合があります。その場合、<code>a</code> の値によっては精度落ちが起こります。
+<h4 class="subsection">6.733.3 サンプルコード</h4>
+<pre class="verbatim">void func(double a)
+{
+    long double b = (long double) (a * a);
+}
+</pre>
+<h4 class="subsection">6.733.4 関連メッセージ</h4>
+     <ul>
+<li><a href="#W1066">W1066</a> 明示的に float 型の複合式の値を double 型に変換しています。
+<li><a href="#W1067">W1067</a> 明示的に float 型の複合式の値を long double 型に変換しています。
+</ul>
+<h4 class="subsection">6.733.5 対応バージョン</h4>
+<p>2.0.0 の予定
+<div class="node">
+<a name="W1069"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1070">W1070</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1068">W1068</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.734 W1069</h3>
+<p><a name="index-W1069-780"></a>
+<h4 class="subsection">6.734.1 メッセージ本文</h4>
+<p>この `if-else-if' 文には、末尾の `else' 節がありません。
+<h4 class="subsection">6.734.2 内容</h4>
+<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+   <p><code>else</code> 節がないと、 <code>else</code> 節を書き忘れているのか、 <code>else</code> 節が発生しない <code>if-else if</code> 文なのかが分からず、混乱を招きます。
+<h4 class="subsection">6.734.3 サンプルコード</h4>
+<pre class="verbatim">/* 追記予定 */
+</pre>
+<h4 class="subsection">6.734.4 関連メッセージ</h4>
+<p>なし。
+<h4 class="subsection">6.734.5 対応バージョン</h4>
+<p>2.0.0 の予定
+<div class="node">
+<a name="W1070"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1071">W1071</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1069">W1069</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.735 W1070</h3>
+<p><a name="index-W1070-781"></a>
+<h4 class="subsection">6.735.1 メッセージ本文</h4>
+<p>この `switch' 文には実行経路が 2 つしか無いため、`if-else' 文に変換可能です。
+<h4 class="subsection">6.735.2 内容</h4>
+<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+   <p>深刻な問題ではありませんが、通常 <code>switch</code> 文は 2 つ以上の分岐があることが想定されるので、
+<code>case</code> 節が 1 つしかない <code>switch</code> 文では、実行パスの定義漏れが疑われます。
+<h4 class="subsection">6.735.3 サンプルコード</h4>
+<pre class="verbatim">switch (x) {
+case 1:
+    ...
+    break;
+default:
+    ...
+}
+</pre>
+<h4 class="subsection">6.735.4 関連メッセージ</h4>
+<p>なし。
+<h4 class="subsection">6.735.5 対応バージョン</h4>
+<p>2.0.0 の予定
+<div class="node">
+<a name="W1071"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1072">W1072</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1070">W1070</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.736 W1071</h3>
+<p><a name="index-W1071-782"></a>
+<h4 class="subsection">6.736.1 メッセージ本文</h4>
+<p>関数 `%s' には複数の終了点があります。
+<h4 class="subsection">6.736.2 内容</h4>
+<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+   <p>出口となる <code>return</code> 文が関数内に複数個存在しています。
+<h4 class="subsection">6.736.3 サンプルコード</h4>
+<pre class="verbatim">int func(int a)
+{
+    if (a == 0) {
+        return 0;
+    }
+    else {
+        return 1; /* W1071 */
+    }
+}
+</pre>
+<h4 class="subsection">6.736.4 関連メッセージ</h4>
+<p>なし。
+<h4 class="subsection">6.736.5 対応バージョン</h4>
+<p>2.0.0 の予定
+<div class="node">
+<a name="W1072"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1073">W1073</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1071">W1071</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.737 W1072</h3>
+<p><a name="index-W1072-783"></a>
+<h4 class="subsection">6.737.1 メッセージ本文</h4>
+<p>`goto' 文を使用しています。
+<h4 class="subsection">6.737.2 内容</h4>
+<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+   <p>ファイル内で <code>goto</code> 文が使用されています。
+<h4 class="subsection">6.737.3 サンプルコード</h4>
+<pre class="verbatim">/* 追記予定 */
+</pre>
+<h4 class="subsection">6.737.4 関連メッセージ</h4>
+<p>なし。
+<h4 class="subsection">6.737.5 対応バージョン</h4>
+<p>2.0.0 の予定
+<div class="node">
+<a name="W1073"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1074">W1074</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1072">W1072</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.738 W1073</h3>
+<p><a name="index-W1073-784"></a>
+<h4 class="subsection">6.738.1 メッセージ本文</h4>
+<p>関数 `%s' の戻り値を破棄しています。
+<h4 class="subsection">6.738.2 内容</h4>
+<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+   <p>関数の戻り値が使用されていない場合、その戻り値は無駄な要素といえます。コード中に無駄な要素があることで解析性が低下します。
+また、使用されない戻り値が多いことは、戻り値のチェックも怠っていることが推測されるため、障害許容性が低下している可能性が高いといえます。
+<h4 class="subsection">6.738.3 サンプルコード</h4>
+<pre class="verbatim">/* 追記予定 */
+</pre>
+<h4 class="subsection">6.738.4 関連メッセージ</h4>
+<p>なし。
+<h4 class="subsection">6.738.5 対応バージョン</h4>
+<p>2.0.0 の予定
+<div class="node">
+<a name="W1074"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1075">W1075</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1073">W1073</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.739 W1074</h3>
+<p><a name="index-W1074-785"></a>
+<h4 class="subsection">6.739.1 メッセージ本文</h4>
+<p>`sizeof' 演算子のオペランドは実行されないため、副作用が発生しません。
+<h4 class="subsection">6.739.2 内容</h4>
+<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+   <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>
+<h4 class="subsection">6.739.4 関連メッセージ</h4>
+<p>なし。
+<h4 class="subsection">6.739.5 対応バージョン</h4>
+<p>2.0.0 の予定
+<div class="node">
+<a name="W1075"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1076">W1076</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1074">W1074</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.740 W1075</h3>
+<p><a name="index-W1075-786"></a>
+<h4 class="subsection">6.740.1 メッセージ本文</h4>
+<p>`%s' は以前に内部結合として宣言されていますが、この宣言には `static' がありません。
+<h4 class="subsection">6.740.2 内容</h4>
+<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+   <p>static 記憶域クラス指定子が明示されていません。
+<h4 class="subsection">6.740.3 サンプルコード</h4>
+<pre class="verbatim">static int func(void);
+int func(void) /* W1075 */
+{
+    ...
+}
+</pre>
+<h4 class="subsection">6.740.4 関連メッセージ</h4>
+<p>なし。
+<h4 class="subsection">6.740.5 対応バージョン</h4>
+<p>2.0.0 の予定
+<div class="node">
+<a name="W1076"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W1077">W1077</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1075">W1075</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.741 W1076</h3>
+<p><a name="index-W1076-787"></a>
+<h4 class="subsection">6.741.1 メッセージ本文</h4>
+<p>関数 `%s' は内部結合を持ちますが、事前に内部結合として宣言していません。
+<h4 class="subsection">6.741.2 内容</h4>
+<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+   <p>関数プロトタイプ宣言がないまま static 記憶域クラス指定子付きの関数が定義されています。
+<h4 class="subsection">6.741.3 サンプルコード</h4>
+<pre class="verbatim">static int func(void) /* W1076 */
+{
+    ...
+    return ret;
+}
+</pre>
+<h4 class="subsection">6.741.4 関連メッセージ</h4>
+<p>なし。
+<h4 class="subsection">6.741.5 対応バージョン</h4>
+<p>2.0.0 の予定
+<div class="node">
+<a name="W1077"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W9001">W9001</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1076">W1076</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.742 W1077</h3>
+<p><a name="index-W1077-788"></a>
+<h4 class="subsection">6.742.1 メッセージ本文</h4>
+<p>サイズが省略された配列を宣言しています。
+<h4 class="subsection">6.742.2 内容</h4>
+<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
+   <p>この配列は、サイズが明示されていません。
+<h4 class="subsection">6.742.3 サンプルコード</h4>
+<pre class="verbatim">extern int array[]; /* W1077 */
+</pre>
+<h4 class="subsection">6.742.4 関連メッセージ</h4>
+<p>なし。
+<h4 class="subsection">6.742.5 対応バージョン</h4>
+<p>2.0.0 の予定
+<div class="node">
+<a name="W9001"></a>
+<p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#W9002">W9002</a>,
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W1077">W1077</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.743 W9001</h3>
+<p><a name="index-W9001-789"></a>
+<h4 class="subsection">6.743.1 メッセージ本文</h4>
+<p>この文には制御が到達しません。
+<h4 class="subsection">6.743.2 内容</h4>
 <p>この実行経路に至るための分岐条件が常に偽と評価されるため、この文は実行されるこ
 とがありません。
-<h4 class="subsection">6.731.3 サンプルコード</h4>
+<h4 class="subsection">6.743.3 サンプルコード</h4>
 <pre class="verbatim">extern int all_possible_values_of_int(void);
 extern unsigned int zero_if_succeeded(void);
@@ -40845,82 +41359,125 @@ void func(void)
 }
 </pre>
-<h4 class="subsection">6.731.4 関連メッセージ</h4>
+<h4 class="subsection">6.743.4 関連メッセージ</h4>
 <p>なし。
-<h4 class="subsection">6.731.5 対応バージョン</h4>
+<h4 class="subsection">6.743.5 対応バージョン</h4>
 <p>1.0.0
 <div class="node">
 <a name="W9002"></a>
 <p><hr>
-Next:&nbsp;<a rel="next" accesskey="n" href="#C0001">C0001</a>,
+Next:&nbsp;<a rel="next" accesskey="n" href="#W9003">W9003</a>,
 Previous:&nbsp;<a rel="previous" accesskey="p" href="#W9001">W9001</a>,
 Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 </div>
-<h3 class="section">6.732 W9002</h3>
+<h3 class="section">6.744 W9002</h3>
-<p><a name="index-W9002-778"></a>
+<p><a name="index-W9002-790"></a>
-<h4 class="subsection">6.732.1 メッセージ本文</h4>
+<h4 class="subsection">6.744.1 メッセージ本文</h4>
 <p>ファイルの末尾に改行文字がありません。
-<h4 class="subsection">6.732.2 内容</h4>
+<h4 class="subsection">6.744.2 内容</h4>
 <p>プリプロセッサによって処理する行は、すべて末尾に改行文字が必要です。
-<h4 class="subsection">6.732.3 サンプルコード</h4>
+<h4 class="subsection">6.744.3 サンプルコード</h4>
 <p>なし。
-<h4 class="subsection">6.732.4 関連メッセージ</h4>
+<h4 class="subsection">6.744.4 関連メッセージ</h4>
 <p>なし。
-<h4 class="subsection">6.732.5 対応バージョン</h4>
+<h4 class="subsection">6.744.5 対応バージョン</h4>
 <p>1.0.0
 <div class="node">
-<a name="C0001"></a>
+<a name="W9003"></a>
 <p><hr>
+Next:&nbsp;<a rel="next" accesskey="n" href="#C0001">C0001</a>,
 Previous:&nbsp;<a rel="previous" accesskey="p" href="#W9002">W9002</a>,
 Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 </div>
-<h3 class="section">6.733 C0001</h3>
+<h3 class="section">6.745 W9003</h3>
-<p><a name="index-C0001-779"></a>
+<p><a name="index-W9003-791"></a>
-<h4 class="subsection">6.733.1 メッセージ本文</h4>
+<h4 class="subsection">6.745.1 メッセージ本文</h4>
+<p>暗黙的に `%s' 型のオブジェクトが異なる型のオブジェクトに変換されています。
+<h4 class="subsection">6.745.2 内容</h4>
+<p>変換元または変換先の型が非標準型である暗黙的な変換が発生することを示します。
+<h4 class="subsection">6.745.3 サンプルコード</h4>
+<pre class="verbatim">enum Color { RED, BLUE, GREEN };
+enum Fruit { APPLE, BANANA, ORANGE };
+extern void foo(enum Color);
+static void bar(void)
+{
+    int i = RED; /* W9003 */
+    foo(ORANGE); /* W9003 */
+}
+</pre>
+<h4 class="subsection">6.745.4 関連メッセージ</h4>
+<p>なし。
+<h4 class="subsection">6.745.5 対応バージョン</h4>
+<p>1.12.0
+<div class="node">
+<a name="C0001"></a>
+<p><hr>
+Previous:&nbsp;<a rel="previous" accesskey="p" href="#W9003">W9003</a>,
+Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
+</div>
+<h3 class="section">6.746 C0001</h3>
+<p><a name="index-C0001-792"></a>
+<h4 class="subsection">6.746.1 メッセージ本文</h4>
 <p>この外部識別名 `%s' で警告を検知しました。
-<h4 class="subsection">6.733.2 内容</h4>
+<h4 class="subsection">6.746.2 内容</h4>
 <p><a href="#W0051">W0051</a>、<a href="#W0052">W0052</a> メッセージの直前に出力され、問題となる識別
 子の対となる識別子の位置を示します。
-<h4 class="subsection">6.733.3 サンプルコード</h4>
+<h4 class="subsection">6.746.3 サンプルコード</h4>
 <pre class="verbatim">int very_long_long_long_long_long_long_long_identifier_1 = 0; /* C0001 */
 int very_long_long_long_long_long_long_long_identifier_2 = 1; /* W0052 */
 </pre>
-<h4 class="subsection">6.733.4 関連メッセージ</h4>
+<h4 class="subsection">6.746.4 関連メッセージ</h4>
      <ul>
 <li><a href="#W0051">W0051</a> 外部識別子名が他の識別子名(例:`%s')と、リンカ特性で指定された文字数の範囲内で区別できません。
 <li><a href="#W0052">W0052</a> 識別子名が他の識別子名(例:`%s')と、コンパイラ特性で指定された文字数の範囲内で区別できません。
 </ul>
-<h4 class="subsection">6.733.5 対応バージョン</h4>
+<h4 class="subsection">6.746.5 対応バージョン</h4>
 <p>1.0.0
@@ -40964,7 +41521,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.1 FL_STMT</h3>
-<p><a name="index-FL_005fSTMT-780"></a>
+<p><a name="index-FL_005fSTMT-793"></a>
 <h4 class="subsection">7.1.1 メトリック名</h4>
@@ -41036,7 +41593,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.2 FL_FUNC</h3>
-<p><a name="index-FL_005fFUNC-781"></a>
+<p><a name="index-FL_005fFUNC-794"></a>
 <h4 class="subsection">7.2.1 メトリック名</h4>
@@ -41081,7 +41638,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.3 FN_STMT</h3>
-<p><a name="index-FN_005fSTMT-782"></a>
+<p><a name="index-FN_005fSTMT-795"></a>
 <h4 class="subsection">7.3.1 メトリック名</h4>
@@ -41153,7 +41710,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.4 FN_UNRC</h3>
-<p><a name="index-FN_005fUNRC-783"></a>
+<p><a name="index-FN_005fUNRC-796"></a>
 <h4 class="subsection">7.4.1 メトリック名</h4>
@@ -41232,7 +41789,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.5 FN_LINE</h3>
-<p><a name="index-FN_005fLINE-784"></a>
+<p><a name="index-FN_005fLINE-797"></a>
 <h4 class="subsection">7.5.1 メトリック名</h4>
@@ -41291,7 +41848,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.6 FN_PARA</h3>
-<p><a name="index-FN_005fPARA-785"></a>
+<p><a name="index-FN_005fPARA-798"></a>
 <h4 class="subsection">7.6.1 メトリック名</h4>
@@ -41337,7 +41894,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.7 FN_UNUV</h3>
-<p><a name="index-FN_005fUNUV-786"></a>
+<p><a name="index-FN_005fUNUV-799"></a>
 <h4 class="subsection">7.7.1 メトリック名</h4>
@@ -41388,7 +41945,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.8 FN_CSUB</h3>
-<p><a name="index-FN_005fCSUB-787"></a>
+<p><a name="index-FN_005fCSUB-800"></a>
 <h4 class="subsection">7.8.1 メトリック名</h4>
@@ -41432,7 +41989,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.9 FN_CALL</h3>
-<p><a name="index-FN_005fCALL-788"></a>
+<p><a name="index-FN_005fCALL-801"></a>
 <h4 class="subsection">7.9.1 メトリック名</h4>
@@ -41483,7 +42040,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.10 FN_GOTO</h3>
-<p><a name="index-FN_005fGOTO-789"></a>
+<p><a name="index-FN_005fGOTO-802"></a>
 <h4 class="subsection">7.10.1 メトリック名</h4>
@@ -41534,7 +42091,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.11 FN_RETN</h3>
-<p><a name="index-FN_005fRETN-790"></a>
+<p><a name="index-FN_005fRETN-803"></a>
 <h4 class="subsection">7.11.1 メトリック名</h4>
@@ -41607,7 +42164,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.12 FN_UELS</h3>
-<p><a name="index-FN_005fUELS-791"></a>
+<p><a name="index-FN_005fUELS-804"></a>
 <h4 class="subsection">7.12.1 メトリック名</h4>
@@ -41667,7 +42224,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.13 FN_NEST</h3>
-<p><a name="index-FN_005fNEST-792"></a>
+<p><a name="index-FN_005fNEST-805"></a>
 <h4 class="subsection">7.13.1 メトリック名</h4>
@@ -41738,7 +42295,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.14 FN_PATH</h3>
-<p><a name="index-FN_005fPATH-793"></a>
+<p><a name="index-FN_005fPATH-806"></a>
 <h4 class="subsection">7.14.1 メトリック名</h4>
@@ -41895,7 +42452,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
 <h3 class="section">7.15 FN_CYCM</h3>
-<p><a name="index-FN_005fCYCM-794"></a>
+<p><a name="index-FN_005fCYCM-807"></a>
 <h4 class="subsection">7.15.1 メトリック名</h4>
@@ -42034,7 +42591,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.1 VER</h3>
-<p><a name="index-VER-795"></a>
+<p><a name="index-VER-808"></a>
 <h4 class="subsection">8.1.1 コード情報名</h4>
@@ -42064,7 +42621,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.2 DCL(T)</h3>
-<p><a name="index-DCL_0028T_0029-796"></a>
+<p><a name="index-DCL_0028T_0029-809"></a>
 <h4 class="subsection">8.2.1 コード情報名</h4>
@@ -42095,7 +42652,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.3 DCL(V)</h3>
-<p><a name="index-DCL_0028V_0029-797"></a>
+<p><a name="index-DCL_0028V_0029-810"></a>
 <h4 class="subsection">8.3.1 コード情報名</h4>
@@ -42126,7 +42683,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.4 DCL(F)</h3>
-<p><a name="index-DCL_0028F_0029-798"></a>
+<p><a name="index-DCL_0028F_0029-811"></a>
 <h4 class="subsection">8.4.1 コード情報名</h4>
@@ -42157,7 +42714,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.5 DEF(V)</h3>
-<p><a name="index-DEF_0028V_0029-799"></a>
+<p><a name="index-DEF_0028V_0029-812"></a>
 <h4 class="subsection">8.5.1 コード情報名</h4>
@@ -42188,7 +42745,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.6 DEF(F)</h3>
-<p><a name="index-DEF_0028F_0029-800"></a>
+<p><a name="index-DEF_0028F_0029-813"></a>
 <h4 class="subsection">8.6.1 コード情報名</h4>
@@ -42218,7 +42775,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.7 DEF(M)</h3>
-<p><a name="index-DEF_0028M_0029-801"></a>
+<p><a name="index-DEF_0028M_0029-814"></a>
 <h4 class="subsection">8.7.1 コード情報名</h4>
@@ -42248,7 +42805,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.8 DEF(L)</h3>
-<p><a name="index-DEF_0028L_0029-802"></a>
+<p><a name="index-DEF_0028L_0029-815"></a>
 <h4 class="subsection">8.8.1 コード情報名</h4>
@@ -42262,7 +42819,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <p><a href="#Output_005fMetrics_005fDef_005fSample">定義レコードの出力例</a>を参照。
-   <p><a name="index-INI-803"></a>
+   <p><a name="index-INI-816"></a>
 <h4 class="subsection">8.8.4 対応バージョン</h4>
@@ -42306,7 +42863,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.10 ASN</h3>
-<p><a name="index-ASN-804"></a>
+<p><a name="index-ASN-817"></a>
 <h4 class="subsection">8.10.1 コード情報名</h4>
@@ -42336,7 +42893,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.11 DEP(I)</h3>
-<p><a name="index-DEP_0028I_0029-805"></a>
+<p><a name="index-DEP_0028I_0029-818"></a>
 <h4 class="subsection">8.11.1 コード情報名</h4>
@@ -42368,7 +42925,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.12 DEP(C)</h3>
-<p><a name="index-DEP_0028C_0029-806"></a>
+<p><a name="index-DEP_0028C_0029-819"></a>
 <h4 class="subsection">8.12.1 コード情報名</h4>
@@ -42399,7 +42956,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.13 DEP(X)</h3>
-<p><a name="index-DEP_0028X_0029-807"></a>
+<p><a name="index-DEP_0028X_0029-820"></a>
 <h4 class="subsection">8.13.1 コード情報名</h4>
@@ -42429,7 +42986,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.14 LIT</h3>
-<p><a name="index-LIT-808"></a>
+<p><a name="index-LIT-821"></a>
 <h4 class="subsection">8.14.1 コード情報名</h4>
@@ -42458,7 +43015,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
 <h3 class="section">8.15 PRE</h3>
-<p><a name="index-PRE-809"></a>
+<p><a name="index-PRE-822"></a>
 <h4 class="subsection">8.15.1 コード情報名</h4>
@@ -42937,18 +43494,18 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <h2 class="unnumbered">索引</h2>
 <ul class="index-cp" compact>
-<li><a href="#index-ASN-804">ASN</a>: <a href="#ASN">ASN</a></li>
-<li><a href="#index-C0001-779">C0001</a>: <a href="#C0001">C0001</a></li>
-<li><a href="#index-DCL_0028F_0029-798">DCL(F)</a>: <a href="#DCL_0028F_0029">DCL(F)</a></li>
-<li><a href="#index-DCL_0028T_0029-796">DCL(T)</a>: <a href="#DCL_0028T_0029">DCL(T)</a></li>
-<li><a href="#index-DCL_0028V_0029-797">DCL(V)</a>: <a href="#DCL_0028V_0029">DCL(V)</a></li>
-<li><a href="#index-DEF_0028F_0029-800">DEF(F)</a>: <a href="#DEF_0028F_0029">DEF(F)</a></li>
-<li><a href="#index-DEF_0028L_0029-802">DEF(L)</a>: <a href="#DEF_0028L_0029">DEF(L)</a></li>
-<li><a href="#index-DEF_0028M_0029-801">DEF(M)</a>: <a href="#DEF_0028M_0029">DEF(M)</a></li>
-<li><a href="#index-DEF_0028V_0029-799">DEF(V)</a>: <a href="#DEF_0028V_0029">DEF(V)</a></li>
-<li><a href="#index-DEP_0028C_0029-806">DEP(C)</a>: <a href="#DEP_0028C_0029">DEP(C)</a></li>
-<li><a href="#index-DEP_0028I_0029-805">DEP(I)</a>: <a href="#DEP_0028I_0029">DEP(I)</a></li>
-<li><a href="#index-DEP_0028X_0029-807">DEP(X)</a>: <a href="#DEP_0028X_0029">DEP(X)</a></li>
+<li><a href="#index-ASN-817">ASN</a>: <a href="#ASN">ASN</a></li>
+<li><a href="#index-C0001-792">C0001</a>: <a href="#C0001">C0001</a></li>
+<li><a href="#index-DCL_0028F_0029-811">DCL(F)</a>: <a href="#DCL_0028F_0029">DCL(F)</a></li>
+<li><a href="#index-DCL_0028T_0029-809">DCL(T)</a>: <a href="#DCL_0028T_0029">DCL(T)</a></li>
+<li><a href="#index-DCL_0028V_0029-810">DCL(V)</a>: <a href="#DCL_0028V_0029">DCL(V)</a></li>
+<li><a href="#index-DEF_0028F_0029-813">DEF(F)</a>: <a href="#DEF_0028F_0029">DEF(F)</a></li>
+<li><a href="#index-DEF_0028L_0029-815">DEF(L)</a>: <a href="#DEF_0028L_0029">DEF(L)</a></li>
+<li><a href="#index-DEF_0028M_0029-814">DEF(M)</a>: <a href="#DEF_0028M_0029">DEF(M)</a></li>
+<li><a href="#index-DEF_0028V_0029-812">DEF(V)</a>: <a href="#DEF_0028V_0029">DEF(V)</a></li>
+<li><a href="#index-DEP_0028C_0029-819">DEP(C)</a>: <a href="#DEP_0028C_0029">DEP(C)</a></li>
+<li><a href="#index-DEP_0028I_0029-818">DEP(I)</a>: <a href="#DEP_0028I_0029">DEP(I)</a></li>
+<li><a href="#index-DEP_0028X_0029-820">DEP(X)</a>: <a href="#DEP_0028X_0029">DEP(X)</a></li>
 <li><a href="#index-E0004-51">E0004</a>: <a href="#E0004">E0004</a></li>
 <li><a href="#index-E0007-52">E0007</a>: <a href="#E0007">E0007</a></li>
 <li><a href="#index-E0008-53">E0008</a>: <a href="#E0008">E0008</a></li>
@@ -42958,25 +43515,25 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#index-E0014-57">E0014</a>: <a href="#E0014">E0014</a></li>
 <li><a href="#index-E0015-58">E0015</a>: <a href="#E0015">E0015</a></li>
 <li><a href="#index-E0016-59">E0016</a>: <a href="#E0016">E0016</a></li>
-<li><a href="#index-FL_005fFUNC-781">FL_FUNC</a>: <a href="#FL_005fFUNC">FL_FUNC</a></li>
-<li><a href="#index-FL_005fSTMT-780">FL_STMT</a>: <a href="#FL_005fSTMT">FL_STMT</a></li>
-<li><a href="#index-FN_005fCALL-788">FN_CALL</a>: <a href="#FN_005fCALL">FN_CALL</a></li>
-<li><a href="#index-FN_005fCSUB-787">FN_CSUB</a>: <a href="#FN_005fCSUB">FN_CSUB</a></li>
-<li><a href="#index-FN_005fCYCM-794">FN_CYCM</a>: <a href="#FN_005fCYCM">FN_CYCM</a></li>
-<li><a href="#index-FN_005fGOTO-789">FN_GOTO</a>: <a href="#FN_005fGOTO">FN_GOTO</a></li>
-<li><a href="#index-FN_005fLINE-784">FN_LINE</a>: <a href="#FN_005fLINE">FN_LINE</a></li>
-<li><a href="#index-FN_005fNEST-792">FN_NEST</a>: <a href="#FN_005fNEST">FN_NEST</a></li>
-<li><a href="#index-FN_005fPARA-785">FN_PARA</a>: <a href="#FN_005fPARA">FN_PARA</a></li>
-<li><a href="#index-FN_005fPATH-793">FN_PATH</a>: <a href="#FN_005fPATH">FN_PATH</a></li>
-<li><a href="#index-FN_005fRETN-790">FN_RETN</a>: <a href="#FN_005fRETN">FN_RETN</a></li>
-<li><a href="#index-FN_005fSTMT-782">FN_STMT</a>: <a href="#FN_005fSTMT">FN_STMT</a></li>
-<li><a href="#index-FN_005fUELS-791">FN_UELS</a>: <a href="#FN_005fUELS">FN_UELS</a></li>
-<li><a href="#index-FN_005fUNRC-783">FN_UNRC</a>: <a href="#FN_005fUNRC">FN_UNRC</a></li>
-<li><a href="#index-FN_005fUNUV-786">FN_UNUV</a>: <a href="#FN_005fUNUV">FN_UNUV</a></li>
-<li><a href="#index-INI-803">INI</a>: <a href="#DEF_0028L_0029">DEF(L)</a></li>
-<li><a href="#index-LIT-808">LIT</a>: <a href="#LIT">LIT</a></li>
-<li><a href="#index-PRE-809">PRE</a>: <a href="#PRE">PRE</a></li>
-<li><a href="#index-VER-795">VER</a>: <a href="#VER">VER</a></li>
+<li><a href="#index-FL_005fFUNC-794">FL_FUNC</a>: <a href="#FL_005fFUNC">FL_FUNC</a></li>
+<li><a href="#index-FL_005fSTMT-793">FL_STMT</a>: <a href="#FL_005fSTMT">FL_STMT</a></li>
+<li><a href="#index-FN_005fCALL-801">FN_CALL</a>: <a href="#FN_005fCALL">FN_CALL</a></li>
+<li><a href="#index-FN_005fCSUB-800">FN_CSUB</a>: <a href="#FN_005fCSUB">FN_CSUB</a></li>
+<li><a href="#index-FN_005fCYCM-807">FN_CYCM</a>: <a href="#FN_005fCYCM">FN_CYCM</a></li>
+<li><a href="#index-FN_005fGOTO-802">FN_GOTO</a>: <a href="#FN_005fGOTO">FN_GOTO</a></li>
+<li><a href="#index-FN_005fLINE-797">FN_LINE</a>: <a href="#FN_005fLINE">FN_LINE</a></li>
+<li><a href="#index-FN_005fNEST-805">FN_NEST</a>: <a href="#FN_005fNEST">FN_NEST</a></li>
+<li><a href="#index-FN_005fPARA-798">FN_PARA</a>: <a href="#FN_005fPARA">FN_PARA</a></li>
+<li><a href="#index-FN_005fPATH-806">FN_PATH</a>: <a href="#FN_005fPATH">FN_PATH</a></li>
+<li><a href="#index-FN_005fRETN-803">FN_RETN</a>: <a href="#FN_005fRETN">FN_RETN</a></li>
+<li><a href="#index-FN_005fSTMT-795">FN_STMT</a>: <a href="#FN_005fSTMT">FN_STMT</a></li>
+<li><a href="#index-FN_005fUELS-804">FN_UELS</a>: <a href="#FN_005fUELS">FN_UELS</a></li>
+<li><a href="#index-FN_005fUNRC-796">FN_UNRC</a>: <a href="#FN_005fUNRC">FN_UNRC</a></li>
+<li><a href="#index-FN_005fUNUV-799">FN_UNUV</a>: <a href="#FN_005fUNUV">FN_UNUV</a></li>
+<li><a href="#index-INI-816">INI</a>: <a href="#DEF_0028L_0029">DEF(L)</a></li>
+<li><a href="#index-LIT-821">LIT</a>: <a href="#LIT">LIT</a></li>
+<li><a href="#index-PRE-822">PRE</a>: <a href="#PRE">PRE</a></li>
+<li><a href="#index-VER-808">VER</a>: <a href="#VER">VER</a></li>
 <li><a href="#index-W0001-60">W0001</a>: <a href="#W0001">W0001</a></li>
 <li><a href="#index-W0002-61">W0002</a>: <a href="#W0002">W0002</a></li>
 <li><a href="#index-W0003-62">W0003</a>: <a href="#W0003">W0003</a></li>
@@ -43694,8 +44251,21 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#index-W1063-774">W1063</a>: <a href="#W1063">W1063</a></li>
 <li><a href="#index-W1064-775">W1064</a>: <a href="#W1064">W1064</a></li>
 <li><a href="#index-W1065-776">W1065</a>: <a href="#W1065">W1065</a></li>
-<li><a href="#index-W9001-777">W9001</a>: <a href="#W9001">W9001</a></li>
-<li><a href="#index-W9002-778">W9002</a>: <a href="#W9002">W9002</a></li>
+<li><a href="#index-W1066-777">W1066</a>: <a href="#W1066">W1066</a></li>
+<li><a href="#index-W1067-778">W1067</a>: <a href="#W1067">W1067</a></li>
+<li><a href="#index-W1068-779">W1068</a>: <a href="#W1068">W1068</a></li>
+<li><a href="#index-W1069-780">W1069</a>: <a href="#W1069">W1069</a></li>
+<li><a href="#index-W1070-781">W1070</a>: <a href="#W1070">W1070</a></li>
+<li><a href="#index-W1071-782">W1071</a>: <a href="#W1071">W1071</a></li>
+<li><a href="#index-W1072-783">W1072</a>: <a href="#W1072">W1072</a></li>
+<li><a href="#index-W1073-784">W1073</a>: <a href="#W1073">W1073</a></li>
+<li><a href="#index-W1074-785">W1074</a>: <a href="#W1074">W1074</a></li>
+<li><a href="#index-W1075-786">W1075</a>: <a href="#W1075">W1075</a></li>
+<li><a href="#index-W1076-787">W1076</a>: <a href="#W1076">W1076</a></li>
+<li><a href="#index-W1077-788">W1077</a>: <a href="#W1077">W1077</a></li>
+<li><a href="#index-W9001-789">W9001</a>: <a href="#W9001">W9001</a></li>
+<li><a href="#index-W9002-790">W9002</a>: <a href="#W9002">W9002</a></li>
+<li><a href="#index-W9003-791">W9003</a>: <a href="#W9003">W9003</a></li>
 <li><a href="#index-X0001-47">X0001</a>: <a href="#X0001">X0001</a></li>
 <li><a href="#index-X0002-48">X0002</a>: <a href="#X0002">X0002</a></li>
 <li><a href="#index-X0003-49">X0003</a>: <a href="#X0003">X0003</a></li>