adlint 1.4.0 → 1.6.0

data/share/doc/users_guide_ja.texi

@@ -2,7 +2,7 @@
 @setfilename users_guide_ja.info
 @documentlanguage ja
 @documentencoding utf-8
-@settitle AdLint 1.4.0 利用者ガイド
+@settitle AdLint 1.6.0 利用者ガイド
 
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
@@ -3325,18 +3325,23 @@ char arg;
 @subsection サンプルコード
 
 @verbatim
-int value;
-int number;
-switch(number) {
-case 1:
-    value = 1;
-    break;
-case 2:
-    value = 2;
-    break;
-case 3;
-    value = 3;
-    break; /* W0003 */
+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;
 }
 @end verbatim
 
@@ -4631,7 +4636,7 @@ extern int func(void) __attribute__ ((__const__)); /* W0061 */
 @subsection 関連メッセージ
 
 @itemize
-@item @ref{W0062} __typeof__' は ISO C 標準規格ではサポートされていません。言語拡張と見なします。
+@item @ref{W0062} `__typeof__' は ISO C 標準規格ではサポートされていません。言語拡張と見なします。
 @item @ref{W0063} `__alignof__' は ISO C 標準規格ではサポートされていません。言語拡張と見なします。
 @end itemize
 
@@ -23915,15 +23920,29 @@ void func() /* W0540 */
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 アセンブラコードは環境によって変わるため、複数の関数に点在させると、別の環境に移植するときの変更コストが大きくなります。
 
 @subsection サンプルコード
 
-@c{未実装}
 @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");
+}
 @end verbatim
 
 @subsection 関連メッセージ
@@ -23932,7 +23951,7 @@ void func() /* W0540 */
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W0542
 @section W0542
@@ -24787,8 +24806,6 @@ void func(short a)
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 このような変換指定子の動作は処理系定義のため移植性が低下します。
 
 @subsection サンプルコード
@@ -24804,7 +24821,7 @@ scanf("%[a-z]", &c); /* W0573 */
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W0574
 @section W0574
@@ -24969,8 +24986,6 @@ void func(int a)
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 サンプルコードの関数では
 @code{int} 型変数 @code{a} の 2 乗した値が @code{int} 型の範囲に収まらないことを想定して
  @code{long} 型変数 @code{b} へ代入しています。
@@ -24992,7 +25007,7 @@ void func(int a)
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W0580
 @section W0580
@@ -28707,15 +28722,13 @@ void func(void)
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 未定義の動作になります。従って、予期しない動作を引き起こす可能性があります。
 
 @subsection サンプルコード
 
-@c{未実装}
 @verbatim
-/* 追記予定 */
+char c;
+scanf("%[z-a]", &c); /* W0685 */
 @end verbatim
 
 @subsection 関連メッセージ
@@ -28756,7 +28769,7 @@ void func(void)
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W0686
 @section W0686
@@ -28768,15 +28781,13 @@ void func(void)
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 未定義の動作になります。従って、予期しない動作を引き起こす可能性があります。
 
 @subsection サンプルコード
 
-@c{未実装}
 @verbatim
-/* 追記予定 */
+char c;
+scanf("%[abcda]", &c); /* W0686 */
 @end verbatim
 
 @subsection 関連メッセージ
@@ -28817,7 +28828,7 @@ void func(void)
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W0687
 @section W0687
@@ -30033,7 +30044,7 @@ enum Fruits { APPLE, BANANA, ORANGE };
 void func(void)
 {
     enum Color c;
-    
+
     c = ORANGE; /* W0729 */
 }
 @end verbatim
@@ -32056,8 +32067,6 @@ unsigned int ui = 0x0F000000U << 8; /* W0780 */
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 このような @code{switch} 文がプログラマの意図通りだとしたら、
 冗長な記述という意味で問題があります。
 また、意図通りでないとしたら @code{case} 節の書き忘れが考えられますので、
@@ -32066,9 +32075,32 @@ unsigned int ui = 0x0F000000U << 8; /* W0780 */
 
 @subsection サンプルコード
 
-@c{未実装}
 @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;
+        }
+    }
+}
 @end verbatim
 
 @subsection 関連メッセージ
@@ -32077,7 +32109,7 @@ unsigned int ui = 0x0F000000U << 8; /* W0780 */
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W0783
 @section W0783
@@ -32211,8 +32243,6 @@ struct ST { /* W0786 */
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 宣言が異なるスコープにある場合の動作は処理系定義になります。
 また、宣言が同じスコープにある場合は標準制約違反になります。
 従って、移植性が低下します。
@@ -32220,9 +32250,18 @@ struct ST { /* W0786 */
 
 @subsection サンプルコード
 
-@c{未実装}
 @verbatim
-/* 追記予定 */
+void func1(void)
+{
+    extern int num;
+    extern void func3(void);
+}
+
+void func2(void)
+{
+    extern double num; /* W0787 */
+    extern void func3(int); /* W0787 */
+}
 @end verbatim
 
 @subsection 関連メッセージ
@@ -32234,7 +32273,7 @@ struct ST { /* W0786 */
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W0788
 @section W0788
@@ -32246,8 +32285,6 @@ struct ST { /* W0786 */
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 宣言が異なるスコープにある場合の動作は処理系定義になります。
 また、宣言が同じスコープにある場合は標準制約違反になります。
 従って、移植性が低下します。
@@ -32255,9 +32292,14 @@ struct ST { /* W0786 */
 
 @subsection サンプルコード
 
-@c{未実装}
 @verbatim
-/* 追記予定 */
+extern int func(void);
+
+void func(void) /* W0788 */
+{
+    typedef int num;
+    double num; /* W0788 */
+}
 @end verbatim
 
 @subsection 関連メッセージ
@@ -32269,7 +32311,7 @@ struct ST { /* W0786 */
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W0789
 @section W0789
@@ -32281,8 +32323,6 @@ struct ST { /* W0786 */
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 宣言が異なるスコープにある場合の動作は処理系定義になります。
 また、宣言が同じスコープにある場合は標準制約違反になります。
 従って、移植性が低下します。
@@ -32290,9 +32330,15 @@ struct ST { /* W0786 */
 
 @subsection サンプルコード
 
-@c{未実装}
 @verbatim
-/* 追記予定 */
+int num = 0;
+extern int func1(void);
+
+void func2(void)
+{
+    extern double num; /* W0789 */
+    extern void func1(void); /* W0789 */
+}
 @end verbatim
 
 @subsection 関連メッセージ
@@ -32304,7 +32350,7 @@ struct ST { /* W0786 */
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W0790
 @section W0790
@@ -32899,16 +32945,13 @@ ISO C90 で規定されている予約語を定義、再定義、定義解消す
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 ISO C90 で規定されている予約語を定義、再定義、定義解消することは未定義の動作になります。
 したがって、予期しない動作を引き起こす可能性あります。
 
 @subsection サンプルコード
 
-@c{未実装}
 @verbatim
-/* 追記予定 */
+#undef __STDC_VERSION__ /* W0807 */
 @end verbatim
 
 @subsection 関連メッセージ
@@ -32920,7 +32963,7 @@ ISO C90 で規定されている予約語を定義、再定義、定義解消す
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W0808
 @section W0808
@@ -32932,16 +32975,13 @@ ISO C90 で規定されている予約語を定義、再定義、定義解消す
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 ISO C90 で規定されている予約語を定義、再定義、定義解消することは未定義の動作になります。
 したがって、予期しない動作を引き起こす可能性あります。
 
 @subsection サンプルコード
 
-@c{未実装}
 @verbatim
-/* 追記予定 */
+#define __FILE__ "test.c" /* W0808 */
 @end verbatim
 
 @subsection 関連メッセージ
@@ -32953,7 +32993,7 @@ ISO C90 で規定されている予約語を定義、再定義、定義解消す
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W0809
 @section W0809
@@ -32965,16 +33005,15 @@ ISO C90 で規定されている予約語を定義、再定義、定義解消す
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 ISO C90 で規定されている予約語を再使用することは未定義の動作になります。
 したがって、予期しない動作を引き起こす可能性あります。
 
 @subsection サンプルコード
 
-@c{未実装}
 @verbatim
-/* 追記予定 */
+extern int __value; /* W0809 */
+int _VAL = 10; /* W0809 */
+static void _func(void); /* W0809 */
 @end verbatim
 
 @subsection 関連メッセージ
@@ -32983,7 +33022,7 @@ ISO C90 で規定されている予約語を再使用することは未定義の
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W0810
 @section W0810
@@ -33552,15 +33591,27 @@ struct ST a[5]; /* W1029 */
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 同じ名前のラベルが、関数内で 2 回以上使われています。このような使い方は誤りです。
 
 @subsection サンプルコード
 
-@c{未実装}
 @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...
+}
 @end verbatim
 
 @subsection 関連メッセージ
@@ -33569,7 +33620,7 @@ struct ST a[5]; /* W1029 */
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W1031
 @section W1031
@@ -34281,15 +34332,19 @@ unsigned int func(unsigned int a, unsigned int b)
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 非列挙型から列挙型への変換が生じています。
 
 @subsection サンプルコード
 
-@c{未実装}
 @verbatim
-/* 追記予定 */
+enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+
+extern void func1(enum Color);
+
+void func2(void)
+{
+    func1(4); /* W1053 */
+}
 @end verbatim
 
 @subsection 関連メッセージ
@@ -34311,7 +34366,7 @@ unsigned int func(unsigned int a, unsigned int b)
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W1054
 @section W1054
@@ -34323,15 +34378,19 @@ unsigned int func(unsigned int a, unsigned int b)
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 非列挙型から列挙型への変換が生じています。
 
 @subsection サンプルコード
 
-@c{未実装}
 @verbatim
-/* 追記予定 */
+enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+
+extern enum Color col;
+
+void func2(void)
+{
+    col = 4; /* W1054 */
+}
 @end verbatim
 
 @subsection 関連メッセージ
@@ -34353,7 +34412,7 @@ unsigned int func(unsigned int a, unsigned int b)
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W1055
 @section W1055
@@ -34365,15 +34424,17 @@ unsigned int func(unsigned int a, unsigned int b)
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 列挙型から非列挙型への変換が生じています。
 
 @subsection サンプルコード
 
-@c{未実装}
 @verbatim
-/* 追記予定 */
+enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+
+enum Color func(void)
+{
+    return 4; /* W1055 */
+}
 @end verbatim
 
 @subsection 関連メッセージ
@@ -34395,7 +34456,7 @@ unsigned int func(unsigned int a, unsigned int b)
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W1056
 @section W1056
@@ -34407,14 +34468,20 @@ unsigned int func(unsigned int a, unsigned int b)
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 列挙型から異なる列挙型への変換が生じています。
 
 @subsection サンプルコード
 
 @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 */
+}
 @end verbatim
 
 @subsection 関連メッセージ
@@ -34436,7 +34503,7 @@ unsigned int func(unsigned int a, unsigned int b)
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W1057
 @section W1057
@@ -34448,15 +34515,20 @@ unsigned int func(unsigned int a, unsigned int b)
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 列挙型から異なる列挙型への変換が生じています。
 
 @subsection サンプルコード
 
-@c{未実装}
 @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 */
+}
 @end verbatim
 
 @subsection 関連メッセージ
@@ -34478,7 +34550,7 @@ unsigned int func(unsigned int a, unsigned int b)
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W1058
 @section W1058
@@ -34490,15 +34562,18 @@ unsigned int func(unsigned int a, unsigned int b)
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 列挙型から異なる列挙型への変換が生じています。
 
 @subsection サンプルコード
 
-@c{未実装}
 @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 */
+}
 @end verbatim
 
 @subsection 関連メッセージ
@@ -34520,7 +34595,7 @@ unsigned int func(unsigned int a, unsigned int b)
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W1059
 @section W1059
@@ -34532,15 +34607,19 @@ unsigned int func(unsigned int a, unsigned int b)
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 列挙型から非列挙型への変換が生じています。
 
 @subsection サンプルコード
 
-@c{未実装}
 @verbatim
-/* 追記予定 */
+enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+
+extern void func1(int num);
+
+void func2(enum Color col)
+{
+    func1(col); /* W1059 */
+}
 @end verbatim
 
 @subsection 関連メッセージ
@@ -34562,7 +34641,7 @@ unsigned int func(unsigned int a, unsigned int b)
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W1060
 @section W1060
@@ -34574,15 +34653,17 @@ unsigned int func(unsigned int a, unsigned int b)
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 非列挙型から列挙型への変換が生じています。
 
 @subsection サンプルコード
 
-@c{未実装}
 @verbatim
-/* 追記予定 */
+enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+
+int func2(enum Color col)
+{
+    return col; /* W1060 */
+}
 @end verbatim
 
 @subsection 関連メッセージ
@@ -34604,7 +34685,7 @@ unsigned int func(unsigned int a, unsigned int b)
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W1061
 @section W1061
@@ -34616,15 +34697,19 @@ unsigned int func(unsigned int a, unsigned int b)
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 非列挙型から列挙型への変換が生じています。
 
 @subsection サンプルコード
 
-@c{未実装}
 @verbatim
-/* 追記予定 */
+enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+
+extern void func1(enum Color);
+
+void func2(int num)
+{
+    func1(num); /* W1061 */
+}
 @end verbatim
 
 @subsection 関連メッセージ
@@ -34646,7 +34731,7 @@ unsigned int func(unsigned int a, unsigned int b)
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W1062
 @section W1062
@@ -34658,15 +34743,19 @@ unsigned int func(unsigned int a, unsigned int b)
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 非列挙型から列挙型への変換が生じています。
 
 @subsection サンプルコード
 
-@c{未実装}
 @verbatim
-/* 追記予定 */
+enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+
+extern enum Color col;
+
+void func(int num)
+{
+    col = num + 1; /* W1062 */
+}
 @end verbatim
 
 @subsection 関連メッセージ
@@ -34688,7 +34777,7 @@ unsigned int func(unsigned int a, unsigned int b)
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W1063
 @section W1063
@@ -34700,15 +34789,17 @@ unsigned int func(unsigned int a, unsigned int b)
 
 @subsection 内容
 
-@b{このメッセージは AdLint 2.0.0 で出力する予定です。}
-
 非列挙型から列挙型への変換が生じています。
 
 @subsection サンプルコード
 
-@c{未実装}
 @verbatim
-/* 追記予定 */
+enum Color { RED = 1, GREEN = 2, BLUE = 4 };
+
+enum Color func(int num)
+{
+    return num / 2; /* W1063 */
+}
 @end verbatim
 
 @subsection 関連メッセージ
@@ -34730,7 +34821,7 @@ unsigned int func(unsigned int a, unsigned int b)
 
 @subsection 対応バージョン
 
-2.0.0 の予定
+1.6.0
 
 @node W1064
 @section W1064