adlint 3.0.10 → 3.2.0

data/share/doc/users_guide_ja.texi

@@ -2,7 +2,7 @@
 @setfilename users_guide_ja.info
 @documentlanguage ja
 @documentencoding utf-8
-@settitle AdLint 3.0.10 利用者ガイド
+@settitle AdLint 3.2.0 利用者ガイド
 
 @copying
 Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
@@ -3180,6 +3180,13 @@ context_line
 * W9002::ファイルの末尾に改行文字がありません。
 * W9003::暗黙的に `%s' 型のオブジェクトが `%s' 型のオブジェクトに変換されています。
 * C0001::この識別名 `%s' で警告を検知しました。
+* C1000::次の実行パスで警告を検知しました。
+* C1001::この制御式を真として評価しました。
+* C1002::この制御式を偽として評価しました。
+* C1003::ここで該当変数が初期値を指定せずに定義されています。
+* C1004::ここで該当変数に NULL の値を割り当てました。
+* C1005::ここで該当変数に NULL の可能性がある値を割り当てました。
+* C1006::ここで該当変数に値を割り当てました。
 @end menu
 
 @node X0001
@@ -5676,7 +5683,12 @@ int func(int a, int b)
 
 @subsection 関連メッセージ
 
-なし。
+@itemize
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1006} ここで該当変数に値を割り当てました。
+@end itemize
 
 @subsection 対応バージョン
 
@@ -5704,7 +5716,12 @@ int b = 10 / A; /* W0096 */
 
 @subsection 関連メッセージ
 
-なし。
+@itemize
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1006} ここで該当変数に値を割り当てました。
+@end itemize
 
 @subsection 対応バージョン
 
@@ -5741,7 +5758,12 @@ int func(int a, int b)
 
 @subsection 関連メッセージ
 
-なし。
+@itemize
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1006} ここで該当変数に値を割り当てました。
+@end itemize
 
 @subsection 対応バージョン
 
@@ -6159,6 +6181,10 @@ unsigned int func(unsigned int a)
 
 @itemize
 @item @ref{W0116} 符号無し左シフト演算 `<<' は、上位ビットを切り捨てる恐れがあります。
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1006} ここで該当変数に値を割り当てました。
 @end itemize
 
 @subsection 対応バージョン
@@ -6192,6 +6218,10 @@ unsigned int func(unsigned int a)
 
 @itemize
 @item @ref{W0115} 符号無し左シフト演算 `<<' は、上位ビットを切り捨てます。
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1006} ここで該当変数に値を割り当てました。
 @end itemize
 
 @subsection 対応バージョン
@@ -22385,7 +22415,13 @@ void func(int a, int *p)
 
 @subsection 関連メッセージ
 
-なし。
+@itemize
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1004} ここで該当変数に NULL の値を割り当てました。
+@item @ref{C1005} ここで該当変数に NULL の可能性がある値を割り当てました。
+@end itemize
 
 @subsection 対応バージョン
 
@@ -22420,7 +22456,13 @@ void func(int a, int *p)
 
 @subsection 関連メッセージ
 
-なし。
+@itemize
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1004} ここで該当変数に NULL の値を割り当てました。
+@item @ref{C1005} ここで該当変数に NULL の可能性がある値を割り当てました。
+@end itemize
 
 @subsection 対応バージョン
 
@@ -22454,7 +22496,13 @@ int *func(int *p)
 
 @subsection 関連メッセージ
 
-なし。
+@itemize
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1004} ここで該当変数に NULL の値を割り当てました。
+@item @ref{C1005} ここで該当変数に NULL の可能性がある値を割り当てました。
+@end itemize
 
 @subsection 対応バージョン
 
@@ -22489,7 +22537,13 @@ int *func(int *p)
 
 @subsection 関連メッセージ
 
-なし。
+@itemize
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1004} ここで該当変数に NULL の値を割り当てました。
+@item @ref{C1005} ここで該当変数に NULL の可能性がある値を割り当てました。
+@end itemize
 
 @subsection 対応バージョン
 
@@ -22957,6 +23011,10 @@ if(a > 0) { /* W0459 */
 @item @ref{W0460} 変数 `%s' の値は、この式の評価時点では設定されていないことがあります。
 @item @ref{W0461} 値が定まっていない変数を指すポインタを関数の実引数として使っています。このプログラムは危険です。
 @item @ref{W0462} 値が設定されていないことがありうる変数を指すポインタを関数の実引数として使っています。
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1003} ここで該当変数が初期値を指定せずに定義されています。
 @end itemize
 
 @subsection 対応バージョン
@@ -22998,6 +23056,10 @@ void func(int a)
 @item @ref{W0459} 変数 `%s' の値は、この式の評価時点では設定されていません。このプログラムは危険です。
 @item @ref{W0461} 値が定まっていない変数を指すポインタを関数の実引数として使っています。このプログラムは危険です。
 @item @ref{W0462} 値が設定されていないことがありうる変数を指すポインタを関数の実引数として使っています。
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1003} ここで該当変数が初期値を指定せずに定義されています。
 @end itemize
 
 @subsection 対応バージョン
@@ -23037,6 +23099,10 @@ void func2(int a)
 @item @ref{W0459} 変数 `%s' の値は、この式の評価時点では設定されていません。このプログラムは危険です。
 @item @ref{W0460} 変数 `%s' の値は、この式の評価時点では設定されていないことがあります。
 @item @ref{W0462} 値が設定されていないことがありうる変数を指すポインタを関数の実引数として使っています。
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1003} ここで該当変数が初期値を指定せずに定義されています。
 @end itemize
 
 @subsection 対応バージョン
@@ -23079,6 +23145,10 @@ int func2(int a)
 @item @ref{W0459} 変数 `%s' の値は、この式の評価時点では設定されていません。このプログラムは危険です。
 @item @ref{W0460} 変数 `%s' の値は、この式の評価時点では設定されていないことがあります。
 @item @ref{W0461} 値が定まっていない変数を指すポインタを関数の実引数として使っています。このプログラムは危険です。
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1003} ここで該当変数が初期値を指定せずに定義されています。
 @end itemize
 
 @subsection 対応バージョン
@@ -24943,6 +25013,10 @@ int b = -5 << 1; /* W0568 */
 @itemize
 @item @ref{W0569} 符号付きの式の値を左シフト演算した結果は、未定義になります。
 @item @ref{W0570} 符号付きの式の値を左シフト演算した結果は、未定義になることがあります。
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1006} ここで該当変数に値を割り当てました。
 @end itemize
 
 @subsection 対応バージョン
@@ -24983,6 +25057,10 @@ int func(int a)
 @itemize
 @item @ref{W0568} 符号付き定数式の値を左シフト演算した結果は、未定義になります。
 @item @ref{W0570} 符号付きの式の値を左シフト演算した結果は、未定義になることがあります。
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1006} ここで該当変数に値を割り当てました。
 @end itemize
 
 @subsection 対応バージョン
@@ -25023,6 +25101,10 @@ int func(int a)
 @itemize
 @item @ref{W0568} 符号付き定数式の値を左シフト演算した結果は、未定義になります。
 @item @ref{W0569} 符号付きの式の値を左シフト演算した結果は、未定義になります。
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1006} ここで該当変数に値を割り当てました。
 @end itemize
 
 @subsection 対応バージョン
@@ -25978,6 +26060,10 @@ void func(int a)
 
 @itemize
 @item @ref{W0608} 値が負になることがありうる整数式が符号無し型に変換されています。
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1006} ここで該当変数に値を割り当てました。
 @end itemize
 
 @subsection 対応バージョン
@@ -26014,6 +26100,10 @@ void fuu(int a)
 
 @itemize
 @item @ref{W0607} 値が負になる整数式が符号無し型に変換されています。
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1006} ここで該当変数に値を割り当てました。
 @end itemize
 
 @subsection 対応バージョン
@@ -29682,7 +29772,12 @@ void func(unsigned int a)
 
 @subsection 関連メッセージ
 
-なし。
+@itemize
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1006} ここで該当変数に値を割り当てました。
+@end itemize
 
 @subsection 対応バージョン
 
@@ -29714,7 +29809,12 @@ int foo(void)
 
 @subsection 関連メッセージ
 
-なし。
+@itemize
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1006} ここで該当変数に値を割り当てました。
+@end itemize
 
 @subsection 対応バージョン
 
@@ -30075,7 +30175,12 @@ signed char sc4 = (signed char) -129.5; /* W0720 */
 
 @subsection 関連メッセージ
 
-なし。
+@itemize
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1006} ここで該当変数に値を割り当てました。
+@end itemize
 
 @subsection 対応バージョン
 
@@ -30912,7 +31017,12 @@ void func(unsigned int a)
 
 @subsection 関連メッセージ
 
-なし。
+@itemize
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1006} ここで該当変数に値を割り当てました。
+@end itemize
 
 @subsection 対応バージョン
 
@@ -34510,6 +34620,10 @@ void func(unsigned int ui)
 @item @ref{W1050} この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できません。
 @item @ref{W1051} 符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込みます。
 @item @ref{W1052} 符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込むことがあります。
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1006} ここで該当変数に値を割り当てました。
 @end itemize
 
 @subsection 対応バージョン
@@ -34557,6 +34671,10 @@ void func(unsigned int ui)
 @item @ref{W1049} この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できないことがあります。
 @item @ref{W1051} 符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込みます。
 @item @ref{W1052} 符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込むことがあります。
+@item @ref{C1000} 次の実行パスで警告を検知しました。
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1006} ここで該当変数に値を割り当てました。
 @end itemize
 
 @subsection 対応バージョン
@@ -35786,11 +35904,434 @@ int very_long_long_long_long_long_long_long_identifier_1 = 0; /* C0001 */
 @item @ref{W0052} 識別子名 `%s' が他の識別子名と、コンパイラ特性で指定された文字数の範囲内で区別できません。
 @end itemize
 
-
 @subsection 対応バージョン
 
 1.0.0
 
+@node C1000
+@section C1000
+@cindex C1000
+
+@subsection メッセージ本文
+
+次の実行パスで警告を検知しました。
+
+@subsection 内容
+
+@ref{W0093,W0093}、@ref{W0096,W0096}、@ref{W0097,W0097}、@ref{W0115,W0115}、
+@ref{W0116,W0116}、@ref{W0421,W0421}、@ref{W0422,W0422}、@ref{W0423,W0423}、
+@ref{W0424,W0424}、@ref{W0459,W0459}、@ref{W0460,W0460}、@ref{W0461,W0461}、
+@ref{W0462,W0462}、@ref{W0568,W0568}、@ref{W0569,W0569}、@ref{W0570,W0570}、
+@ref{W0607,W0607}、@ref{W0608,W0608}、@ref{W0705,W0705}、@ref{W0707,W0707}、
+@ref{W0720,W0720}、@ref{W0745,W0745}、@ref{W1049,W1049}、@ref{W1050,W1050}
+メッセージの直後に出力され、このメッセージの後に問題を検出した状況を補足するメ
+ッセージが続くことを示します。
+
+@subsection サンプルコード
+
+@verbatim
+ 1: int foo(int i)
+ 2: {
+ 3:     int j; /* C1003 */
+ 4: 
+ 5:     if (i < 0) { /* C1001 */
+ 6:         if (i < -10) { /* C1002 */
+ 7:             j = 2;
+ 8:         }
+ 9:         else if (i < -5) { /* C1002 */
+10:             j = 3;
+11:         }
+12:     }
+13:     else {
+14:         j = 1;
+15:     }
+16: 
+17:     return j; /* W0460 */
+18: }
+
+a.c:17:12:warning:c_builtin:W0460:UNC:X99:変数 `j' の値は、この式の評価時点では設定されていないことがあります。
+:::context:c_builtin:C1000:INF:X99:次の実行パスで警告を検知しました。
+a.c:3:9:context:c_builtin:C1003:INF:X99:ここで該当変数が初期値を指定せずに定義されています。
+a.c:5:11:context:c_builtin:C1001:INF:X99:この制御式を真として評価しました。
+a.c:6:15:context:c_builtin:C1002:INF:X99:この制御式を偽として評価しました。
+a.c:9:20:context:c_builtin:C1002:INF:X99:この制御式を偽として評価しました。
+@end verbatim
+
+@subsection 関連メッセージ
+
+@itemize
+@item @ref{C1001} この制御式を真として評価しました。
+@item @ref{C1002} この制御式を偽として評価しました。
+@item @ref{C1003} ここで該当変数が初期値を指定せずに定義されています。
+@item @ref{C1004} ここで該当変数に NULL の値を割り当てました。
+@item @ref{C1005} ここで該当変数に NULL の可能性がある値を割り当てました。
+@item @ref{C1006} ここで該当変数に値を割り当てました。
+@end itemize
+
+@subsection 対応バージョン
+
+3.2.0
+
+@node C1001
+@section C1001
+@cindex C1001
+
+@subsection メッセージ本文
+
+この制御式を真として評価しました。
+
+@subsection 内容
+
+@ref{W0093,W0093}、@ref{W0096,W0096}、@ref{W0097,W0097}、@ref{W0115,W0115}、
+@ref{W0116,W0116}、@ref{W0421,W0421}、@ref{W0422,W0422}、@ref{W0423,W0423}、
+@ref{W0424,W0424}、@ref{W0459,W0459}、@ref{W0460,W0460}、@ref{W0461,W0461}、
+@ref{W0462,W0462}、@ref{W0568,W0568}、@ref{W0569,W0569}、@ref{W0570,W0570}、
+@ref{W0607,W0607}、@ref{W0608,W0608}、@ref{W0705,W0705}、@ref{W0707,W0707}、
+@ref{W0720,W0720}、@ref{W0745,W0745}、@ref{W1049,W1049}、@ref{W1050,W1050}
+メッセージを検出した状況として、該当制御式を真と評価したことを示します。
+
+@subsection サンプルコード
+
+@verbatim
+int foo(int i)
+{
+    int j; /* C1003 */
+
+    if (i < 0) { /* C1001 */
+        if (i < -10) { /* C1002 */
+            j = 2;
+        }
+        else if (i < -5) { /* C1002 */
+            j = 3;
+        }
+    }
+    else {
+        j = 1;
+    }
+
+    return j; /* W0460 */
+}
+@end verbatim
+
+@subsection 関連メッセージ
+
+@itemize
+@item @ref{W0093} ゼロで除算される恐れがあります。
+@item @ref{W0096} ゼロになる定数式で除算しています。
+@item @ref{W0097} ゼロの値で除算しています。
+@item @ref{W0115} 符号無し左シフト演算 `<<' は、上位ビットを切り捨てます。
+@item @ref{W0116} 符号無し左シフト演算 `<<' は、上位ビットを切り捨てる恐れがあります。
+@item @ref{W0421} 値が NULL になるポインタに対して間接参照が行われています。
+@item @ref{W0422} 値が NULL になることがあるポインタに対して間接参照が行われています。
+@item @ref{W0423} 値が NULL になるポインタに対して算術演算を行っています。
+@item @ref{W0424} 値が NULL になることがあるポインタに対して算術演算を行っています。
+@item @ref{W0459} 変数 `%s' の値は、この式の評価時点では設定されていません。このプログラムは危険です。
+@item @ref{W0460} 変数 `%s' の値は、この式の評価時点では設定されていないことがあります。
+@item @ref{W0461} 値が定まっていない変数を指すポインタを関数の実引数として使っています。このプログラムは危険です。
+@item @ref{W0462} 値が設定されていないことがありうる変数を指すポインタを関数の実引数として使っています。
+@item @ref{W0568} 符号付き定数式の値を左シフト演算した結果は、未定義になります。
+@item @ref{W0569} 符号付きの式の値を左シフト演算した結果は、未定義になります。
+@item @ref{W0570} 符号付きの式の値を左シフト演算した結果は、未定義になることがあります。
+@item @ref{W0607} 値が負になる整数式が符号無し型に変換されています。
+@item @ref{W0608} 値が負になることがありうる整数式が符号無し型に変換されています。
+@item @ref{W0705} 配列の添字が領域外を指すことがあります。
+@item @ref{W0707} 配列の添字が領域外を指す定数です。
+@item @ref{W0720} 浮動小数点型の値が変換先の型の範囲に入りきりません。
+@item @ref{W0745} 配列の添字が、領域外を指しています。
+@item @ref{W1049} この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できないことがあります。
+@item @ref{W1050} この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できません。
+@end itemize
+
+@subsection 対応バージョン
+
+3.2.0
+
+@node C1002
+@section C1002
+@cindex C1002
+
+@subsection メッセージ本文
+
+この制御式を偽として評価しました。
+
+@subsection 内容
+
+@ref{W0093,W0093}、@ref{W0096,W0096}、@ref{W0097,W0097}、@ref{W0115,W0115}、
+@ref{W0116,W0116}、@ref{W0421,W0421}、@ref{W0422,W0422}、@ref{W0423,W0423}、
+@ref{W0424,W0424}、@ref{W0459,W0459}、@ref{W0460,W0460}、@ref{W0461,W0461}、
+@ref{W0462,W0462}、@ref{W0568,W0568}、@ref{W0569,W0569}、@ref{W0570,W0570}、
+@ref{W0607,W0607}、@ref{W0608,W0608}、@ref{W0705,W0705}、@ref{W0707,W0707}、
+@ref{W0720,W0720}、@ref{W0745,W0745}、@ref{W1049,W1049}、@ref{W1050,W1050}
+メッセージを検出した状況として、該当制御式を偽と評価したことを示します。
+
+@subsection サンプルコード
+
+@verbatim
+int foo(int i)
+{
+    int j; /* C1003 */
+
+    if (i < 0) { /* C1001 */
+        if (i < -10) { /* C1002 */
+            j = 2;
+        }
+        else if (i < -5) { /* C1002 */
+            j = 3;
+        }
+    }
+    else {
+        j = 1;
+    }
+
+    return j; /* W0460 */
+}
+@end verbatim
+
+@subsection 関連メッセージ
+
+@itemize
+@item @ref{W0093} ゼロで除算される恐れがあります。
+@item @ref{W0096} ゼロになる定数式で除算しています。
+@item @ref{W0097} ゼロの値で除算しています。
+@item @ref{W0115} 符号無し左シフト演算 `<<' は、上位ビットを切り捨てます。
+@item @ref{W0116} 符号無し左シフト演算 `<<' は、上位ビットを切り捨てる恐れがあります。
+@item @ref{W0421} 値が NULL になるポインタに対して間接参照が行われています。
+@item @ref{W0422} 値が NULL になることがあるポインタに対して間接参照が行われています。
+@item @ref{W0423} 値が NULL になるポインタに対して算術演算を行っています。
+@item @ref{W0424} 値が NULL になることがあるポインタに対して算術演算を行っています。
+@item @ref{W0459} 変数 `%s' の値は、この式の評価時点では設定されていません。このプログラムは危険です。
+@item @ref{W0460} 変数 `%s' の値は、この式の評価時点では設定されていないことがあります。
+@item @ref{W0461} 値が定まっていない変数を指すポインタを関数の実引数として使っています。このプログラムは危険です。
+@item @ref{W0462} 値が設定されていないことがありうる変数を指すポインタを関数の実引数として使っています。
+@item @ref{W0568} 符号付き定数式の値を左シフト演算した結果は、未定義になります。
+@item @ref{W0569} 符号付きの式の値を左シフト演算した結果は、未定義になります。
+@item @ref{W0570} 符号付きの式の値を左シフト演算した結果は、未定義になることがあります。
+@item @ref{W0607} 値が負になる整数式が符号無し型に変換されています。
+@item @ref{W0608} 値が負になることがありうる整数式が符号無し型に変換されています。
+@item @ref{W0705} 配列の添字が領域外を指すことがあります。
+@item @ref{W0707} 配列の添字が領域外を指す定数です。
+@item @ref{W0720} 浮動小数点型の値が変換先の型の範囲に入りきりません。
+@item @ref{W0745} 配列の添字が、領域外を指しています。
+@item @ref{W1049} この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できないことがあります。
+@item @ref{W1050} この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できません。
+@end itemize
+
+@subsection 対応バージョン
+
+3.2.0
+
+@node C1003
+@section C1003
+@cindex C1003
+
+@subsection メッセージ本文
+
+ここで該当変数が初期値を指定せずに定義されています。
+
+@subsection 内容
+
+@ref{W0459,W0459}、@ref{W0460,W0460}、@ref{W0461,W0461}、@ref{W0462,W0462}
+メッセージを検出した状況として、どの位置で該当変数を定義したかを示します。
+
+@subsection サンプルコード
+
+@verbatim
+int foo(int i)
+{
+    int j; /* C1003 */
+
+    if (i < 0) { /* C1001 */
+        if (i < -10) { /* C1002 */
+            j = 2;
+        }
+        else if (i < -5) { /* C1002 */
+            j = 3;
+        }
+    }
+    else {
+        j = 1;
+    }
+
+    return j; /* W0460 */
+}
+@end verbatim
+
+@subsection 関連メッセージ
+
+@itemize
+@item @ref{W0459} 変数 `%s' の値は、この式の評価時点では設定されていません。このプログラムは危険です。
+@item @ref{W0460} 変数 `%s' の値は、この式の評価時点では設定されていないことがあります。
+@item @ref{W0461} 値が定まっていない変数を指すポインタを関数の実引数として使っています。このプログラムは危険です。
+@item @ref{W0462} 値が設定されていないことがありうる変数を指すポインタを関数の実引数として使っています。
+@end itemize
+
+@subsection 対応バージョン
+
+3.2.0
+
+@node C1004
+@section C1004
+@cindex C1004
+
+@subsection メッセージ本文
+
+ここで該当変数に NULL の値を割り当てました。
+
+@subsection 内容
+
+@ref{W0421,W0421}、@ref{W0422,W0422}、@ref{W0423,W0423}、@ref{W0424,W0424}
+メッセージを検出した状況として、どの位置で該当変数に NULL を割り当てたかを示し
+ます。
+
+@subsection サンプルコード
+
+@verbatim
+extern int *bar(void);
+extern int *baz(void);
+
+void foo(int i)
+{
+    int *p = NULL; /* C1004 */
+
+    if (i < 0) { /* C1002 */
+        p = bar();
+        if (!p) {
+            return;
+        }
+    }
+    else {
+        p = baz(); /* C1005 */
+    }
+
+    *p += 2; /* W0422 */
+}
+@end verbatim
+
+@subsection 関連メッセージ
+
+@itemize
+@item @ref{W0421} 値が NULL になるポインタに対して間接参照が行われています。
+@item @ref{W0422} 値が NULL になることがあるポインタに対して間接参照が行われています。
+@item @ref{W0423} 値が NULL になるポインタに対して算術演算を行っています。
+@item @ref{W0424} 値が NULL になることがあるポインタに対して算術演算を行っています。
+@end itemize
+
+@subsection 対応バージョン
+
+3.2.0
+
+@node C1005
+@section C1005
+@cindex C1005
+
+@subsection メッセージ本文
+
+ここで該当変数に NULL の可能性がある値を割り当てました。
+
+@subsection 内容
+
+@ref{W0421,W0421}、@ref{W0422,W0422}、@ref{W0423,W0423}、@ref{W0424,W0424}
+メッセージを検出した状況として、どの位置で該当変数に NULL となり得る値を割り当
+てたかを示します。
+
+@subsection サンプルコード
+
+@verbatim
+extern int *bar(void);
+extern int *baz(void);
+
+void foo(int i)
+{
+    int *p = NULL; /* C1004 */
+
+    if (i < 0) { /* C1002 */
+        p = bar();
+        if (!p) {
+            return;
+        }
+    }
+    else {
+        p = baz(); /* C1005 */
+    }
+
+    *p += 2; /* W0422 */
+}
+@end verbatim
+
+@subsection 関連メッセージ
+
+@itemize
+@item @ref{W0421} 値が NULL になるポインタに対して間接参照が行われています。
+@item @ref{W0422} 値が NULL になることがあるポインタに対して間接参照が行われています。
+@item @ref{W0423} 値が NULL になるポインタに対して算術演算を行っています。
+@item @ref{W0424} 値が NULL になることがあるポインタに対して算術演算を行っています。
+@end itemize
+
+@subsection 対応バージョン
+
+3.2.0
+
+@node C1006
+@section C1006
+@cindex C1006
+
+@subsection メッセージ本文
+
+ここで該当変数に値を割り当てました。
+
+@subsection 内容
+
+@ref{W0093,W0093}、@ref{W0096,W0096}、@ref{W0097,W0097}、@ref{W0115,W0115}、
+@ref{W0116,W0116}、@ref{W0568,W0568}、@ref{W0569,W0569}、@ref{W0570,W0570}、
+@ref{W0607,W0607}、@ref{W0608,W0608}、@ref{W0705,W0705}、@ref{W0707,W0707}、
+@ref{W0720,W0720}、@ref{W0745,W0745}、@ref{W1049,W1049}、@ref{W1050,W1050}
+メッセージを検出した状況として、どの位置で該当変数に問題の値を割り当てたかを示
+します。
+
+@subsection サンプルコード
+
+@verbatim
+int foo(int i)
+{
+    int j = 0; /* C1006 */
+
+    if (i < 0) { /* C1002 */
+        j = -i;
+    }
+    else if (i > 0) { /* C1002 */
+        j = i;
+    }
+
+    return 5 / j; /* W0093 */
+}
+@end verbatim
+
+@subsection 関連メッセージ
+
+@itemize
+@item @ref{W0093} ゼロで除算される恐れがあります。
+@item @ref{W0096} ゼロになる定数式で除算しています。
+@item @ref{W0097} ゼロの値で除算しています。
+@item @ref{W0115} 符号無し左シフト演算 `<<' は、上位ビットを切り捨てます。
+@item @ref{W0116} 符号無し左シフト演算 `<<' は、上位ビットを切り捨てる恐れがあります。
+@item @ref{W0568} 符号付き定数式の値を左シフト演算した結果は、未定義になります。
+@item @ref{W0569} 符号付きの式の値を左シフト演算した結果は、未定義になります。
+@item @ref{W0570} 符号付きの式の値を左シフト演算した結果は、未定義になることがあります。
+@item @ref{W0607} 値が負になる整数式が符号無し型に変換されています。
+@item @ref{W0608} 値が負になることがありうる整数式が符号無し型に変換されています。
+@item @ref{W0705} 配列の添字が領域外を指すことがあります。
+@item @ref{W0707} 配列の添字が領域外を指す定数です。
+@item @ref{W0720} 浮動小数点型の値が変換先の型の範囲に入りきりません。
+@item @ref{W0745} 配列の添字が、領域外を指しています。
+@item @ref{W1049} この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できないことがあります。
+@item @ref{W1050} この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できません。
+@end itemize
+
+@subsection 対応バージョン
+
+3.2.0
+
+
 @node Metrics
 @chapter メトリクス一覧