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

adlint 1.4.0 → 1.6.0

Files changed (46) hide show

data/ChangeLog +413 -5
data/MANIFEST +6 -0
data/NEWS +43 -4
data/etc/mesg.d/en_US/messages.yml +1 -1
data/etc/mesg.d/ja_JP/messages.yml +1 -1
data/lib/adlint/c.rb +1 -0
data/lib/adlint/c/enum.rb +52 -0
data/lib/adlint/c/expr.rb +43 -102
data/lib/adlint/c/interp.rb +1 -1
data/lib/adlint/c/mediator.rb +1 -0
data/lib/adlint/c/message.rb +831 -49
data/lib/adlint/c/message_shima.rb +236 -0
data/lib/adlint/c/metric.rb +9 -0
data/lib/adlint/c/object.rb +37 -32
data/lib/adlint/c/parser.rb +7 -7
data/lib/adlint/c/parser.y +7 -7
data/lib/adlint/c/phase.rb +21 -0
data/lib/adlint/c/syntax.rb +11 -4
data/lib/adlint/c/type.rb +1 -1
data/lib/adlint/cpp.rb +1 -0
data/lib/adlint/cpp/asm.rb +73 -0
data/lib/adlint/cpp/message.rb +13 -0
data/lib/adlint/cpp/message_shima.rb +36 -0
data/lib/adlint/cpp/phase.rb +3 -0
data/lib/adlint/cpp/source.rb +9 -0
data/lib/adlint/version.rb +3 -3
data/share/demo/Makefile +4 -0
data/share/demo/bad_conv/bad_conv.c +12 -0
data/share/demo/bad_enum/bad_enum.c +48 -2
data/share/demo/bad_label/bad_label.c +26 -0
data/share/demo/bad_macro/bad_macro.c +3 -0
data/share/demo/implicit_conv/implicit_conv.c +1 -0
data/share/demo/inline_asm/inline_asm.c +18 -0
data/share/demo/invalid_call/invalid_call.c +5 -0
data/share/demo/multi_decl/multi_decl_1.c +30 -0
data/share/demo/overflow/overflow.c +3 -3
data/share/demo/redundant_select/redundant_select.c +25 -0
data/share/demo/reserved_ident/reserved_ident.c +98 -0
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 +234 -126
data/share/doc/users_guide_en.texi +207 -98
data/share/doc/users_guide_ja.html +247 -156
data/share/doc/users_guide_ja.texi +221 -130
data/share/sample/vim-7.3/adlint/xxd/adlint_traits.yml +1 -1
metadata +8 -2

data/share/doc/users_guide_ja.html CHANGED Viewed

@@ -1,8 +1,8 @@
 <html lang="ja">
 <head>
-<title>AdLint 1.4.0 利用者ガイド</title>
+<title>AdLint 1.6.0 利用者ガイド</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 1.4.0 利用者ガイド">
+<meta name="description" content="AdLint 1.6.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.4.0 利用者ガイド</h1>
+<h1 class="settitle">AdLint 1.6.0 利用者ガイド</h1>
 <div class="node">
 <a name="Top"></a>
 <p><hr>
@@ -3463,18 +3463,23 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.16.3 サンプルコード</h4>
-<pre class="verbatim">int value;
-int number;
-switch(number) {
-case 1:
-    value = 1;
-    break;
-case 2:
-    value = 2;
-    break;
-case 3;
-    value = 3;
-    break; /* W0003 */
+<pre class="verbatim">int foo(int i)
+{
+    int j;
+    switch(i) { /* W0003 */
+    case 1:
+        j = 1;
+        break;
+    case 2:
+        j = 2;
+        break;
+    case 3:
+        j = 3;
+        break;
+    }
+    return j;
 }
 </pre>
@@ -5073,7 +5078,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.55.4 関連メッセージ</h4>
      <ul>
-<li><a href="#W0062">W0062</a> __typeof__' は ISO C 標準規格ではサポートされていません。言語拡張と見なします。
+<li><a href="#W0062">W0062</a> `__typeof__' は ISO C 標準規格ではサポートされていません。言語拡張と見なします。
 <li><a href="#W0063">W0063</a> `__alignof__' は ISO C 標準規格ではサポートされていません。言語拡張と見なします。
 </ul>
@@ -27513,14 +27518,28 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.449.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>アセンブラコードは環境によって変わるため、複数の関数に点在させると、別の環境に移植するときの変更コストが大きくなります。
+<p>アセンブラコードは環境によって変わるため、複数の関数に点在させると、別の環境に移植するときの変更コストが大きくなります。
 <h4 class="subsection">6.449.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">void foo(int arg1, int *arg2, int arg3)
+{
+    asm("movl %ecx, %eax"); /* W0541 */
+    __asm__("movl %ecx, (%eax)"); /* W0541 */
+    asm { /* W0541 */
+        xorl eax, eax
+    }
+    __asm__ volatile ( /* W0541 */
+            "int $0x80"
+            : "=a" (r)
+              "+b" (arg1),
+              "+c" (arg2),
+              "+d" (arg3)
+            : "a" (128)
+            : "memory", "cc");
+}
 </pre>
 <h4 class="subsection">6.449.4 関連メッセージ</h4>
@@ -27529,7 +27548,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.449.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W0542"></a>
@@ -28591,9 +28610,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.475.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような変換指定子の動作は処理系定義のため移植性が低下します。
+<p>このような変換指定子の動作は処理系定義のため移植性が低下します。
 <h4 class="subsection">6.475.3 サンプルコード</h4>
@@ -28607,7 +28624,7 @@ scanf("%[a-z]", &amp;c); /* W0573 */
 <h4 class="subsection">6.475.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W0574"></a>
@@ -28821,9 +28838,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.481.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>サンプルコードの関数では
+<p>サンプルコードの関数では
 <code>int</code> 型変数 <code>a</code> の 2 乗した値が <code>int</code> 型の範囲に収まらないことを想定して
  <code>long</code> 型変数 <code>b</code> へ代入しています。
 しかし、環境によっては <code>a * a</code> の演算はいったん <code>int</code> 型として結果を出したあとに
@@ -28843,7 +28858,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.481.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W0580"></a>
@@ -33210,14 +33225,12 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.563.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>未定義の動作になります。従って、予期しない動作を引き起こす可能性があります。
+<p>未定義の動作になります。従って、予期しない動作を引き起こす可能性があります。
 <h4 class="subsection">6.563.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">char c;
+scanf("%[z-a]", &amp;c); /* W0685 */
 </pre>
 <h4 class="subsection">6.563.4 関連メッセージ</h4>
@@ -33258,7 +33271,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.563.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W0686"></a>
@@ -33279,14 +33292,12 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.564.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>未定義の動作になります。従って、予期しない動作を引き起こす可能性があります。
+<p>未定義の動作になります。従って、予期しない動作を引き起こす可能性があります。
 <h4 class="subsection">6.564.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">char c;
+scanf("%[abcda]", &amp;c); /* W0686 */
 </pre>
 <h4 class="subsection">6.564.4 関連メッセージ</h4>
@@ -33327,7 +33338,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.564.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W0687"></a>
@@ -34839,7 +34850,7 @@ enum Fruits { APPLE, BANANA, ORANGE };
 void func(void)
 {
     enum Color c;
     c = ORANGE; /* W0729 */
 }
 </pre>
@@ -37251,9 +37262,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.650.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>このような <code>switch</code> 文がプログラマの意図通りだとしたら、
+<p>このような <code>switch</code> 文がプログラマの意図通りだとしたら、
 冗長な記述という意味で問題があります。
 また、意図通りでないとしたら <code>case</code> 節の書き忘れが考えられますので、
 動作上のバグが発生する可能性があります。
@@ -37261,8 +37270,31 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.650.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">int foo(const int i)
+{
+    if (i > 5) {
+        switch (i) { /* W0781 */
+        case 0:
+            return 1;
+        case 5:
+            return 2;
+        default:
+            return 3;
+        }
+    }
+    switch (i) { /* OK */
+    case 0:
+        return 4;
+    default:
+        switch (i) { /* W0781 */
+        case 10:
+            return 5;
+        default:
+            return 6;
+        }
+    }
+}
 </pre>
 <h4 class="subsection">6.650.4 関連メッセージ</h4>
@@ -37271,7 +37303,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.650.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W0783"></a>
@@ -37446,17 +37478,24 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.655.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>宣言が異なるスコープにある場合の動作は処理系定義になります。
+<p>宣言が異なるスコープにある場合の動作は処理系定義になります。
 また、宣言が同じスコープにある場合は標準制約違反になります。
 従って、移植性が低下します。
 ただし、一方がもう一方の内側のスコープで宣言される場合は問題ありません。
 <h4 class="subsection">6.655.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">void func1(void)
+{
+    extern int num;
+    extern void func3(void);
+}
+void func2(void)
+{
+    extern double num; /* W0787 */
+    extern void func3(int); /* W0787 */
+}
 </pre>
 <h4 class="subsection">6.655.4 関連メッセージ</h4>
@@ -37468,7 +37507,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.655.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W0788"></a>
@@ -37489,17 +37528,20 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.656.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>宣言が異なるスコープにある場合の動作は処理系定義になります。
+<p>宣言が異なるスコープにある場合の動作は処理系定義になります。
 また、宣言が同じスコープにある場合は標準制約違反になります。
 従って、移植性が低下します。
 ただし、一方がもう一方の内側のスコープで宣言される場合は問題ありません。
 <h4 class="subsection">6.656.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">extern int func(void);
+void func(void) /* W0788 */
+{
+    typedef int num;
+    double num; /* W0788 */
+}
 </pre>
 <h4 class="subsection">6.656.4 関連メッセージ</h4>
@@ -37511,7 +37553,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.656.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W0789"></a>
@@ -37532,17 +37574,21 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.657.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>宣言が異なるスコープにある場合の動作は処理系定義になります。
+<p>宣言が異なるスコープにある場合の動作は処理系定義になります。
 また、宣言が同じスコープにある場合は標準制約違反になります。
 従って、移植性が低下します。
 ただし、一方がもう一方の内側のスコープで宣言される場合は問題ありません。
 <h4 class="subsection">6.657.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">int num = 0;
+extern int func1(void);
+void func2(void)
+{
+    extern double num; /* W0789 */
+    extern void func1(void); /* W0789 */
+}
 </pre>
 <h4 class="subsection">6.657.4 関連メッセージ</h4>
@@ -37554,7 +37600,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.657.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W0790"></a>
@@ -38293,15 +38339,12 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.675.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>ISO C90 で規定されている予約語を定義、再定義、定義解消することは未定義の動作になります。
+<p>ISO C90 で規定されている予約語を定義、再定義、定義解消することは未定義の動作になります。
 したがって、予期しない動作を引き起こす可能性あります。
 <h4 class="subsection">6.675.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">#undef __STDC_VERSION__ /* W0807 */
 </pre>
 <h4 class="subsection">6.675.4 関連メッセージ</h4>
@@ -38313,7 +38356,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.675.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W0808"></a>
@@ -38334,15 +38377,12 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.676.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>ISO C90 で規定されている予約語を定義、再定義、定義解消することは未定義の動作になります。
+<p>ISO C90 で規定されている予約語を定義、再定義、定義解消することは未定義の動作になります。
 したがって、予期しない動作を引き起こす可能性あります。
 <h4 class="subsection">6.676.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">#define __FILE__ "test.c" /* W0808 */
 </pre>
 <h4 class="subsection">6.676.4 関連メッセージ</h4>
@@ -38354,7 +38394,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.676.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W0809"></a>
@@ -38375,15 +38415,14 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.677.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>ISO C90 で規定されている予約語を再使用することは未定義の動作になります。
+<p>ISO C90 で規定されている予約語を再使用することは未定義の動作になります。
 したがって、予期しない動作を引き起こす可能性あります。
 <h4 class="subsection">6.677.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">extern int __value; /* W0809 */
+int _VAL = 10; /* W0809 */
+static void _func(void); /* W0809 */
 </pre>
 <h4 class="subsection">6.677.4 関連メッセージ</h4>
@@ -38392,7 +38431,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.677.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W0810"></a>
@@ -39114,14 +39153,26 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.696.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>同じ名前のラベルが、関数内で 2 回以上使われています。このような使い方は誤りです。
+<p>同じ名前のラベルが、関数内で 2 回以上使われています。このような使い方は誤りです。
 <h4 class="subsection">6.696.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">void func(int a, int b)
+{
+    if (a == 0) {
+        int c = 0;
+RETRY:
+        b = 10;
+    }
+    if (b != 0) {
+        goto RETRY;
+    }
+RETRY: /* W1030 */
+    b = 1;
+    ...snip...
+}
 </pre>
 <h4 class="subsection">6.696.4 関連メッセージ</h4>
@@ -39130,7 +39181,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.696.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W1031"></a>
@@ -40015,14 +40066,18 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.718.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>非列挙型から列挙型への変換が生じています。
+<p>非列挙型から列挙型への変換が生じています。
 <h4 class="subsection">6.718.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+extern void func1(enum Color);
+void func2(void)
+{
+    func1(4); /* W1053 */
+}
 </pre>
 <h4 class="subsection">6.718.4 関連メッセージ</h4>
@@ -40044,7 +40099,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.718.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W1054"></a>
@@ -40065,14 +40120,18 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.719.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>非列挙型から列挙型への変換が生じています。
+<p>非列挙型から列挙型への変換が生じています。
 <h4 class="subsection">6.719.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+extern enum Color col;
+void func2(void)
+{
+    col = 4; /* W1054 */
+}
 </pre>
 <h4 class="subsection">6.719.4 関連メッセージ</h4>
@@ -40094,7 +40153,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.719.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W1055"></a>
@@ -40115,14 +40174,16 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.720.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>列挙型から非列挙型への変換が生じています。
+<p>列挙型から非列挙型への変換が生じています。
 <h4 class="subsection">6.720.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+enum Color func(void)
+{
+    return 4; /* W1055 */
+}
 </pre>
 <h4 class="subsection">6.720.4 関連メッセージ</h4>
@@ -40144,7 +40205,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.720.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W1056"></a>
@@ -40165,13 +40226,19 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.721.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>列挙型から異なる列挙型への変換が生じています。
+<p>列挙型から異なる列挙型への変換が生じています。
 <h4 class="subsection">6.721.3 サンプルコード</h4>
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">enum Color { RED = 1, GREEN= 2, BLUE = 4 };
+enum Season { SPRING = 1, SUMMER, AUTUMN, WINTER };
+extern void func1(enum Color);
+void func2(enum Season ssn)
+{
+    func1(ssn); /* W1056 */
+}
 </pre>
 <h4 class="subsection">6.721.4 関連メッセージ</h4>
@@ -40193,7 +40260,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.721.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W1057"></a>
@@ -40214,14 +40281,19 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.722.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>列挙型から異なる列挙型への変換が生じています。
+<p>列挙型から異なる列挙型への変換が生じています。
 <h4 class="subsection">6.722.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+enum Season { SPRING = 1, SUMMER, AUTUMN, WINTER };
+extern enum Color col;
+void func(enum Season ssn)
+{
+    col = ssn; /* W1057 */
+}
 </pre>
 <h4 class="subsection">6.722.4 関連メッセージ</h4>
@@ -40243,7 +40315,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.722.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W1058"></a>
@@ -40264,14 +40336,17 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.723.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>列挙型から異なる列挙型への変換が生じています。
+<p>列挙型から異なる列挙型への変換が生じています。
 <h4 class="subsection">6.723.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">enum Color { RED  = 1, GREEN = 2, BLUE = 4 };
+enum Season { SPRING = 1, SUMMER, AUTUMN, WINTER };
+enum Color func(enum Season ssn)
+{
+    return ssn; /* W1058 */
+}
 </pre>
 <h4 class="subsection">6.723.4 関連メッセージ</h4>
@@ -40293,7 +40368,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.723.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W1059"></a>
@@ -40314,14 +40389,18 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.724.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>列挙型から非列挙型への変換が生じています。
+<p>列挙型から非列挙型への変換が生じています。
 <h4 class="subsection">6.724.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+extern void func1(int num);
+void func2(enum Color col)
+{
+    func1(col); /* W1059 */
+}
 </pre>
 <h4 class="subsection">6.724.4 関連メッセージ</h4>
@@ -40343,7 +40422,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.724.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W1060"></a>
@@ -40364,14 +40443,16 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.725.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>非列挙型から列挙型への変換が生じています。
+<p>非列挙型から列挙型への変換が生じています。
 <h4 class="subsection">6.725.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+int func2(enum Color col)
+{
+    return col; /* W1060 */
+}
 </pre>
 <h4 class="subsection">6.725.4 関連メッセージ</h4>
@@ -40393,7 +40474,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.725.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W1061"></a>
@@ -40414,14 +40495,18 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.726.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>非列挙型から列挙型への変換が生じています。
+<p>非列挙型から列挙型への変換が生じています。
 <h4 class="subsection">6.726.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+extern void func1(enum Color);
+void func2(int num)
+{
+    func1(num); /* W1061 */
+}
 </pre>
 <h4 class="subsection">6.726.4 関連メッセージ</h4>
@@ -40443,7 +40528,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.726.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W1062"></a>
@@ -40464,14 +40549,18 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.727.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>非列挙型から列挙型への変換が生じています。
+<p>非列挙型から列挙型への変換が生じています。
 <h4 class="subsection">6.727.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+extern enum Color col;
+void func(int num)
+{
+    col = num + 1; /* W1062 */
+}
 </pre>
 <h4 class="subsection">6.727.4 関連メッセージ</h4>
@@ -40493,7 +40582,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.727.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W1063"></a>
@@ -40514,14 +40603,16 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.728.2 内容</h4>
-<p><b>このメッセージは AdLint 2.0.0 で出力する予定です。</b>
-   <p>非列挙型から列挙型への変換が生じています。
+<p>非列挙型から列挙型への変換が生じています。
 <h4 class="subsection">6.728.3 サンプルコード</h4>
-<!-- {未実装} -->
-<pre class="verbatim">/* 追記予定 */
+<pre class="verbatim">enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+enum Color func(int num)
+{
+    return num / 2; /* W1063 */
+}
 </pre>
 <h4 class="subsection">6.728.4 関連メッセージ</h4>
@@ -40543,7 +40634,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
 <h4 class="subsection">6.728.5 対応バージョン</h4>
-<p>2.0.0 の予定
+<p>1.6.0
 <div class="node">
 <a name="W1064"></a>