adlint 3.0.10 → 3.2.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 (137) hide show
  1. data/ChangeLog +67 -0
  2. data/MANIFEST +2 -0
  3. data/NEWS +10 -3
  4. data/etc/mesg.d/c_builtin/en_US/messages.yml +29 -1
  5. data/etc/mesg.d/c_builtin/ja_JP/messages.yml +29 -1
  6. data/etc/mesg.d/core/en_US/messages.yml +1 -1
  7. data/etc/mesg.d/core/ja_JP/messages.yml +1 -1
  8. data/features/code_check/W0003.feature +5 -0
  9. data/features/code_check/W0023.feature +32 -0
  10. data/features/code_check/W0024.feature +22 -0
  11. data/features/code_check/W0093.feature +71 -0
  12. data/features/code_check/W0097.feature +4 -0
  13. data/features/code_check/W0100.feature +10 -0
  14. data/features/code_check/W0119.feature +8 -0
  15. data/features/code_check/W0133.feature +8 -0
  16. data/features/code_check/W0134.feature +8 -0
  17. data/features/code_check/W0136.feature +8 -0
  18. data/features/code_check/W0138.feature +8 -0
  19. data/features/code_check/W0140.feature +8 -0
  20. data/features/code_check/W0142.feature +8 -0
  21. data/features/code_check/W0143.feature +8 -0
  22. data/features/code_check/W0144.feature +8 -0
  23. data/features/code_check/W0145.feature +8 -0
  24. data/features/code_check/W0146.feature +8 -0
  25. data/features/code_check/W0147.feature +8 -0
  26. data/features/code_check/W0148.feature +8 -0
  27. data/features/code_check/W0149.feature +8 -0
  28. data/features/code_check/W0150.feature +8 -0
  29. data/features/code_check/W0151.feature +8 -0
  30. data/features/code_check/W0152.feature +8 -0
  31. data/features/code_check/W0153.feature +8 -0
  32. data/features/code_check/W0154.feature +8 -0
  33. data/features/code_check/W0155.feature +8 -0
  34. data/features/code_check/W0156.feature +8 -0
  35. data/features/code_check/W0157.feature +8 -0
  36. data/features/code_check/W0158.feature +8 -0
  37. data/features/code_check/W0159.feature +8 -0
  38. data/features/code_check/W0160.feature +8 -0
  39. data/features/code_check/W0161.feature +8 -0
  40. data/features/code_check/W0162.feature +8 -0
  41. data/features/code_check/W0163.feature +8 -0
  42. data/features/code_check/W0164.feature +8 -0
  43. data/features/code_check/W0165.feature +8 -0
  44. data/features/code_check/W0166.feature +8 -0
  45. data/features/code_check/W0167.feature +8 -0
  46. data/features/code_check/W0168.feature +8 -0
  47. data/features/code_check/W0169.feature +8 -0
  48. data/features/code_check/W0170.feature +8 -0
  49. data/features/code_check/W0171.feature +8 -0
  50. data/features/code_check/W0172.feature +8 -0
  51. data/features/code_check/W0173.feature +8 -0
  52. data/features/code_check/W0174.feature +8 -0
  53. data/features/code_check/W0175.feature +8 -0
  54. data/features/code_check/W0176.feature +8 -0
  55. data/features/code_check/W0177.feature +8 -0
  56. data/features/code_check/W0178.feature +8 -0
  57. data/features/code_check/W0179.feature +8 -0
  58. data/features/code_check/W0180.feature +8 -0
  59. data/features/code_check/W0181.feature +8 -0
  60. data/features/code_check/W0250.feature +8 -0
  61. data/features/code_check/W0422.feature +194 -0
  62. data/features/code_check/W0459.feature +16 -0
  63. data/features/code_check/W0460.feature +342 -0
  64. data/features/code_check/W0461.feature +5 -0
  65. data/features/code_check/W0497.feature +12 -0
  66. data/features/code_check/W0499.feature +6 -0
  67. data/features/code_check/W0502.feature +6 -0
  68. data/features/code_check/W0570.feature +47 -0
  69. data/features/code_check/W0573.feature +8 -0
  70. data/features/code_check/W0582.feature +4 -0
  71. data/features/code_check/W0583.feature +4 -0
  72. data/features/code_check/W0584.feature +10 -0
  73. data/features/code_check/W0599.feature +10 -0
  74. data/features/code_check/W0644.feature +2 -0
  75. data/features/code_check/W0649.feature +14 -0
  76. data/features/code_check/W0650.feature +12 -0
  77. data/features/code_check/W0685.feature +10 -0
  78. data/features/code_check/W0686.feature +8 -0
  79. data/features/code_check/W0711.feature +2 -0
  80. data/features/code_check/W0712.feature +2 -0
  81. data/features/code_check/W0713.feature +2 -0
  82. data/features/code_check/W0714.feature +2 -0
  83. data/features/code_check/W0715.feature +2 -0
  84. data/features/code_check/W0718.feature +2 -0
  85. data/features/code_check/W0719.feature +8 -0
  86. data/features/code_check/W0732.feature +18 -0
  87. data/features/code_check/W0733.feature +18 -0
  88. data/features/code_check/W0734.feature +24 -0
  89. data/features/code_check/W0735.feature +24 -0
  90. data/features/code_check/W0747.feature +8 -0
  91. data/features/code_check/W0749.feature +8 -0
  92. data/features/code_check/W0750.feature +8 -0
  93. data/features/code_check/W0753.feature +8 -0
  94. data/features/code_check/W0754.feature +8 -0
  95. data/features/code_check/W0759.feature +8 -0
  96. data/features/code_check/W0760.feature +8 -0
  97. data/features/code_check/W0761.feature +8 -0
  98. data/features/code_check/W0762.feature +8 -0
  99. data/features/code_check/W0794.feature +6 -0
  100. data/features/code_check/W1050.feature +8 -0
  101. data/features/code_check/W1066.feature +8 -0
  102. data/features/code_check/W1067.feature +8 -0
  103. data/features/code_check/W1068.feature +8 -0
  104. data/features/code_check/W1071.feature +4 -0
  105. data/features/code_check/W9003.feature +2 -0
  106. data/lib/adlint/cc1.rb +1 -0
  107. data/lib/adlint/cc1/branch.rb +34 -13
  108. data/lib/adlint/cc1/conv.rb +3 -3
  109. data/lib/adlint/cc1/ctrlexpr.rb +12 -7
  110. data/lib/adlint/cc1/environ.rb +12 -2
  111. data/lib/adlint/cc1/expr.rb +10 -8
  112. data/lib/adlint/cc1/interp.rb +56 -49
  113. data/lib/adlint/cc1/mediator.rb +9 -5
  114. data/lib/adlint/cc1/object.rb +37 -34
  115. data/lib/adlint/cc1/trace.rb +287 -0
  116. data/lib/adlint/cc1/type.rb +15 -15
  117. data/lib/adlint/cc1/value.rb +823 -427
  118. data/lib/adlint/cpp/eval.rb +5 -2
  119. data/lib/adlint/cpp/source.rb +21 -22
  120. data/lib/adlint/exam/c_builtin/cc1_check.rb +1636 -1067
  121. data/lib/adlint/exam/c_builtin/cc1_check_shima.rb +28 -22
  122. data/lib/adlint/exam/c_builtin/cc1_code.rb +4 -4
  123. data/lib/adlint/exam/c_builtin/cc1_metric.rb +14 -14
  124. data/lib/adlint/location.rb +5 -7
  125. data/lib/adlint/metric.rb +2 -2
  126. data/lib/adlint/prelude.rb +6 -2
  127. data/lib/adlint/report.rb +2 -2
  128. data/lib/adlint/version.rb +3 -3
  129. data/share/doc/developers_guide_ja.html +10 -4
  130. data/share/doc/developers_guide_ja.texi +8 -2
  131. data/share/doc/users_guide_en.html +679 -72
  132. data/share/doc/users_guide_en.texi +557 -12
  133. data/share/doc/users_guide_ja.html +678 -74
  134. data/share/doc/users_guide_ja.texi +554 -13
  135. data/spec/adlint/cc1/ctrlexpr_spec.rb +20 -11
  136. data/spec/adlint/cc1/domain_spec.rb +9 -0
  137. metadata +4 -2
@@ -1,8 +1,8 @@
1
1
  <html lang="ja">
2
2
  <head>
3
- <title>AdLint 3.0.10 利用者ガイド</title>
3
+ <title>AdLint 3.2.0 利用者ガイド</title>
4
4
  <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
5
- <meta name="description" content="AdLint 3.0.10 利用者ガイド">
5
+ <meta name="description" content="AdLint 3.2.0 利用者ガイド">
6
6
  <meta name="generator" content="makeinfo 4.13">
7
7
  <link title="Top" rel="top" href="#Top">
8
8
  <link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
@@ -44,7 +44,7 @@ td { border: 1px solid black; }
44
44
  --></style>
45
45
  </head>
46
46
  <body>
47
- <h1 class="settitle">AdLint 3.0.10 利用者ガイド</h1>
47
+ <h1 class="settitle">AdLint 3.2.0 利用者ガイド</h1>
48
48
  <div class="node">
49
49
  <a name="Top"></a>
50
50
  <p><hr>
@@ -3149,6 +3149,13 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
3149
3149
  <li><a href="#W9002">W9002</a>: ファイルの末尾に改行文字がありません。
3150
3150
  <li><a href="#W9003">W9003</a>: 暗黙的に `%s' 型のオブジェクトが `%s' 型のオブジェクトに変換されています。
3151
3151
  <li><a href="#C0001">C0001</a>: この識別名 `%s' で警告を検知しました。
3152
+ <li><a href="#C1000">C1000</a>: 次の実行パスで警告を検知しました。
3153
+ <li><a href="#C1001">C1001</a>: この制御式を真として評価しました。
3154
+ <li><a href="#C1002">C1002</a>: この制御式を偽として評価しました。
3155
+ <li><a href="#C1003">C1003</a>: ここで該当変数が初期値を指定せずに定義されています。
3156
+ <li><a href="#C1004">C1004</a>: ここで該当変数に NULL の値を割り当てました。
3157
+ <li><a href="#C1005">C1005</a>: ここで該当変数に NULL の可能性がある値を割り当てました。
3158
+ <li><a href="#C1006">C1006</a>: ここで該当変数に値を割り当てました。
3152
3159
  </ul>
3153
3160
 
3154
3161
  <div class="node">
@@ -6288,7 +6295,12 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
6288
6295
 
6289
6296
  <h4 class="subsection">6.80.4 関連メッセージ</h4>
6290
6297
 
6291
- <p>なし。
6298
+ <ul>
6299
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
6300
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
6301
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
6302
+ <li><a href="#C1006">C1006</a> ここで該当変数に値を割り当てました。
6303
+ </ul>
6292
6304
 
6293
6305
  <h4 class="subsection">6.80.5 対応バージョン</h4>
6294
6306
 
@@ -6324,7 +6336,12 @@ int b = 10 / A; /* W0096 */
6324
6336
 
6325
6337
  <h4 class="subsection">6.81.4 関連メッセージ</h4>
6326
6338
 
6327
- <p>なし。
6339
+ <ul>
6340
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
6341
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
6342
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
6343
+ <li><a href="#C1006">C1006</a> ここで該当変数に値を割り当てました。
6344
+ </ul>
6328
6345
 
6329
6346
  <h4 class="subsection">6.81.5 対応バージョン</h4>
6330
6347
 
@@ -6369,7 +6386,12 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
6369
6386
 
6370
6387
  <h4 class="subsection">6.82.4 関連メッセージ</h4>
6371
6388
 
6372
- <p>なし。
6389
+ <ul>
6390
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
6391
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
6392
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
6393
+ <li><a href="#C1006">C1006</a> ここで該当変数に値を割り当てました。
6394
+ </ul>
6373
6395
 
6374
6396
  <h4 class="subsection">6.82.5 対応バージョン</h4>
6375
6397
 
@@ -6891,6 +6913,10 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
6891
6913
 
6892
6914
  <ul>
6893
6915
  <li><a href="#W0116">W0116</a> 符号無し左シフト演算 `&lt;&lt;' は、上位ビットを切り捨てる恐れがあります。
6916
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
6917
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
6918
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
6919
+ <li><a href="#C1006">C1006</a> ここで該当変数に値を割り当てました。
6894
6920
  </ul>
6895
6921
 
6896
6922
  <h4 class="subsection">6.95.5 対応バージョン</h4>
@@ -6932,6 +6958,10 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
6932
6958
 
6933
6959
  <ul>
6934
6960
  <li><a href="#W0115">W0115</a> 符号無し左シフト演算 `&lt;&lt;' は、上位ビットを切り捨てます。
6961
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
6962
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
6963
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
6964
+ <li><a href="#C1006">C1006</a> ここで該当変数に値を割り当てました。
6935
6965
  </ul>
6936
6966
 
6937
6967
  <h4 class="subsection">6.96.5 対応バージョン</h4>
@@ -25510,7 +25540,13 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
25510
25540
 
25511
25541
  <h4 class="subsection">6.394.4 関連メッセージ</h4>
25512
25542
 
25513
- <p>なし。
25543
+ <ul>
25544
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
25545
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
25546
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
25547
+ <li><a href="#C1004">C1004</a> ここで該当変数に NULL の値を割り当てました。
25548
+ <li><a href="#C1005">C1005</a> ここで該当変数に NULL の可能性がある値を割り当てました。
25549
+ </ul>
25514
25550
 
25515
25551
  <h4 class="subsection">6.394.5 対応バージョン</h4>
25516
25552
 
@@ -25553,7 +25589,13 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
25553
25589
 
25554
25590
  <h4 class="subsection">6.395.4 関連メッセージ</h4>
25555
25591
 
25556
- <p>なし。
25592
+ <ul>
25593
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
25594
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
25595
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
25596
+ <li><a href="#C1004">C1004</a> ここで該当変数に NULL の値を割り当てました。
25597
+ <li><a href="#C1005">C1005</a> ここで該当変数に NULL の可能性がある値を割り当てました。
25598
+ </ul>
25557
25599
 
25558
25600
  <h4 class="subsection">6.395.5 対応バージョン</h4>
25559
25601
 
@@ -25595,7 +25637,13 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
25595
25637
 
25596
25638
  <h4 class="subsection">6.396.4 関連メッセージ</h4>
25597
25639
 
25598
- <p>なし。
25640
+ <ul>
25641
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
25642
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
25643
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
25644
+ <li><a href="#C1004">C1004</a> ここで該当変数に NULL の値を割り当てました。
25645
+ <li><a href="#C1005">C1005</a> ここで該当変数に NULL の可能性がある値を割り当てました。
25646
+ </ul>
25599
25647
 
25600
25648
  <h4 class="subsection">6.396.5 対応バージョン</h4>
25601
25649
 
@@ -25638,7 +25686,13 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
25638
25686
 
25639
25687
  <h4 class="subsection">6.397.4 関連メッセージ</h4>
25640
25688
 
25641
- <p>なし。
25689
+ <ul>
25690
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
25691
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
25692
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
25693
+ <li><a href="#C1004">C1004</a> ここで該当変数に NULL の値を割り当てました。
25694
+ <li><a href="#C1005">C1005</a> ここで該当変数に NULL の可能性がある値を割り当てました。
25695
+ </ul>
25642
25696
 
25643
25697
  <h4 class="subsection">6.397.5 対応バージョン</h4>
25644
25698
 
@@ -26225,6 +26279,10 @@ if(a > 0) { /* W0459 */
26225
26279
  <li><a href="#W0460">W0460</a> 変数 `%s' の値は、この式の評価時点では設定されていないことがあります。
26226
26280
  <li><a href="#W0461">W0461</a> 値が定まっていない変数を指すポインタを関数の実引数として使っています。このプログラムは危険です。
26227
26281
  <li><a href="#W0462">W0462</a> 値が設定されていないことがありうる変数を指すポインタを関数の実引数として使っています。
26282
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
26283
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
26284
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
26285
+ <li><a href="#C1003">C1003</a> ここで該当変数が初期値を指定せずに定義されています。
26228
26286
  </ul>
26229
26287
 
26230
26288
  <h4 class="subsection">6.412.5 対応バージョン</h4>
@@ -26274,6 +26332,10 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
26274
26332
  <li><a href="#W0459">W0459</a> 変数 `%s' の値は、この式の評価時点では設定されていません。このプログラムは危険です。
26275
26333
  <li><a href="#W0461">W0461</a> 値が定まっていない変数を指すポインタを関数の実引数として使っています。このプログラムは危険です。
26276
26334
  <li><a href="#W0462">W0462</a> 値が設定されていないことがありうる変数を指すポインタを関数の実引数として使っています。
26335
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
26336
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
26337
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
26338
+ <li><a href="#C1003">C1003</a> ここで該当変数が初期値を指定せずに定義されています。
26277
26339
  </ul>
26278
26340
 
26279
26341
  <h4 class="subsection">6.413.5 対応バージョン</h4>
@@ -26321,6 +26383,10 @@ void func2(int a)
26321
26383
  <li><a href="#W0459">W0459</a> 変数 `%s' の値は、この式の評価時点では設定されていません。このプログラムは危険です。
26322
26384
  <li><a href="#W0460">W0460</a> 変数 `%s' の値は、この式の評価時点では設定されていないことがあります。
26323
26385
  <li><a href="#W0462">W0462</a> 値が設定されていないことがありうる変数を指すポインタを関数の実引数として使っています。
26386
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
26387
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
26388
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
26389
+ <li><a href="#C1003">C1003</a> ここで該当変数が初期値を指定せずに定義されています。
26324
26390
  </ul>
26325
26391
 
26326
26392
  <h4 class="subsection">6.414.5 対応バージョン</h4>
@@ -26371,6 +26437,10 @@ int func2(int a)
26371
26437
  <li><a href="#W0459">W0459</a> 変数 `%s' の値は、この式の評価時点では設定されていません。このプログラムは危険です。
26372
26438
  <li><a href="#W0460">W0460</a> 変数 `%s' の値は、この式の評価時点では設定されていないことがあります。
26373
26439
  <li><a href="#W0461">W0461</a> 値が定まっていない変数を指すポインタを関数の実引数として使っています。このプログラムは危険です。
26440
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
26441
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
26442
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
26443
+ <li><a href="#C1003">C1003</a> ここで該当変数が初期値を指定せずに定義されています。
26374
26444
  </ul>
26375
26445
 
26376
26446
  <h4 class="subsection">6.415.5 対応バージョン</h4>
@@ -28673,6 +28743,10 @@ int b = -5 &lt;&lt; 1; /* W0568 */
28673
28743
  <ul>
28674
28744
  <li><a href="#W0569">W0569</a> 符号付きの式の値を左シフト演算した結果は、未定義になります。
28675
28745
  <li><a href="#W0570">W0570</a> 符号付きの式の値を左シフト演算した結果は、未定義になることがあります。
28746
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
28747
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
28748
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
28749
+ <li><a href="#C1006">C1006</a> ここで該当変数に値を割り当てました。
28676
28750
  </ul>
28677
28751
 
28678
28752
  <h4 class="subsection">6.470.5 対応バージョン</h4>
@@ -28721,6 +28795,10 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
28721
28795
  <ul>
28722
28796
  <li><a href="#W0568">W0568</a> 符号付き定数式の値を左シフト演算した結果は、未定義になります。
28723
28797
  <li><a href="#W0570">W0570</a> 符号付きの式の値を左シフト演算した結果は、未定義になることがあります。
28798
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
28799
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
28800
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
28801
+ <li><a href="#C1006">C1006</a> ここで該当変数に値を割り当てました。
28724
28802
  </ul>
28725
28803
 
28726
28804
  <h4 class="subsection">6.471.5 対応バージョン</h4>
@@ -28769,6 +28847,10 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
28769
28847
  <ul>
28770
28848
  <li><a href="#W0568">W0568</a> 符号付き定数式の値を左シフト演算した結果は、未定義になります。
28771
28849
  <li><a href="#W0569">W0569</a> 符号付きの式の値を左シフト演算した結果は、未定義になります。
28850
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
28851
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
28852
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
28853
+ <li><a href="#C1006">C1006</a> ここで該当変数に値を割り当てました。
28772
28854
  </ul>
28773
28855
 
28774
28856
  <h4 class="subsection">6.472.5 対応バージョン</h4>
@@ -29927,6 +30009,10 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
29927
30009
 
29928
30010
  <ul>
29929
30011
  <li><a href="#W0608">W0608</a> 値が負になることがありうる整数式が符号無し型に変換されています。
30012
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
30013
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
30014
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
30015
+ <li><a href="#C1006">C1006</a> ここで該当変数に値を割り当てました。
29930
30016
  </ul>
29931
30017
 
29932
30018
  <h4 class="subsection">6.498.5 対応バージョン</h4>
@@ -29971,6 +30057,10 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
29971
30057
 
29972
30058
  <ul>
29973
30059
  <li><a href="#W0607">W0607</a> 値が負になる整数式が符号無し型に変換されています。
30060
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
30061
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
30062
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
30063
+ <li><a href="#C1006">C1006</a> ここで該当変数に値を割り当てました。
29974
30064
  </ul>
29975
30065
 
29976
30066
  <h4 class="subsection">6.499.5 対応バージョン</h4>
@@ -34295,7 +34385,12 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
34295
34385
 
34296
34386
  <h4 class="subsection">6.581.4 関連メッセージ</h4>
34297
34387
 
34298
- <p>なし。
34388
+ <ul>
34389
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
34390
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
34391
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
34392
+ <li><a href="#C1006">C1006</a> ここで該当変数に値を割り当てました。
34393
+ </ul>
34299
34394
 
34300
34395
  <h4 class="subsection">6.581.5 対応バージョン</h4>
34301
34396
 
@@ -34335,7 +34430,12 @@ int foo(void)
34335
34430
 
34336
34431
  <h4 class="subsection">6.582.4 関連メッセージ</h4>
34337
34432
 
34338
- <p>なし。
34433
+ <ul>
34434
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
34435
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
34436
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
34437
+ <li><a href="#C1006">C1006</a> ここで該当変数に値を割り当てました。
34438
+ </ul>
34339
34439
 
34340
34440
  <h4 class="subsection">6.582.5 対応バージョン</h4>
34341
34441
 
@@ -34782,7 +34882,12 @@ signed char sc4 = (signed char) -129.5; /* W0720 */
34782
34882
 
34783
34883
  <h4 class="subsection">6.593.4 関連メッセージ</h4>
34784
34884
 
34785
- <p>なし。
34885
+ <ul>
34886
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
34887
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
34888
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
34889
+ <li><a href="#C1006">C1006</a> ここで該当変数に値を割り当てました。
34890
+ </ul>
34786
34891
 
34787
34892
  <h4 class="subsection">6.593.5 対応バージョン</h4>
34788
34893
 
@@ -35811,7 +35916,12 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
35811
35916
 
35812
35917
  <h4 class="subsection">6.617.4 関連メッセージ</h4>
35813
35918
 
35814
- <p>なし。
35919
+ <ul>
35920
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
35921
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
35922
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
35923
+ <li><a href="#C1006">C1006</a> ここで該当変数に値を割り当てました。
35924
+ </ul>
35815
35925
 
35816
35926
  <h4 class="subsection">6.617.5 対応バージョン</h4>
35817
35927
 
@@ -40169,6 +40279,10 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
40169
40279
  <li><a href="#W1050">W1050</a> この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できません。
40170
40280
  <li><a href="#W1051">W1051</a> 符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込みます。
40171
40281
  <li><a href="#W1052">W1052</a> 符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込むことがあります。
40282
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
40283
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
40284
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
40285
+ <li><a href="#C1006">C1006</a> ここで該当変数に値を割り当てました。
40172
40286
  </ul>
40173
40287
 
40174
40288
  <h4 class="subsection">6.713.5 対応バージョン</h4>
@@ -40223,6 +40337,10 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
40223
40337
  <li><a href="#W1049">W1049</a> この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できないことがあります。
40224
40338
  <li><a href="#W1051">W1051</a> 符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込みます。
40225
40339
  <li><a href="#W1052">W1052</a> 符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込むことがあります。
40340
+ <li><a href="#C1000">C1000</a> 次の実行パスで警告を検知しました。
40341
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
40342
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
40343
+ <li><a href="#C1006">C1006</a> ここで該当変数に値を割り当てました。
40226
40344
  </ul>
40227
40345
 
40228
40346
  <h4 class="subsection">6.714.5 対応バージョン</h4>
@@ -41666,6 +41784,7 @@ static void bar(void)
41666
41784
  <div class="node">
41667
41785
  <a name="C0001"></a>
41668
41786
  <p><hr>
41787
+ Next:&nbsp;<a rel="next" accesskey="n" href="#C1000">C1000</a>,
41669
41788
  Previous:&nbsp;<a rel="previous" accesskey="p" href="#W9003">W9003</a>,
41670
41789
  Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
41671
41790
 
@@ -41703,6 +41822,484 @@ int very_long_long_long_long_long_long_long_identifier_1 = 0; /* C0001 */
41703
41822
 
41704
41823
  <p>1.0.0
41705
41824
 
41825
+ <div class="node">
41826
+ <a name="C1000"></a>
41827
+ <p><hr>
41828
+ Next:&nbsp;<a rel="next" accesskey="n" href="#C1001">C1001</a>,
41829
+ Previous:&nbsp;<a rel="previous" accesskey="p" href="#C0001">C0001</a>,
41830
+ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
41831
+
41832
+ </div>
41833
+
41834
+ <h3 class="section">6.746 C1000</h3>
41835
+
41836
+ <p><a name="index-C1000-802"></a>
41837
+
41838
+ <h4 class="subsection">6.746.1 メッセージ本文</h4>
41839
+
41840
+ <p>次の実行パスで警告を検知しました。
41841
+
41842
+ <h4 class="subsection">6.746.2 内容</h4>
41843
+
41844
+ <p><a href="#W0093">W0093</a>、<a href="#W0096">W0096</a>、<a href="#W0097">W0097</a>、<a href="#W0115">W0115</a>、
41845
+ <a href="#W0116">W0116</a>、<a href="#W0421">W0421</a>、<a href="#W0422">W0422</a>、<a href="#W0423">W0423</a>、
41846
+ <a href="#W0424">W0424</a>、<a href="#W0459">W0459</a>、<a href="#W0460">W0460</a>、<a href="#W0461">W0461</a>、
41847
+ <a href="#W0462">W0462</a>、<a href="#W0568">W0568</a>、<a href="#W0569">W0569</a>、<a href="#W0570">W0570</a>、
41848
+ <a href="#W0607">W0607</a>、<a href="#W0608">W0608</a>、<a href="#W0705">W0705</a>、<a href="#W0707">W0707</a>、
41849
+ <a href="#W0720">W0720</a>、<a href="#W0745">W0745</a>、<a href="#W1049">W1049</a>、<a href="#W1050">W1050</a>
41850
+ メッセージの直後に出力され、このメッセージの後に問題を検出した状況を補足するメ
41851
+ ッセージが続くことを示します。
41852
+
41853
+ <h4 class="subsection">6.746.3 サンプルコード</h4>
41854
+
41855
+ <pre class="verbatim"> 1: int foo(int i)
41856
+ 2: {
41857
+ 3: int j; /* C1003 */
41858
+ 4:
41859
+ 5: if (i &lt; 0) { /* C1001 */
41860
+ 6: if (i &lt; -10) { /* C1002 */
41861
+ 7: j = 2;
41862
+ 8: }
41863
+ 9: else if (i &lt; -5) { /* C1002 */
41864
+ 10: j = 3;
41865
+ 11: }
41866
+ 12: }
41867
+ 13: else {
41868
+ 14: j = 1;
41869
+ 15: }
41870
+ 16:
41871
+ 17: return j; /* W0460 */
41872
+ 18: }
41873
+
41874
+ a.c:17:12:warning:c_builtin:W0460:UNC:X99:変数 `j' の値は、この式の評価時点では設定されていないことがあります。
41875
+ :::context:c_builtin:C1000:INF:X99:次の実行パスで警告を検知しました。
41876
+ a.c:3:9:context:c_builtin:C1003:INF:X99:ここで該当変数が初期値を指定せずに定義されています。
41877
+ a.c:5:11:context:c_builtin:C1001:INF:X99:この制御式を真として評価しました。
41878
+ a.c:6:15:context:c_builtin:C1002:INF:X99:この制御式を偽として評価しました。
41879
+ a.c:9:20:context:c_builtin:C1002:INF:X99:この制御式を偽として評価しました。
41880
+ </pre>
41881
+
41882
+ <h4 class="subsection">6.746.4 関連メッセージ</h4>
41883
+
41884
+ <ul>
41885
+ <li><a href="#C1001">C1001</a> この制御式を真として評価しました。
41886
+ <li><a href="#C1002">C1002</a> この制御式を偽として評価しました。
41887
+ <li><a href="#C1003">C1003</a> ここで該当変数が初期値を指定せずに定義されています。
41888
+ <li><a href="#C1004">C1004</a> ここで該当変数に NULL の値を割り当てました。
41889
+ <li><a href="#C1005">C1005</a> ここで該当変数に NULL の可能性がある値を割り当てました。
41890
+ <li><a href="#C1006">C1006</a> ここで該当変数に値を割り当てました。
41891
+ </ul>
41892
+
41893
+ <h4 class="subsection">6.746.5 対応バージョン</h4>
41894
+
41895
+ <p>3.2.0
41896
+
41897
+ <div class="node">
41898
+ <a name="C1001"></a>
41899
+ <p><hr>
41900
+ Next:&nbsp;<a rel="next" accesskey="n" href="#C1002">C1002</a>,
41901
+ Previous:&nbsp;<a rel="previous" accesskey="p" href="#C1000">C1000</a>,
41902
+ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
41903
+
41904
+ </div>
41905
+
41906
+ <h3 class="section">6.747 C1001</h3>
41907
+
41908
+ <p><a name="index-C1001-803"></a>
41909
+
41910
+ <h4 class="subsection">6.747.1 メッセージ本文</h4>
41911
+
41912
+ <p>この制御式を真として評価しました。
41913
+
41914
+ <h4 class="subsection">6.747.2 内容</h4>
41915
+
41916
+ <p><a href="#W0093">W0093</a>、<a href="#W0096">W0096</a>、<a href="#W0097">W0097</a>、<a href="#W0115">W0115</a>、
41917
+ <a href="#W0116">W0116</a>、<a href="#W0421">W0421</a>、<a href="#W0422">W0422</a>、<a href="#W0423">W0423</a>、
41918
+ <a href="#W0424">W0424</a>、<a href="#W0459">W0459</a>、<a href="#W0460">W0460</a>、<a href="#W0461">W0461</a>、
41919
+ <a href="#W0462">W0462</a>、<a href="#W0568">W0568</a>、<a href="#W0569">W0569</a>、<a href="#W0570">W0570</a>、
41920
+ <a href="#W0607">W0607</a>、<a href="#W0608">W0608</a>、<a href="#W0705">W0705</a>、<a href="#W0707">W0707</a>、
41921
+ <a href="#W0720">W0720</a>、<a href="#W0745">W0745</a>、<a href="#W1049">W1049</a>、<a href="#W1050">W1050</a>
41922
+ メッセージを検出した状況として、該当制御式を真と評価したことを示します。
41923
+
41924
+ <h4 class="subsection">6.747.3 サンプルコード</h4>
41925
+
41926
+ <pre class="verbatim">int foo(int i)
41927
+ {
41928
+ int j; /* C1003 */
41929
+
41930
+ if (i &lt; 0) { /* C1001 */
41931
+ if (i &lt; -10) { /* C1002 */
41932
+ j = 2;
41933
+ }
41934
+ else if (i &lt; -5) { /* C1002 */
41935
+ j = 3;
41936
+ }
41937
+ }
41938
+ else {
41939
+ j = 1;
41940
+ }
41941
+
41942
+ return j; /* W0460 */
41943
+ }
41944
+ </pre>
41945
+
41946
+ <h4 class="subsection">6.747.4 関連メッセージ</h4>
41947
+
41948
+ <ul>
41949
+ <li><a href="#W0093">W0093</a> ゼロで除算される恐れがあります。
41950
+ <li><a href="#W0096">W0096</a> ゼロになる定数式で除算しています。
41951
+ <li><a href="#W0097">W0097</a> ゼロの値で除算しています。
41952
+ <li><a href="#W0115">W0115</a> 符号無し左シフト演算 `&lt;&lt;' は、上位ビットを切り捨てます。
41953
+ <li><a href="#W0116">W0116</a> 符号無し左シフト演算 `&lt;&lt;' は、上位ビットを切り捨てる恐れがあります。
41954
+ <li><a href="#W0421">W0421</a> 値が NULL になるポインタに対して間接参照が行われています。
41955
+ <li><a href="#W0422">W0422</a> 値が NULL になることがあるポインタに対して間接参照が行われています。
41956
+ <li><a href="#W0423">W0423</a> 値が NULL になるポインタに対して算術演算を行っています。
41957
+ <li><a href="#W0424">W0424</a> 値が NULL になることがあるポインタに対して算術演算を行っています。
41958
+ <li><a href="#W0459">W0459</a> 変数 `%s' の値は、この式の評価時点では設定されていません。このプログラムは危険です。
41959
+ <li><a href="#W0460">W0460</a> 変数 `%s' の値は、この式の評価時点では設定されていないことがあります。
41960
+ <li><a href="#W0461">W0461</a> 値が定まっていない変数を指すポインタを関数の実引数として使っています。このプログラムは危険です。
41961
+ <li><a href="#W0462">W0462</a> 値が設定されていないことがありうる変数を指すポインタを関数の実引数として使っています。
41962
+ <li><a href="#W0568">W0568</a> 符号付き定数式の値を左シフト演算した結果は、未定義になります。
41963
+ <li><a href="#W0569">W0569</a> 符号付きの式の値を左シフト演算した結果は、未定義になります。
41964
+ <li><a href="#W0570">W0570</a> 符号付きの式の値を左シフト演算した結果は、未定義になることがあります。
41965
+ <li><a href="#W0607">W0607</a> 値が負になる整数式が符号無し型に変換されています。
41966
+ <li><a href="#W0608">W0608</a> 値が負になることがありうる整数式が符号無し型に変換されています。
41967
+ <li><a href="#W0705">W0705</a> 配列の添字が領域外を指すことがあります。
41968
+ <li><a href="#W0707">W0707</a> 配列の添字が領域外を指す定数です。
41969
+ <li><a href="#W0720">W0720</a> 浮動小数点型の値が変換先の型の範囲に入りきりません。
41970
+ <li><a href="#W0745">W0745</a> 配列の添字が、領域外を指しています。
41971
+ <li><a href="#W1049">W1049</a> この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できないことがあります。
41972
+ <li><a href="#W1050">W1050</a> この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できません。
41973
+ </ul>
41974
+
41975
+ <h4 class="subsection">6.747.5 対応バージョン</h4>
41976
+
41977
+ <p>3.2.0
41978
+
41979
+ <div class="node">
41980
+ <a name="C1002"></a>
41981
+ <p><hr>
41982
+ Next:&nbsp;<a rel="next" accesskey="n" href="#C1003">C1003</a>,
41983
+ Previous:&nbsp;<a rel="previous" accesskey="p" href="#C1001">C1001</a>,
41984
+ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
41985
+
41986
+ </div>
41987
+
41988
+ <h3 class="section">6.748 C1002</h3>
41989
+
41990
+ <p><a name="index-C1002-804"></a>
41991
+
41992
+ <h4 class="subsection">6.748.1 メッセージ本文</h4>
41993
+
41994
+ <p>この制御式を偽として評価しました。
41995
+
41996
+ <h4 class="subsection">6.748.2 内容</h4>
41997
+
41998
+ <p><a href="#W0093">W0093</a>、<a href="#W0096">W0096</a>、<a href="#W0097">W0097</a>、<a href="#W0115">W0115</a>、
41999
+ <a href="#W0116">W0116</a>、<a href="#W0421">W0421</a>、<a href="#W0422">W0422</a>、<a href="#W0423">W0423</a>、
42000
+ <a href="#W0424">W0424</a>、<a href="#W0459">W0459</a>、<a href="#W0460">W0460</a>、<a href="#W0461">W0461</a>、
42001
+ <a href="#W0462">W0462</a>、<a href="#W0568">W0568</a>、<a href="#W0569">W0569</a>、<a href="#W0570">W0570</a>、
42002
+ <a href="#W0607">W0607</a>、<a href="#W0608">W0608</a>、<a href="#W0705">W0705</a>、<a href="#W0707">W0707</a>、
42003
+ <a href="#W0720">W0720</a>、<a href="#W0745">W0745</a>、<a href="#W1049">W1049</a>、<a href="#W1050">W1050</a>
42004
+ メッセージを検出した状況として、該当制御式を偽と評価したことを示します。
42005
+
42006
+ <h4 class="subsection">6.748.3 サンプルコード</h4>
42007
+
42008
+ <pre class="verbatim">int foo(int i)
42009
+ {
42010
+ int j; /* C1003 */
42011
+
42012
+ if (i &lt; 0) { /* C1001 */
42013
+ if (i &lt; -10) { /* C1002 */
42014
+ j = 2;
42015
+ }
42016
+ else if (i &lt; -5) { /* C1002 */
42017
+ j = 3;
42018
+ }
42019
+ }
42020
+ else {
42021
+ j = 1;
42022
+ }
42023
+
42024
+ return j; /* W0460 */
42025
+ }
42026
+ </pre>
42027
+
42028
+ <h4 class="subsection">6.748.4 関連メッセージ</h4>
42029
+
42030
+ <ul>
42031
+ <li><a href="#W0093">W0093</a> ゼロで除算される恐れがあります。
42032
+ <li><a href="#W0096">W0096</a> ゼロになる定数式で除算しています。
42033
+ <li><a href="#W0097">W0097</a> ゼロの値で除算しています。
42034
+ <li><a href="#W0115">W0115</a> 符号無し左シフト演算 `&lt;&lt;' は、上位ビットを切り捨てます。
42035
+ <li><a href="#W0116">W0116</a> 符号無し左シフト演算 `&lt;&lt;' は、上位ビットを切り捨てる恐れがあります。
42036
+ <li><a href="#W0421">W0421</a> 値が NULL になるポインタに対して間接参照が行われています。
42037
+ <li><a href="#W0422">W0422</a> 値が NULL になることがあるポインタに対して間接参照が行われています。
42038
+ <li><a href="#W0423">W0423</a> 値が NULL になるポインタに対して算術演算を行っています。
42039
+ <li><a href="#W0424">W0424</a> 値が NULL になることがあるポインタに対して算術演算を行っています。
42040
+ <li><a href="#W0459">W0459</a> 変数 `%s' の値は、この式の評価時点では設定されていません。このプログラムは危険です。
42041
+ <li><a href="#W0460">W0460</a> 変数 `%s' の値は、この式の評価時点では設定されていないことがあります。
42042
+ <li><a href="#W0461">W0461</a> 値が定まっていない変数を指すポインタを関数の実引数として使っています。このプログラムは危険です。
42043
+ <li><a href="#W0462">W0462</a> 値が設定されていないことがありうる変数を指すポインタを関数の実引数として使っています。
42044
+ <li><a href="#W0568">W0568</a> 符号付き定数式の値を左シフト演算した結果は、未定義になります。
42045
+ <li><a href="#W0569">W0569</a> 符号付きの式の値を左シフト演算した結果は、未定義になります。
42046
+ <li><a href="#W0570">W0570</a> 符号付きの式の値を左シフト演算した結果は、未定義になることがあります。
42047
+ <li><a href="#W0607">W0607</a> 値が負になる整数式が符号無し型に変換されています。
42048
+ <li><a href="#W0608">W0608</a> 値が負になることがありうる整数式が符号無し型に変換されています。
42049
+ <li><a href="#W0705">W0705</a> 配列の添字が領域外を指すことがあります。
42050
+ <li><a href="#W0707">W0707</a> 配列の添字が領域外を指す定数です。
42051
+ <li><a href="#W0720">W0720</a> 浮動小数点型の値が変換先の型の範囲に入りきりません。
42052
+ <li><a href="#W0745">W0745</a> 配列の添字が、領域外を指しています。
42053
+ <li><a href="#W1049">W1049</a> この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できないことがあります。
42054
+ <li><a href="#W1050">W1050</a> この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できません。
42055
+ </ul>
42056
+
42057
+ <h4 class="subsection">6.748.5 対応バージョン</h4>
42058
+
42059
+ <p>3.2.0
42060
+
42061
+ <div class="node">
42062
+ <a name="C1003"></a>
42063
+ <p><hr>
42064
+ Next:&nbsp;<a rel="next" accesskey="n" href="#C1004">C1004</a>,
42065
+ Previous:&nbsp;<a rel="previous" accesskey="p" href="#C1002">C1002</a>,
42066
+ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
42067
+
42068
+ </div>
42069
+
42070
+ <h3 class="section">6.749 C1003</h3>
42071
+
42072
+ <p><a name="index-C1003-805"></a>
42073
+
42074
+ <h4 class="subsection">6.749.1 メッセージ本文</h4>
42075
+
42076
+ <p>ここで該当変数が初期値を指定せずに定義されています。
42077
+
42078
+ <h4 class="subsection">6.749.2 内容</h4>
42079
+
42080
+ <p><a href="#W0459">W0459</a>、<a href="#W0460">W0460</a>、<a href="#W0461">W0461</a>、<a href="#W0462">W0462</a>
42081
+ メッセージを検出した状況として、どの位置で該当変数を定義したかを示します。
42082
+
42083
+ <h4 class="subsection">6.749.3 サンプルコード</h4>
42084
+
42085
+ <pre class="verbatim">int foo(int i)
42086
+ {
42087
+ int j; /* C1003 */
42088
+
42089
+ if (i &lt; 0) { /* C1001 */
42090
+ if (i &lt; -10) { /* C1002 */
42091
+ j = 2;
42092
+ }
42093
+ else if (i &lt; -5) { /* C1002 */
42094
+ j = 3;
42095
+ }
42096
+ }
42097
+ else {
42098
+ j = 1;
42099
+ }
42100
+
42101
+ return j; /* W0460 */
42102
+ }
42103
+ </pre>
42104
+
42105
+ <h4 class="subsection">6.749.4 関連メッセージ</h4>
42106
+
42107
+ <ul>
42108
+ <li><a href="#W0459">W0459</a> 変数 `%s' の値は、この式の評価時点では設定されていません。このプログラムは危険です。
42109
+ <li><a href="#W0460">W0460</a> 変数 `%s' の値は、この式の評価時点では設定されていないことがあります。
42110
+ <li><a href="#W0461">W0461</a> 値が定まっていない変数を指すポインタを関数の実引数として使っています。このプログラムは危険です。
42111
+ <li><a href="#W0462">W0462</a> 値が設定されていないことがありうる変数を指すポインタを関数の実引数として使っています。
42112
+ </ul>
42113
+
42114
+ <h4 class="subsection">6.749.5 対応バージョン</h4>
42115
+
42116
+ <p>3.2.0
42117
+
42118
+ <div class="node">
42119
+ <a name="C1004"></a>
42120
+ <p><hr>
42121
+ Next:&nbsp;<a rel="next" accesskey="n" href="#C1005">C1005</a>,
42122
+ Previous:&nbsp;<a rel="previous" accesskey="p" href="#C1003">C1003</a>,
42123
+ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
42124
+
42125
+ </div>
42126
+
42127
+ <h3 class="section">6.750 C1004</h3>
42128
+
42129
+ <p><a name="index-C1004-806"></a>
42130
+
42131
+ <h4 class="subsection">6.750.1 メッセージ本文</h4>
42132
+
42133
+ <p>ここで該当変数に NULL の値を割り当てました。
42134
+
42135
+ <h4 class="subsection">6.750.2 内容</h4>
42136
+
42137
+ <p><a href="#W0421">W0421</a>、<a href="#W0422">W0422</a>、<a href="#W0423">W0423</a>、<a href="#W0424">W0424</a>
42138
+ メッセージを検出した状況として、どの位置で該当変数に NULL を割り当てたかを示し
42139
+ ます。
42140
+
42141
+ <h4 class="subsection">6.750.3 サンプルコード</h4>
42142
+
42143
+ <pre class="verbatim">extern int *bar(void);
42144
+ extern int *baz(void);
42145
+
42146
+ void foo(int i)
42147
+ {
42148
+ int *p = NULL; /* C1004 */
42149
+
42150
+ if (i &lt; 0) { /* C1002 */
42151
+ p = bar();
42152
+ if (!p) {
42153
+ return;
42154
+ }
42155
+ }
42156
+ else {
42157
+ p = baz(); /* C1005 */
42158
+ }
42159
+
42160
+ *p += 2; /* W0422 */
42161
+ }
42162
+ </pre>
42163
+
42164
+ <h4 class="subsection">6.750.4 関連メッセージ</h4>
42165
+
42166
+ <ul>
42167
+ <li><a href="#W0421">W0421</a> 値が NULL になるポインタに対して間接参照が行われています。
42168
+ <li><a href="#W0422">W0422</a> 値が NULL になることがあるポインタに対して間接参照が行われています。
42169
+ <li><a href="#W0423">W0423</a> 値が NULL になるポインタに対して算術演算を行っています。
42170
+ <li><a href="#W0424">W0424</a> 値が NULL になることがあるポインタに対して算術演算を行っています。
42171
+ </ul>
42172
+
42173
+ <h4 class="subsection">6.750.5 対応バージョン</h4>
42174
+
42175
+ <p>3.2.0
42176
+
42177
+ <div class="node">
42178
+ <a name="C1005"></a>
42179
+ <p><hr>
42180
+ Next:&nbsp;<a rel="next" accesskey="n" href="#C1006">C1006</a>,
42181
+ Previous:&nbsp;<a rel="previous" accesskey="p" href="#C1004">C1004</a>,
42182
+ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
42183
+
42184
+ </div>
42185
+
42186
+ <h3 class="section">6.751 C1005</h3>
42187
+
42188
+ <p><a name="index-C1005-807"></a>
42189
+
42190
+ <h4 class="subsection">6.751.1 メッセージ本文</h4>
42191
+
42192
+ <p>ここで該当変数に NULL の可能性がある値を割り当てました。
42193
+
42194
+ <h4 class="subsection">6.751.2 内容</h4>
42195
+
42196
+ <p><a href="#W0421">W0421</a>、<a href="#W0422">W0422</a>、<a href="#W0423">W0423</a>、<a href="#W0424">W0424</a>
42197
+ メッセージを検出した状況として、どの位置で該当変数に NULL となり得る値を割り当
42198
+ てたかを示します。
42199
+
42200
+ <h4 class="subsection">6.751.3 サンプルコード</h4>
42201
+
42202
+ <pre class="verbatim">extern int *bar(void);
42203
+ extern int *baz(void);
42204
+
42205
+ void foo(int i)
42206
+ {
42207
+ int *p = NULL; /* C1004 */
42208
+
42209
+ if (i &lt; 0) { /* C1002 */
42210
+ p = bar();
42211
+ if (!p) {
42212
+ return;
42213
+ }
42214
+ }
42215
+ else {
42216
+ p = baz(); /* C1005 */
42217
+ }
42218
+
42219
+ *p += 2; /* W0422 */
42220
+ }
42221
+ </pre>
42222
+
42223
+ <h4 class="subsection">6.751.4 関連メッセージ</h4>
42224
+
42225
+ <ul>
42226
+ <li><a href="#W0421">W0421</a> 値が NULL になるポインタに対して間接参照が行われています。
42227
+ <li><a href="#W0422">W0422</a> 値が NULL になることがあるポインタに対して間接参照が行われています。
42228
+ <li><a href="#W0423">W0423</a> 値が NULL になるポインタに対して算術演算を行っています。
42229
+ <li><a href="#W0424">W0424</a> 値が NULL になることがあるポインタに対して算術演算を行っています。
42230
+ </ul>
42231
+
42232
+ <h4 class="subsection">6.751.5 対応バージョン</h4>
42233
+
42234
+ <p>3.2.0
42235
+
42236
+ <div class="node">
42237
+ <a name="C1006"></a>
42238
+ <p><hr>
42239
+ Previous:&nbsp;<a rel="previous" accesskey="p" href="#C1005">C1005</a>,
42240
+ Up:&nbsp;<a rel="up" accesskey="u" href="#Messages">Messages</a>
42241
+
42242
+ </div>
42243
+
42244
+ <h3 class="section">6.752 C1006</h3>
42245
+
42246
+ <p><a name="index-C1006-808"></a>
42247
+
42248
+ <h4 class="subsection">6.752.1 メッセージ本文</h4>
42249
+
42250
+ <p>ここで該当変数に値を割り当てました。
42251
+
42252
+ <h4 class="subsection">6.752.2 内容</h4>
42253
+
42254
+ <p><a href="#W0093">W0093</a>、<a href="#W0096">W0096</a>、<a href="#W0097">W0097</a>、<a href="#W0115">W0115</a>、
42255
+ <a href="#W0116">W0116</a>、<a href="#W0568">W0568</a>、<a href="#W0569">W0569</a>、<a href="#W0570">W0570</a>、
42256
+ <a href="#W0607">W0607</a>、<a href="#W0608">W0608</a>、<a href="#W0705">W0705</a>、<a href="#W0707">W0707</a>、
42257
+ <a href="#W0720">W0720</a>、<a href="#W0745">W0745</a>、<a href="#W1049">W1049</a>、<a href="#W1050">W1050</a>
42258
+ メッセージを検出した状況として、どの位置で該当変数に問題の値を割り当てたかを示
42259
+ します。
42260
+
42261
+ <h4 class="subsection">6.752.3 サンプルコード</h4>
42262
+
42263
+ <pre class="verbatim">int foo(int i)
42264
+ {
42265
+ int j = 0; /* C1006 */
42266
+
42267
+ if (i &lt; 0) { /* C1002 */
42268
+ j = -i;
42269
+ }
42270
+ else if (i > 0) { /* C1002 */
42271
+ j = i;
42272
+ }
42273
+
42274
+ return 5 / j; /* W0093 */
42275
+ }
42276
+ </pre>
42277
+
42278
+ <h4 class="subsection">6.752.4 関連メッセージ</h4>
42279
+
42280
+ <ul>
42281
+ <li><a href="#W0093">W0093</a> ゼロで除算される恐れがあります。
42282
+ <li><a href="#W0096">W0096</a> ゼロになる定数式で除算しています。
42283
+ <li><a href="#W0097">W0097</a> ゼロの値で除算しています。
42284
+ <li><a href="#W0115">W0115</a> 符号無し左シフト演算 `&lt;&lt;' は、上位ビットを切り捨てます。
42285
+ <li><a href="#W0116">W0116</a> 符号無し左シフト演算 `&lt;&lt;' は、上位ビットを切り捨てる恐れがあります。
42286
+ <li><a href="#W0568">W0568</a> 符号付き定数式の値を左シフト演算した結果は、未定義になります。
42287
+ <li><a href="#W0569">W0569</a> 符号付きの式の値を左シフト演算した結果は、未定義になります。
42288
+ <li><a href="#W0570">W0570</a> 符号付きの式の値を左シフト演算した結果は、未定義になることがあります。
42289
+ <li><a href="#W0607">W0607</a> 値が負になる整数式が符号無し型に変換されています。
42290
+ <li><a href="#W0608">W0608</a> 値が負になることがありうる整数式が符号無し型に変換されています。
42291
+ <li><a href="#W0705">W0705</a> 配列の添字が領域外を指すことがあります。
42292
+ <li><a href="#W0707">W0707</a> 配列の添字が領域外を指す定数です。
42293
+ <li><a href="#W0720">W0720</a> 浮動小数点型の値が変換先の型の範囲に入りきりません。
42294
+ <li><a href="#W0745">W0745</a> 配列の添字が、領域外を指しています。
42295
+ <li><a href="#W1049">W1049</a> この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できないことがあります。
42296
+ <li><a href="#W1050">W1050</a> この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できません。
42297
+ </ul>
42298
+
42299
+ <h4 class="subsection">6.752.5 対応バージョン</h4>
42300
+
42301
+ <p>3.2.0
42302
+
41706
42303
  <div class="node">
41707
42304
  <a name="Metrics"></a>
41708
42305
  <p><hr>
@@ -41743,7 +42340,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
41743
42340
 
41744
42341
  <h3 class="section">7.1 FL_STMT</h3>
41745
42342
 
41746
- <p><a name="index-FL_005fSTMT-802"></a>
42343
+ <p><a name="index-FL_005fSTMT-809"></a>
41747
42344
 
41748
42345
  <h4 class="subsection">7.1.1 メトリック名</h4>
41749
42346
 
@@ -41815,7 +42412,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
41815
42412
 
41816
42413
  <h3 class="section">7.2 FL_FUNC</h3>
41817
42414
 
41818
- <p><a name="index-FL_005fFUNC-803"></a>
42415
+ <p><a name="index-FL_005fFUNC-810"></a>
41819
42416
 
41820
42417
  <h4 class="subsection">7.2.1 メトリック名</h4>
41821
42418
 
@@ -41860,7 +42457,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
41860
42457
 
41861
42458
  <h3 class="section">7.3 FN_STMT</h3>
41862
42459
 
41863
- <p><a name="index-FN_005fSTMT-804"></a>
42460
+ <p><a name="index-FN_005fSTMT-811"></a>
41864
42461
 
41865
42462
  <h4 class="subsection">7.3.1 メトリック名</h4>
41866
42463
 
@@ -41932,7 +42529,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
41932
42529
 
41933
42530
  <h3 class="section">7.4 FN_UNRC</h3>
41934
42531
 
41935
- <p><a name="index-FN_005fUNRC-805"></a>
42532
+ <p><a name="index-FN_005fUNRC-812"></a>
41936
42533
 
41937
42534
  <h4 class="subsection">7.4.1 メトリック名</h4>
41938
42535
 
@@ -42011,7 +42608,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
42011
42608
 
42012
42609
  <h3 class="section">7.5 FN_LINE</h3>
42013
42610
 
42014
- <p><a name="index-FN_005fLINE-806"></a>
42611
+ <p><a name="index-FN_005fLINE-813"></a>
42015
42612
 
42016
42613
  <h4 class="subsection">7.5.1 メトリック名</h4>
42017
42614
 
@@ -42070,7 +42667,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
42070
42667
 
42071
42668
  <h3 class="section">7.6 FN_PARA</h3>
42072
42669
 
42073
- <p><a name="index-FN_005fPARA-807"></a>
42670
+ <p><a name="index-FN_005fPARA-814"></a>
42074
42671
 
42075
42672
  <h4 class="subsection">7.6.1 メトリック名</h4>
42076
42673
 
@@ -42116,7 +42713,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
42116
42713
 
42117
42714
  <h3 class="section">7.7 FN_UNUV</h3>
42118
42715
 
42119
- <p><a name="index-FN_005fUNUV-808"></a>
42716
+ <p><a name="index-FN_005fUNUV-815"></a>
42120
42717
 
42121
42718
  <h4 class="subsection">7.7.1 メトリック名</h4>
42122
42719
 
@@ -42167,7 +42764,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
42167
42764
 
42168
42765
  <h3 class="section">7.8 FN_CSUB</h3>
42169
42766
 
42170
- <p><a name="index-FN_005fCSUB-809"></a>
42767
+ <p><a name="index-FN_005fCSUB-816"></a>
42171
42768
 
42172
42769
  <h4 class="subsection">7.8.1 メトリック名</h4>
42173
42770
 
@@ -42211,7 +42808,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
42211
42808
 
42212
42809
  <h3 class="section">7.9 FN_CALL</h3>
42213
42810
 
42214
- <p><a name="index-FN_005fCALL-810"></a>
42811
+ <p><a name="index-FN_005fCALL-817"></a>
42215
42812
 
42216
42813
  <h4 class="subsection">7.9.1 メトリック名</h4>
42217
42814
 
@@ -42262,7 +42859,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
42262
42859
 
42263
42860
  <h3 class="section">7.10 FN_GOTO</h3>
42264
42861
 
42265
- <p><a name="index-FN_005fGOTO-811"></a>
42862
+ <p><a name="index-FN_005fGOTO-818"></a>
42266
42863
 
42267
42864
  <h4 class="subsection">7.10.1 メトリック名</h4>
42268
42865
 
@@ -42313,7 +42910,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
42313
42910
 
42314
42911
  <h3 class="section">7.11 FN_RETN</h3>
42315
42912
 
42316
- <p><a name="index-FN_005fRETN-812"></a>
42913
+ <p><a name="index-FN_005fRETN-819"></a>
42317
42914
 
42318
42915
  <h4 class="subsection">7.11.1 メトリック名</h4>
42319
42916
 
@@ -42386,7 +42983,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
42386
42983
 
42387
42984
  <h3 class="section">7.12 FN_UELS</h3>
42388
42985
 
42389
- <p><a name="index-FN_005fUELS-813"></a>
42986
+ <p><a name="index-FN_005fUELS-820"></a>
42390
42987
 
42391
42988
  <h4 class="subsection">7.12.1 メトリック名</h4>
42392
42989
 
@@ -42447,7 +43044,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
42447
43044
 
42448
43045
  <h3 class="section">7.13 FN_NEST</h3>
42449
43046
 
42450
- <p><a name="index-FN_005fNEST-814"></a>
43047
+ <p><a name="index-FN_005fNEST-821"></a>
42451
43048
 
42452
43049
  <h4 class="subsection">7.13.1 メトリック名</h4>
42453
43050
 
@@ -42518,7 +43115,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
42518
43115
 
42519
43116
  <h3 class="section">7.14 FN_PATH</h3>
42520
43117
 
42521
- <p><a name="index-FN_005fPATH-815"></a>
43118
+ <p><a name="index-FN_005fPATH-822"></a>
42522
43119
 
42523
43120
  <h4 class="subsection">7.14.1 メトリック名</h4>
42524
43121
 
@@ -42675,7 +43272,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Metrics">Metrics</a>
42675
43272
 
42676
43273
  <h3 class="section">7.15 FN_CYCM</h3>
42677
43274
 
42678
- <p><a name="index-FN_005fCYCM-816"></a>
43275
+ <p><a name="index-FN_005fCYCM-823"></a>
42679
43276
 
42680
43277
  <h4 class="subsection">7.15.1 メトリック名</h4>
42681
43278
 
@@ -42814,7 +43411,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
42814
43411
 
42815
43412
  <h3 class="section">8.1 VER</h3>
42816
43413
 
42817
- <p><a name="index-VER-817"></a>
43414
+ <p><a name="index-VER-824"></a>
42818
43415
 
42819
43416
  <h4 class="subsection">8.1.1 コード情報名</h4>
42820
43417
 
@@ -42844,7 +43441,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
42844
43441
 
42845
43442
  <h3 class="section">8.2 DCL(T)</h3>
42846
43443
 
42847
- <p><a name="index-DCL_0028T_0029-818"></a>
43444
+ <p><a name="index-DCL_0028T_0029-825"></a>
42848
43445
 
42849
43446
  <h4 class="subsection">8.2.1 コード情報名</h4>
42850
43447
 
@@ -42875,7 +43472,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
42875
43472
 
42876
43473
  <h3 class="section">8.3 DCL(V)</h3>
42877
43474
 
42878
- <p><a name="index-DCL_0028V_0029-819"></a>
43475
+ <p><a name="index-DCL_0028V_0029-826"></a>
42879
43476
 
42880
43477
  <h4 class="subsection">8.3.1 コード情報名</h4>
42881
43478
 
@@ -42906,7 +43503,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
42906
43503
 
42907
43504
  <h3 class="section">8.4 DCL(F)</h3>
42908
43505
 
42909
- <p><a name="index-DCL_0028F_0029-820"></a>
43506
+ <p><a name="index-DCL_0028F_0029-827"></a>
42910
43507
 
42911
43508
  <h4 class="subsection">8.4.1 コード情報名</h4>
42912
43509
 
@@ -42937,7 +43534,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
42937
43534
 
42938
43535
  <h3 class="section">8.5 DEF(V)</h3>
42939
43536
 
42940
- <p><a name="index-DEF_0028V_0029-821"></a>
43537
+ <p><a name="index-DEF_0028V_0029-828"></a>
42941
43538
 
42942
43539
  <h4 class="subsection">8.5.1 コード情報名</h4>
42943
43540
 
@@ -42968,7 +43565,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
42968
43565
 
42969
43566
  <h3 class="section">8.6 DEF(F)</h3>
42970
43567
 
42971
- <p><a name="index-DEF_0028F_0029-822"></a>
43568
+ <p><a name="index-DEF_0028F_0029-829"></a>
42972
43569
 
42973
43570
  <h4 class="subsection">8.6.1 コード情報名</h4>
42974
43571
 
@@ -42998,7 +43595,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
42998
43595
 
42999
43596
  <h3 class="section">8.7 DEF(M)</h3>
43000
43597
 
43001
- <p><a name="index-DEF_0028M_0029-823"></a>
43598
+ <p><a name="index-DEF_0028M_0029-830"></a>
43002
43599
 
43003
43600
  <h4 class="subsection">8.7.1 コード情報名</h4>
43004
43601
 
@@ -43028,7 +43625,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
43028
43625
 
43029
43626
  <h3 class="section">8.8 DEF(L)</h3>
43030
43627
 
43031
- <p><a name="index-DEF_0028L_0029-824"></a>
43628
+ <p><a name="index-DEF_0028L_0029-831"></a>
43032
43629
 
43033
43630
  <h4 class="subsection">8.8.1 コード情報名</h4>
43034
43631
 
@@ -43042,7 +43639,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
43042
43639
 
43043
43640
  <p><a href="#Output_005fMetrics_005fDef_005fSample">定義レコードの出力例</a>を参照。
43044
43641
 
43045
- <p><a name="index-INI-825"></a>
43642
+ <p><a name="index-INI-832"></a>
43046
43643
 
43047
43644
  <h4 class="subsection">8.8.4 対応バージョン</h4>
43048
43645
 
@@ -43086,7 +43683,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
43086
43683
 
43087
43684
  <h3 class="section">8.10 ASN</h3>
43088
43685
 
43089
- <p><a name="index-ASN-826"></a>
43686
+ <p><a name="index-ASN-833"></a>
43090
43687
 
43091
43688
  <h4 class="subsection">8.10.1 コード情報名</h4>
43092
43689
 
@@ -43116,7 +43713,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
43116
43713
 
43117
43714
  <h3 class="section">8.11 DEP(I)</h3>
43118
43715
 
43119
- <p><a name="index-DEP_0028I_0029-827"></a>
43716
+ <p><a name="index-DEP_0028I_0029-834"></a>
43120
43717
 
43121
43718
  <h4 class="subsection">8.11.1 コード情報名</h4>
43122
43719
 
@@ -43148,7 +43745,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
43148
43745
 
43149
43746
  <h3 class="section">8.12 DEP(C)</h3>
43150
43747
 
43151
- <p><a name="index-DEP_0028C_0029-828"></a>
43748
+ <p><a name="index-DEP_0028C_0029-835"></a>
43152
43749
 
43153
43750
  <h4 class="subsection">8.12.1 コード情報名</h4>
43154
43751
 
@@ -43179,7 +43776,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
43179
43776
 
43180
43777
  <h3 class="section">8.13 DEP(X)</h3>
43181
43778
 
43182
- <p><a name="index-DEP_0028X_0029-829"></a>
43779
+ <p><a name="index-DEP_0028X_0029-836"></a>
43183
43780
 
43184
43781
  <h4 class="subsection">8.13.1 コード情報名</h4>
43185
43782
 
@@ -43209,7 +43806,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
43209
43806
 
43210
43807
  <h3 class="section">8.14 LIT</h3>
43211
43808
 
43212
- <p><a name="index-LIT-830"></a>
43809
+ <p><a name="index-LIT-837"></a>
43213
43810
 
43214
43811
  <h4 class="subsection">8.14.1 コード情報名</h4>
43215
43812
 
@@ -43238,7 +43835,7 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#CodeStructures">CodeStructures</a>
43238
43835
 
43239
43836
  <h3 class="section">8.15 PRE</h3>
43240
43837
 
43241
- <p><a name="index-PRE-831"></a>
43838
+ <p><a name="index-PRE-838"></a>
43242
43839
 
43243
43840
  <h4 class="subsection">8.15.1 コード情報名</h4>
43244
43841
 
@@ -43779,18 +44376,25 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
43779
44376
  <h2 class="unnumbered">索引</h2>
43780
44377
 
43781
44378
  <ul class="index-cp" compact>
43782
- <li><a href="#index-ASN-826">ASN</a>: <a href="#ASN">ASN</a></li>
44379
+ <li><a href="#index-ASN-833">ASN</a>: <a href="#ASN">ASN</a></li>
43783
44380
  <li><a href="#index-C0001-801">C0001</a>: <a href="#C0001">C0001</a></li>
43784
- <li><a href="#index-DCL_0028F_0029-820">DCL(F)</a>: <a href="#DCL_0028F_0029">DCL(F)</a></li>
43785
- <li><a href="#index-DCL_0028T_0029-818">DCL(T)</a>: <a href="#DCL_0028T_0029">DCL(T)</a></li>
43786
- <li><a href="#index-DCL_0028V_0029-819">DCL(V)</a>: <a href="#DCL_0028V_0029">DCL(V)</a></li>
43787
- <li><a href="#index-DEF_0028F_0029-822">DEF(F)</a>: <a href="#DEF_0028F_0029">DEF(F)</a></li>
43788
- <li><a href="#index-DEF_0028L_0029-824">DEF(L)</a>: <a href="#DEF_0028L_0029">DEF(L)</a></li>
43789
- <li><a href="#index-DEF_0028M_0029-823">DEF(M)</a>: <a href="#DEF_0028M_0029">DEF(M)</a></li>
43790
- <li><a href="#index-DEF_0028V_0029-821">DEF(V)</a>: <a href="#DEF_0028V_0029">DEF(V)</a></li>
43791
- <li><a href="#index-DEP_0028C_0029-828">DEP(C)</a>: <a href="#DEP_0028C_0029">DEP(C)</a></li>
43792
- <li><a href="#index-DEP_0028I_0029-827">DEP(I)</a>: <a href="#DEP_0028I_0029">DEP(I)</a></li>
43793
- <li><a href="#index-DEP_0028X_0029-829">DEP(X)</a>: <a href="#DEP_0028X_0029">DEP(X)</a></li>
44381
+ <li><a href="#index-C1000-802">C1000</a>: <a href="#C1000">C1000</a></li>
44382
+ <li><a href="#index-C1001-803">C1001</a>: <a href="#C1001">C1001</a></li>
44383
+ <li><a href="#index-C1002-804">C1002</a>: <a href="#C1002">C1002</a></li>
44384
+ <li><a href="#index-C1003-805">C1003</a>: <a href="#C1003">C1003</a></li>
44385
+ <li><a href="#index-C1004-806">C1004</a>: <a href="#C1004">C1004</a></li>
44386
+ <li><a href="#index-C1005-807">C1005</a>: <a href="#C1005">C1005</a></li>
44387
+ <li><a href="#index-C1006-808">C1006</a>: <a href="#C1006">C1006</a></li>
44388
+ <li><a href="#index-DCL_0028F_0029-827">DCL(F)</a>: <a href="#DCL_0028F_0029">DCL(F)</a></li>
44389
+ <li><a href="#index-DCL_0028T_0029-825">DCL(T)</a>: <a href="#DCL_0028T_0029">DCL(T)</a></li>
44390
+ <li><a href="#index-DCL_0028V_0029-826">DCL(V)</a>: <a href="#DCL_0028V_0029">DCL(V)</a></li>
44391
+ <li><a href="#index-DEF_0028F_0029-829">DEF(F)</a>: <a href="#DEF_0028F_0029">DEF(F)</a></li>
44392
+ <li><a href="#index-DEF_0028L_0029-831">DEF(L)</a>: <a href="#DEF_0028L_0029">DEF(L)</a></li>
44393
+ <li><a href="#index-DEF_0028M_0029-830">DEF(M)</a>: <a href="#DEF_0028M_0029">DEF(M)</a></li>
44394
+ <li><a href="#index-DEF_0028V_0029-828">DEF(V)</a>: <a href="#DEF_0028V_0029">DEF(V)</a></li>
44395
+ <li><a href="#index-DEP_0028C_0029-835">DEP(C)</a>: <a href="#DEP_0028C_0029">DEP(C)</a></li>
44396
+ <li><a href="#index-DEP_0028I_0029-834">DEP(I)</a>: <a href="#DEP_0028I_0029">DEP(I)</a></li>
44397
+ <li><a href="#index-DEP_0028X_0029-836">DEP(X)</a>: <a href="#DEP_0028X_0029">DEP(X)</a></li>
43794
44398
  <li><a href="#index-E0004-61">E0004</a>: <a href="#E0004">E0004</a></li>
43795
44399
  <li><a href="#index-E0007-62">E0007</a>: <a href="#E0007">E0007</a></li>
43796
44400
  <li><a href="#index-E0008-63">E0008</a>: <a href="#E0008">E0008</a></li>
@@ -43800,25 +44404,25 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
43800
44404
  <li><a href="#index-E0014-67">E0014</a>: <a href="#E0014">E0014</a></li>
43801
44405
  <li><a href="#index-E0015-68">E0015</a>: <a href="#E0015">E0015</a></li>
43802
44406
  <li><a href="#index-E0016-69">E0016</a>: <a href="#E0016">E0016</a></li>
43803
- <li><a href="#index-FL_005fFUNC-803">FL_FUNC</a>: <a href="#FL_005fFUNC">FL_FUNC</a></li>
43804
- <li><a href="#index-FL_005fSTMT-802">FL_STMT</a>: <a href="#FL_005fSTMT">FL_STMT</a></li>
43805
- <li><a href="#index-FN_005fCALL-810">FN_CALL</a>: <a href="#FN_005fCALL">FN_CALL</a></li>
43806
- <li><a href="#index-FN_005fCSUB-809">FN_CSUB</a>: <a href="#FN_005fCSUB">FN_CSUB</a></li>
43807
- <li><a href="#index-FN_005fCYCM-816">FN_CYCM</a>: <a href="#FN_005fCYCM">FN_CYCM</a></li>
43808
- <li><a href="#index-FN_005fGOTO-811">FN_GOTO</a>: <a href="#FN_005fGOTO">FN_GOTO</a></li>
43809
- <li><a href="#index-FN_005fLINE-806">FN_LINE</a>: <a href="#FN_005fLINE">FN_LINE</a></li>
43810
- <li><a href="#index-FN_005fNEST-814">FN_NEST</a>: <a href="#FN_005fNEST">FN_NEST</a></li>
43811
- <li><a href="#index-FN_005fPARA-807">FN_PARA</a>: <a href="#FN_005fPARA">FN_PARA</a></li>
43812
- <li><a href="#index-FN_005fPATH-815">FN_PATH</a>: <a href="#FN_005fPATH">FN_PATH</a></li>
43813
- <li><a href="#index-FN_005fRETN-812">FN_RETN</a>: <a href="#FN_005fRETN">FN_RETN</a></li>
43814
- <li><a href="#index-FN_005fSTMT-804">FN_STMT</a>: <a href="#FN_005fSTMT">FN_STMT</a></li>
43815
- <li><a href="#index-FN_005fUELS-813">FN_UELS</a>: <a href="#FN_005fUELS">FN_UELS</a></li>
43816
- <li><a href="#index-FN_005fUNRC-805">FN_UNRC</a>: <a href="#FN_005fUNRC">FN_UNRC</a></li>
43817
- <li><a href="#index-FN_005fUNUV-808">FN_UNUV</a>: <a href="#FN_005fUNUV">FN_UNUV</a></li>
43818
- <li><a href="#index-INI-825">INI</a>: <a href="#DEF_0028L_0029">DEF(L)</a></li>
43819
- <li><a href="#index-LIT-830">LIT</a>: <a href="#LIT">LIT</a></li>
43820
- <li><a href="#index-PRE-831">PRE</a>: <a href="#PRE">PRE</a></li>
43821
- <li><a href="#index-VER-817">VER</a>: <a href="#VER">VER</a></li>
44407
+ <li><a href="#index-FL_005fFUNC-810">FL_FUNC</a>: <a href="#FL_005fFUNC">FL_FUNC</a></li>
44408
+ <li><a href="#index-FL_005fSTMT-809">FL_STMT</a>: <a href="#FL_005fSTMT">FL_STMT</a></li>
44409
+ <li><a href="#index-FN_005fCALL-817">FN_CALL</a>: <a href="#FN_005fCALL">FN_CALL</a></li>
44410
+ <li><a href="#index-FN_005fCSUB-816">FN_CSUB</a>: <a href="#FN_005fCSUB">FN_CSUB</a></li>
44411
+ <li><a href="#index-FN_005fCYCM-823">FN_CYCM</a>: <a href="#FN_005fCYCM">FN_CYCM</a></li>
44412
+ <li><a href="#index-FN_005fGOTO-818">FN_GOTO</a>: <a href="#FN_005fGOTO">FN_GOTO</a></li>
44413
+ <li><a href="#index-FN_005fLINE-813">FN_LINE</a>: <a href="#FN_005fLINE">FN_LINE</a></li>
44414
+ <li><a href="#index-FN_005fNEST-821">FN_NEST</a>: <a href="#FN_005fNEST">FN_NEST</a></li>
44415
+ <li><a href="#index-FN_005fPARA-814">FN_PARA</a>: <a href="#FN_005fPARA">FN_PARA</a></li>
44416
+ <li><a href="#index-FN_005fPATH-822">FN_PATH</a>: <a href="#FN_005fPATH">FN_PATH</a></li>
44417
+ <li><a href="#index-FN_005fRETN-819">FN_RETN</a>: <a href="#FN_005fRETN">FN_RETN</a></li>
44418
+ <li><a href="#index-FN_005fSTMT-811">FN_STMT</a>: <a href="#FN_005fSTMT">FN_STMT</a></li>
44419
+ <li><a href="#index-FN_005fUELS-820">FN_UELS</a>: <a href="#FN_005fUELS">FN_UELS</a></li>
44420
+ <li><a href="#index-FN_005fUNRC-812">FN_UNRC</a>: <a href="#FN_005fUNRC">FN_UNRC</a></li>
44421
+ <li><a href="#index-FN_005fUNUV-815">FN_UNUV</a>: <a href="#FN_005fUNUV">FN_UNUV</a></li>
44422
+ <li><a href="#index-INI-832">INI</a>: <a href="#DEF_0028L_0029">DEF(L)</a></li>
44423
+ <li><a href="#index-LIT-837">LIT</a>: <a href="#LIT">LIT</a></li>
44424
+ <li><a href="#index-PRE-838">PRE</a>: <a href="#PRE">PRE</a></li>
44425
+ <li><a href="#index-VER-824">VER</a>: <a href="#VER">VER</a></li>
43822
44426
  <li><a href="#index-W0001-70">W0001</a>: <a href="#W0001">W0001</a></li>
43823
44427
  <li><a href="#index-W0002-71">W0002</a>: <a href="#W0002">W0002</a></li>
43824
44428
  <li><a href="#index-W0003-72">W0003</a>: <a href="#W0003">W0003</a></li>