RubyGems - adlint - Versions diffs - 1.2.0 → 1.4.0 - Mend

adlint 1.2.0 → 1.4.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 (37) hide show

data/AUTHORS +1 -1
data/ChangeLog +272 -0
data/MANIFEST +4 -0
data/NEWS +39 -4
data/etc/mesg.d/en_US/messages.yml +2 -2
data/etc/mesg.d/ja_JP/messages.yml +2 -2
data/lib/adlint/c.rb +1 -0
data/lib/adlint/c/expr.rb +20 -26
data/lib/adlint/c/interp.rb +137 -45
data/lib/adlint/c/mediator.rb +4 -0
data/lib/adlint/c/message.rb +479 -16
data/lib/adlint/c/message_shima.rb +151 -0
data/lib/adlint/c/phase.rb +23 -0
data/lib/adlint/c/resolver.rb +1 -0
data/lib/adlint/c/syntax.rb +93 -89
data/lib/adlint/c/type.rb +70 -0
data/lib/adlint/cpp/eval.rb +12 -1
data/lib/adlint/cpp/message_shima.rb +51 -0
data/lib/adlint/cpp/phase.rb +3 -0
data/lib/adlint/version.rb +2 -2
data/share/demo/Makefile +3 -0
data/share/demo/bad_enum/bad_enum.c +27 -0
data/share/demo/bad_macro/bad_macro.c +4 -0
data/share/demo/bad_return/bad_return.c +83 -0
data/share/demo/incomplete_type/incomplete_type.c +3 -0
data/share/demo/overflow/overflow.c +59 -5
data/share/demo/union_type/union_type.c +13 -0
data/share/demo/unnamed_member/unnamed_member.c +13 -0
data/share/demo/various_fundef/various_fundef.c +43 -0
data/share/demo/wrap_around/wrap_around.c +95 -21
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 +222 -149
data/share/doc/users_guide_en.texi +194 -120
data/share/doc/users_guide_ja.html +224 -167
data/share/doc/users_guide_ja.texi +194 -137
metadata +6 -2

data/share/doc/users_guide_ja.html CHANGED Viewed

@@ -1,8 +1,8 @@
 <html lang="ja">
 <head>
-<title>AdLint 1.2.0 利用者ガイド</title>
+<title>AdLint 1.4.0 利用者ガイド</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.2.0 利用者ガイド">
+<meta name="description" content="AdLint 1.4.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.2.0 利用者ガイド</h1>
+<h1 class="settitle">AdLint 1.4.0 利用者ガイド</h1>
 <div class="node">
 <a name="Top"></a>
 <p><hr>
@@ -2749,7 +2749,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 <li><a href="#W0722">W0722</a>: 符号付きの式の値がオーバーフローしています。
 <li><a href="#W0723">W0723</a>: 符号付きの式の値がオーバーフローする可能性があります。
 <li><a href="#W0724">W0724</a>: 条件付きインクルード指令によって、認識できない前処理指令が無視されました。
-<li><a href="#W0726">W0726</a>: 修飾子付き void 型の戻り値が定義された関数 `%s()' の中で、`return 式 ;' が見つかりました。
+<li><a href="#W0726">W0726</a>: 修飾子付き void 型の戻り値が定義された関数 `%s()' の中で、`return 式;' が見つかりました。
 <li><a href="#W0727">W0727</a>: 列挙型にない値を使っています。
 <li><a href="#W0728">W0728</a>: 列挙型の関数仮引数に、別の列挙型の列挙定数が実引数として渡されています。
 <li><a href="#W0729">W0729</a>: 列挙型のオブジェクトに、別の列挙型の列挙定数が代入されています。
@@ -6015,7 +6015,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.80.4 関連メッセージ</h4>
-<p>なし
+<p>なし。
 <h4 class="subsection">6.80.5 対応バージョン</h4>
@@ -29587,14 +29587,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.497.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>浮動小数点型のメンバ変数に対して共用体を使ってビット単位でアクセスする場合の動作はコンパイラ依存なので、移植性を低下させます。
+<p>浮動小数点型のメンバ変数に対して共用体を使ってビット単位でアクセスする場合の動作はコンパイラ依存なので、移植性を低下させます。
 <h4 class="subsection">6.497.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">union UNI { /* W0606 */
+    float a;
+    int b;
+};
 </pre>
 <h4 class="subsection">6.497.4 関連メッセージ</h4>
@@ -29603,7 +29603,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.497.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W0607"></a>
@@ -33348,9 +33348,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.565.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような記述は、未定義の動作のため、予期しない動作を引き起こす可能性があります。
+<p>このような記述は、未定義の動作のため、予期しない動作を引き起こす可能性があります。
 <h4 class="subsection">6.565.3 サンプルコード</h4>
@@ -33368,7 +33366,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.565.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W0688"></a>
@@ -33666,16 +33664,12 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.573.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p><code>assert</code> マクロの定義解消や再定義は、未定義の動作になります。したがって、予期しない動作を引き起こす可能性があります。
+<p><code>assert</code> マクロの定義解消や再定義は、未定義の動作になります。したがって、予期しない動作を引き起こす可能性があります。
 <h4 class="subsection">6.573.3 サンプルコード</h4>
 <pre class="verbatim">#undef assert /* W0695 */
-void assert(int a)
-{
-}
+extern void assert(int a);
 </pre>
 <h4 class="subsection">6.573.4 関連メッセージ</h4>
@@ -33684,7 +33678,7 @@ void assert(int a)
 <h4 class="subsection">6.573.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W0696"></a>
@@ -33796,14 +33790,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.576.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>式を持たない <code>return</code> 文は不定値を返します。
+<p>式を持たない <code>return</code> 文は不定値を返します。
 <h4 class="subsection">6.576.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">int func(void)
+{
+    return; /* W0698 */
+}
 </pre>
 <h4 class="subsection">6.576.4 関連メッセージ</h4>
@@ -33816,7 +33810,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.576.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W0699"></a>
@@ -33837,14 +33831,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.577.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>式を持たない <code>return</code> 文は不定値を返します。
+<p>式を持たない <code>return</code> 文は不定値を返します。
 <h4 class="subsection">6.577.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">extern func(void)
+{
+    return; /* W0699 */
+}
 </pre>
 <h4 class="subsection">6.577.4 関連メッセージ</h4>
@@ -33857,7 +33851,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.577.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W0700"></a>
@@ -34494,14 +34488,15 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.593.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>上記のような式は未定義の動作になります。したがって、予期しない動作を引き起こす可能性があります。
+<p>このような式は未定義の動作になります。したがって、予期しない動作を引き起こす可能性があります。
 <h4 class="subsection">6.593.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">signed char sc1 = (signed char) 127.5; /* OK */
+signed char sc2 = (signed char) 128.5; /* W0720 */
+signed char sc3 = (signed char) -128.5; /* OK */
+signed char sc4 = (signed char) -129.5; /* W0720 */
 </pre>
 <h4 class="subsection">6.593.4 関連メッセージ</h4>
@@ -34510,7 +34505,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.593.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W0721"></a>
@@ -34531,15 +34526,16 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.594.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>上記のような変換により、ポインタ型変数の一部の情報が欠落したものが整数型に代入されることになります。
+<p>上記のような変換により、ポインタ型変数の一部の情報が欠落したものが整数型に代入されることになります。
 したがって、代入先の値はもはや正しいアドレスを指していないことになります。
 <h4 class="subsection">6.594.3 サンプルコード</h4>
-<pre class="verbatim">unsigned char* p;
-unsigned short us = (unsigned short) p; /* W0721 */
+<pre class="verbatim">void func(int *p)
+{
+    /* when short is 16 bit long and pointer is 32 bit long */
+    unsigned short us = (unsigned short) p; /* W0721 */
+}
 </pre>
 <h4 class="subsection">6.594.4 関連メッセージ</h4>
@@ -34548,7 +34544,7 @@ unsigned short us = (unsigned short) p; /* W0721 */
 <h4 class="subsection">6.594.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W0722"></a>
@@ -34569,17 +34565,19 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.595.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>値が型で表現可能な範囲を超えてしまう(オーバーフローする)と、どのような値が代入されるかは未定義です。
+<p>値が型で表現可能な範囲を超えてしまう(オーバーフローする)と、どのような値が代入されるかは未定義です。
 したがって、予期しない動作を引き起こす可能性があります。
 <h4 class="subsection">6.595.3 サンプルコード</h4>
-<pre class="verbatim">int func(int a) /* int type is 32 bit long */
+<pre class="verbatim">int func(int a)
 {
-    if (a > 0 &amp;&amp; a &lt; 2147483647) {
-        return a + 1;
+    /* when int is 32 bit long */
+    if (a &lt; 0) {
+        return a + 1; /* OK */
+    }
+    else if (a &lt; 2147483647) {
+        return a + 1; /* OK */
     }
     return a + 1; /* W0722 */
@@ -34594,7 +34592,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.595.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W0723"></a>
@@ -34615,15 +34613,23 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.596.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>値が型で表現可能な範囲を超えてしまう(オーバーフローする)と、どのような値が代入されるかは未定義です。
+<p>値が型で表現可能な範囲を超えてしまう(オーバーフローする)と、どのような値が代入されるかは未定義です。
 したがって、予期しない動作を引き起こす可能性があります。
 <h4 class="subsection">6.596.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">int func(int a)
+{
+    /* when int is 32 bit long */
+    if (a &lt; 0) {
+        return a + 1; /* OK */
+    }
+    else if (a &lt; 2000000000) {
+        return a + 1; /* OK */
+    }
+    return a + 1; /* W0723 */
+}
 </pre>
 <h4 class="subsection">6.596.4 関連メッセージ</h4>
@@ -34634,7 +34640,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.596.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W0724"></a>
@@ -34688,19 +34694,17 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.598.1 メッセージ本文</h4>
-<p>修飾子付き void 型の戻り値が定義された関数 `%s()' の中で、`return 式 ;' が見つかりました。
+<p>修飾子付き void 型の戻り値が定義された関数 `%s()' の中で、`return 式;' が見つかりました。
 <h4 class="subsection">6.598.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>値を戻してはならない関数であるにも関わらず、明示的な <code>return</code> 文があります。このような記述は誤りです。
+<p>値を戻してはならない関数であるにも関わらず、明示的な <code>return</code> 文があります。このような記述は誤りです。
 <h4 class="subsection">6.598.3 サンプルコード</h4>
-<pre class="verbatim">void func(int a)
+<pre class="verbatim">const void func(int a)
 {
-    if(a == 0) {
+    if (a == 0) {
         return 0; /* W0726 */
     }
 }
@@ -34712,7 +34716,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.598.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W0727"></a>
@@ -34733,16 +34737,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.599.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような列挙型の使い方は文法的には合法ですが、本来の列挙型変数として使用されるべき情報を損失するという意味で問題があります。
+<p>このような列挙型の使い方は文法的には合法ですが、本来の列挙型変数として使用されるべき情報を損失するという意味で問題があります。
 <h4 class="subsection">6.599.3 サンプルコード</h4>
 <pre class="verbatim">enum Fruits {
-    apple = 1,
-    banana,
-    orange
+    APPLE = 1,
+    BANANA,
+    ORANGE
 };
 enum Fruits fruit = 5; /* W0727 */
@@ -34759,7 +34761,7 @@ enum Fruits fruit = 5; /* W0727 */
 <h4 class="subsection">6.599.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W0728"></a>
@@ -34780,14 +34782,19 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.600.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような列挙型の使い方は文法的には合法ですが、本来の列挙型変数として使用されるべき情報を損失するという意味で問題があります。
+<p>このような列挙型の使い方は文法的には合法ですが、本来の列挙型変数として使用されるべき情報を損失するという意味で問題があります。
 <h4 class="subsection">6.600.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">enum Color { RED, BLUE, GREEN };
+enum Fruits { APPLE, BANANA, ORANGE };
+extern void func1(enum Color);
+void func2(void)
+{
+    func1(ORANGE); /* W0728 */
+}
 </pre>
 <h4 class="subsection">6.600.4 関連メッセージ</h4>
@@ -34801,7 +34808,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.600.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W0729"></a>
@@ -34822,14 +34829,19 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.601.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような列挙型の使い方は文法的には合法ですが、本来の列挙型変数として使用されるべき情報を損失するという意味で問題があります。
+<p>このような列挙型の使い方は文法的には合法ですが、本来の列挙型変数として使用されるべき情報を損失するという意味で問題があります。
 <h4 class="subsection">6.601.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">enum Color { RED, BLUE, GREEN };
+enum Fruits { APPLE, BANANA, ORANGE };
+void func(void)
+{
+    enum Color c;
+    c = ORANGE; /* W0729 */
+}
 </pre>
 <h4 class="subsection">6.601.4 関連メッセージ</h4>
@@ -34843,7 +34855,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.601.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W0730"></a>
@@ -34864,14 +34876,17 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.602.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような列挙型の使い方は文法的には合法ですが、本来の列挙型変数として使用されるべき情報を損失するという意味で問題があります。
+<p>このような列挙型の使い方は文法的には合法ですが、本来の列挙型変数として使用されるべき情報を損失するという意味で問題があります。
 <h4 class="subsection">6.602.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">enum Color { RED, BLUE, GREEN };
+enum Fruits { APPLE, BANANA, ORANGE };
+enum Color func(void)
+{
+    return ORANGE; /* W0730 */
+}
 </pre>
 <h4 class="subsection">6.602.4 関連メッセージ</h4>
@@ -34885,7 +34900,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.602.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W0731"></a>
@@ -34906,14 +34921,24 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.603.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような列挙型の使い方は文法的には合法ですが、本来の列挙型変数として使用されるべき情報を損失するという意味で問題があります。
+<p>このような列挙型の使い方は文法的には合法ですが、本来の列挙型変数として使用されるべき情報を損失するという意味で問題があります。
 <h4 class="subsection">6.603.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">enum Color { RED, BLUE, GREEN };
+enum Fruits { APPLE, BANANA, ORANGE, GRAPE };
+int func(enum Color c)
+{
+    switch (c) {
+    case RED:
+        return 1;
+    case GRAPE: /* W0731 */
+        return 2;
+    }
+    return 0;
+}
 </pre>
 <h4 class="subsection">6.603.4 関連メッセージ</h4>
@@ -34927,7 +34952,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.603.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W0732"></a>
@@ -35156,14 +35181,11 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.609.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>定義していない列挙体のタグを使用することは言語制約違反になります。したがって、移植性を低下させます。
+<p>定義していない列挙体のタグを使用することは言語制約違反になります。したがって、移植性を低下させます。
 <h4 class="subsection">6.609.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">extern enum Foo foo; /* W0737 */
 </pre>
 <h4 class="subsection">6.609.4 関連メッセージ</h4>
@@ -35172,7 +35194,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.609.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W0738"></a>
@@ -35193,14 +35215,18 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.610.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>値が型で表現可能な範囲を超えてしまう(オーバーフローする)ことで、代入先には元々の定数の値がそのまま入らなくなります。
+<p>値が型で表現可能な範囲を超えてしまう(オーバーフローする)ことで、代入先には元々の定数の値がそのまま入らなくなります。
 つまり、プログラマの意図しない値が代入されることになり、不具合につながります。
 <h4 class="subsection">6.610.3 サンプルコード</h4>
-<pre class="verbatim">unsigned char uc = 500; /* W0738 */
+<pre class="verbatim">/* when char is 8 bit long */
+const unsigned char uc1 = 255; /* OK */
+const unsigned char uc2 = 256; /* W0738 */
+/* when int is 32 bit long */
+const unsigned int ui1 = 4294967295; /* OK */
+const unsigned int ui2 = 4294967296; /* W0738 */
 </pre>
 <h4 class="subsection">6.610.4 関連メッセージ</h4>
@@ -35209,7 +35235,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.610.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W0739"></a>
@@ -35230,14 +35256,13 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.611.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>値が型で表現可能な範囲を超えてしまうことで、代入先には元々の定数の値がそのまま入らなくなります。
+<p>値が型で表現可能な範囲を超えてしまうことで、代入先には元々の定数の値がそのまま入らなくなります。
 つまり、プログラマの意図しない値が代入されることになり、不具合につながります。
 <h4 class="subsection">6.611.3 サンプルコード</h4>
-<pre class="verbatim">unsigned int ui = 5U - 10U; /* W0739 */
+<pre class="verbatim">const unsigned int ui1 = 3U - 3U; /* OK */
+const unsigned int ui2 = 3U - 5U; /* W0739 */
 </pre>
 <h4 class="subsection">6.611.4 関連メッセージ</h4>
@@ -35249,7 +35274,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.611.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W0740"></a>
@@ -35270,16 +35295,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.612.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>値が型で表現可能な範囲を超えてしまうことで、代入先には元々の定数の値がそのまま入らなくなります。
+<p>値が型で表現可能な範囲を超えてしまうことで、代入先には元々の定数の値がそのまま入らなくなります。
 つまり、プログラマの意図しない値が代入されることになり、不具合につながります。
 <h4 class="subsection">6.612.3 サンプルコード</h4>
-<pre class="verbatim">#define MACRO (255)
-unsigned char uc = MACRO + 10; /* W0740 */
+<pre class="verbatim">/* when int is 32 bit long */
+const unsigned int ui1 = 4294967294U + 1U; /* OK */
+const unsigned int ui2 = 4294967295U + 1U; /* W0740 */
 </pre>
 <h4 class="subsection">6.612.4 関連メッセージ</h4>
@@ -35291,7 +35314,7 @@ unsigned char uc = MACRO + 10; /* W0740 */
 <h4 class="subsection">6.612.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W0741"></a>
@@ -35312,15 +35335,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.613.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>値が型で表現可能な範囲を超えてしまうことで、代入先には元々の定数の値がそのまま入らなくなります。
+<p>値が型で表現可能な範囲を超えてしまうことで、代入先には元々の定数の値がそのまま入らなくなります。
 つまり、プログラマの意図しない値が代入されることになり、不具合につながります。
 <h4 class="subsection">6.613.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">/* when int is 32 bit long */
+const unsigned int ui1 = 2000000000U * 2U; /* OK */
+const unsigned int ui2 = 3000000000U * 2U; /* W0741 */
 </pre>
 <h4 class="subsection">6.613.4 関連メッセージ</h4>
@@ -35332,7 +35354,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.613.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W0742"></a>
@@ -35391,19 +35413,19 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.615.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>値が型で表現可能な範囲を超えてしまうことで、代入先には元々の定数の値がそのまま入らなくなります。
+<p>値が型で表現可能な範囲を超えてしまうことで、代入先には元々の定数の値がそのまま入らなくなります。
 つまり、プログラマの意図しない値が代入されることになり、不具合につながります。
 また、このような処理は、動作が処理系定義になります。したがって、移植性を低下させます。
 <h4 class="subsection">6.615.3 サンプルコード</h4>
-<pre class="verbatim">#define MACRO (255)
-signed char sc;
+<pre class="verbatim">/* when char is 8 bit long */
+const signed char sc1 = 127; /* OK */
+const signed char sc2 = 128; /* W0743 */
-sc = MACRO + 150; /* W0743 */
+/* when int is 32 bit long */
+const int si1 = 2147483647; /* OK */
+const int si2 = 2147483648; /* W0743 */
 </pre>
 <h4 class="subsection">6.615.4 関連メッセージ</h4>
@@ -35412,7 +35434,7 @@ sc = MACRO + 150; /* W0743 */
 <h4 class="subsection">6.615.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W0744"></a>
@@ -38038,14 +38060,19 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.669.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>名前付きのメンバを一つも持たない構造体または共用体を使用したときの動作は未定義です。
+<p>名前付きのメンバを一つも持たない構造体または共用体を使用したときの動作は未定義です。
 従って、予期しない動作を引き起こす可能性があります。
 <h4 class="subsection">6.669.3 サンプルコード</h4>
-<pre class="verbatim">struct ST { /* W0801 */
+<pre class="verbatim">struct foo { /* W0801 */
+};
+struct bar { /* W0801 */
+    int;
+    int :1;
+    long;
+    double;
 };
 </pre>
@@ -38055,7 +38082,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.669.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W0802"></a>
@@ -38228,15 +38255,12 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.674.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>ISO C90 で規定されている予約語を定義、再定義、定義解消することは未定義の動作になります。
+<p>ISO C90 で規定されている予約語を定義、再定義、定義解消することは未定義の動作になります。
 したがって、予期しない動作を引き起こす可能性あります。
 <h4 class="subsection">6.674.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">#define defined !defined /* W0806 */
 </pre>
 <h4 class="subsection">6.674.4 関連メッセージ</h4>
@@ -38248,7 +38272,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.674.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W0807"></a>
@@ -38709,22 +38733,26 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <p>long long 型を使っています。
+<h4 class="subsection">6.686.2 内容</h4>
+<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
    <p><code>long long</code> 型は、言語拡張に該当するため、移植性を低下させます。
-<h4 class="subsection">6.686.2 サンプルコード</h4>
+<h4 class="subsection">6.686.3 サンプルコード</h4>
 <pre class="verbatim">long long a = 0; /* W0834 */
 </pre>
-<h4 class="subsection">6.686.3 関連メッセージ</h4>
+<h4 class="subsection">6.686.4 関連メッセージ</h4>
      <ul>
 <li><a href="#W0833">W0833</a> 接尾語 LL を使っています。
 </ul>
-<h4 class="subsection">6.686.4 対応バージョン</h4>
+<h4 class="subsection">6.686.5 対応バージョン</h4>
-<p>1.0.0
+<p>2.0.0 の予定
 <div class="node">
 <a name="W0835"></a>
@@ -39198,15 +39226,25 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.699.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>関数の戻り値の型が、<code>volatile</code> 型の場合の動作は処理系定義です。
+<p>関数の戻り値の型が、<code>volatile</code> 型の場合の動作は処理系定義です。
 また、<code>const</code> 型の場合は未定義です。
 <h4 class="subsection">6.699.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">extern const int func1(int); /* W1033 */
+const int func2(int i) /* W1033 */
+{
+    return i + 1;
+}
+const int *func3(int i) /* OK */
+{
+    static int j;
+    j = i;
+    return &amp;j;
+}
 </pre>
 <h4 class="subsection">6.699.4 関連メッセージ</h4>
@@ -39215,7 +39253,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.699.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W1034"></a>
@@ -40526,14 +40564,23 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.729.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>非列挙型から列挙型への変換が生じています。
+<p>非列挙型から列挙型への変換が生じています。
 <h4 class="subsection">6.729.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">enum Color { RED, BLUE, GREEN };
+int func(enum Color c)
+{
+    switch (c) {
+    case RED: /* OK */
+        return 1;
+    case 1: /* W1064 */
+        return 2;
+    }
+    return 0;
+}
 </pre>
 <h4 class="subsection">6.729.4 関連メッセージ</h4>
@@ -40555,7 +40602,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.729.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W1065"></a>
@@ -40576,14 +40623,24 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.730.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>列挙型から異なる列挙型への変換が生じています。
+<p>列挙型から異なる列挙型への変換が生じています。
 <h4 class="subsection">6.730.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">enum Color { RED, BLUE, GREEN };
+enum Fruits { APPLE, BANANA, ORANGE, GRAPE };
+int func(enum Color c)
+{
+    switch (c) {
+    case RED: /* OK */
+        return 1;
+    case ORANGE: /* W1065 */
+        return 2;
+    }
+    return 0;
+}
 </pre>
 <h4 class="subsection">6.730.4 関連メッセージ</h4>
@@ -40605,7 +40662,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.730.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.4.0
 <div class="node">
 <a name="W9001"></a>