adlint 2.6.0 → 2.6.2
Sign up to get free protection for your applications and to get access to all the features.
- data/ChangeLog +122 -0
- data/MANIFEST +1 -0
- data/NEWS +23 -4
- data/README +1 -1
- data/Rakefile +1 -1
- data/etc/mesg.d/c_builtin/en_US/messages.yml +8 -8
- data/etc/mesg.d/c_builtin/ja_JP/messages.yml +8 -8
- data/etc/mesg.d/core/en_US/messages.yml +1 -1
- data/etc/mesg.d/core/ja_JP/messages.yml +1 -1
- data/features/code_check/W0599.feature +71 -0
- data/lib/adlint/c/builtin.rb +1 -1
- data/lib/adlint/c/const.rb +60 -60
- data/lib/adlint/c/conv.rb +3 -3
- data/lib/adlint/c/ctrlexpr.rb +278 -357
- data/lib/adlint/c/expr.rb +1232 -1637
- data/lib/adlint/c/format.rb +26 -26
- data/lib/adlint/c/interp.rb +339 -391
- data/lib/adlint/c/mediator.rb +1 -2
- data/lib/adlint/c/object.rb +8 -9
- data/lib/adlint/c/seqp.rb +1 -1
- data/lib/adlint/c/syntax.rb +6 -6
- data/lib/adlint/c/type.rb +8 -8
- data/lib/adlint/cpp/eval.rb +1 -1
- data/lib/adlint/cpp/macro.rb +4 -4
- data/lib/adlint/cpp/util.rb +1 -1
- data/lib/adlint/exam/c_builtin/c_check.rb +93 -95
- data/lib/adlint/exam/c_builtin/ld_check.rb +4 -4
- data/lib/adlint/traits.rb +7 -16
- data/lib/adlint/util.rb +12 -0
- data/lib/adlint/version.rb +2 -2
- data/share/doc/developers_guide_ja.html +3 -3
- data/share/doc/developers_guide_ja.texi +1 -1
- data/share/doc/users_guide_en.html +32 -32
- data/share/doc/users_guide_en.texi +30 -30
- data/share/doc/users_guide_ja.html +32 -32
- data/share/doc/users_guide_ja.texi +30 -30
- metadata +4 -3
@@ -1,8 +1,8 @@
|
|
1
1
|
<html lang="ja">
|
2
2
|
<head>
|
3
|
-
<title>AdLint 2.6.
|
3
|
+
<title>AdLint 2.6.2 利用者ガイド</title>
|
4
4
|
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
|
5
|
-
<meta name="description" content="AdLint 2.6.
|
5
|
+
<meta name="description" content="AdLint 2.6.2 利用者ガイド">
|
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 2.6.
|
47
|
+
<h1 class="settitle">AdLint 2.6.2 利用者ガイド</h1>
|
48
48
|
<div class="node">
|
49
49
|
<a name="Top"></a>
|
50
50
|
<p><hr>
|
@@ -1533,7 +1533,7 @@ Up: <a rel="up" accesskey="u" href="#Traits">Traits</a>
|
|
1533
1533
|
</td><td valign="top" width="10%">
|
1534
1534
|
文字列の配列
|
1535
1535
|
</td><td valign="top" width="0%">
|
1536
|
-
<b>AdLint 2.6.
|
1536
|
+
<b>AdLint 2.6.2 では、この項目による設定は未サポートです。</b>
|
1537
1537
|
|
1538
1538
|
<p>ディレクトリパス名を指定した場合は、そのディレクトリ配下のソースコードについて
|
1539
1539
|
のみ、警告メッセージを出力します。
|
@@ -1546,7 +1546,7 @@ Up: <a rel="up" accesskey="u" href="#Traits">Traits</a>
|
|
1546
1546
|
</td><td valign="top" width="10%">
|
1547
1547
|
文字列の配列
|
1548
1548
|
</td><td valign="top" width="0%">
|
1549
|
-
<b>AdLint 2.6.
|
1549
|
+
<b>AdLint 2.6.2 では、この項目による設定は未サポートです。</b>
|
1550
1550
|
|
1551
1551
|
<p>ディレクトリパス名を指定した場合は、そのディレクトリ配下のソースコードについて
|
1552
1552
|
は、警告メッセージを抑止します。
|
@@ -1556,7 +1556,7 @@ Up: <a rel="up" accesskey="u" href="#Traits">Traits</a>
|
|
1556
1556
|
</td><td valign="top" width="10%">
|
1557
1557
|
真偽値
|
1558
1558
|
</td><td valign="top" width="0%">
|
1559
|
-
<b>AdLint 2.6.
|
1559
|
+
<b>AdLint 2.6.2 では、この項目による設定は未サポートです。</b>
|
1560
1560
|
|
1561
1561
|
<p>解析対象ソースコード内の注釈によるコードチェックの選択機能を有効化します。
|
1562
1562
|
|
@@ -1567,7 +1567,7 @@ Up: <a rel="up" accesskey="u" href="#Traits">Traits</a>
|
|
1567
1567
|
</td><td valign="top" width="10%">
|
1568
1568
|
文字列の配列
|
1569
1569
|
</td><td valign="top" width="0%">
|
1570
|
-
<b>AdLint 2.6.
|
1570
|
+
<b>AdLint 2.6.2 では、この項目による設定は未サポートです。</b>
|
1571
1571
|
|
1572
1572
|
<p><a href="#global_005ftraits_003aexam_005fpackages">exam_packages</a> で指定したソースコード検査パッ
|
1573
1573
|
ケージ中のコードチェック機能で、実行を除外するものをメッセージのカテゴリにより
|
@@ -1578,7 +1578,7 @@ Up: <a rel="up" accesskey="u" href="#Traits">Traits</a>
|
|
1578
1578
|
</td><td valign="top" width="10%">
|
1579
1579
|
正規表現を表す文字列
|
1580
1580
|
</td><td valign="top" width="0%">
|
1581
|
-
<b>AdLint 2.6.
|
1581
|
+
<b>AdLint 2.6.2 では、この項目による設定は未サポートです。</b>
|
1582
1582
|
|
1583
1583
|
<p><a href="#global_005ftraits_003aexam_005fpackages">exam_packages</a> で指定したソースコード検査パッ
|
1584
1584
|
ケージ中のコードチェック機能で、実行を除外するものをメッセージの深刻度により指
|
@@ -1589,7 +1589,7 @@ Up: <a rel="up" accesskey="u" href="#Traits">Traits</a>
|
|
1589
1589
|
</td><td valign="top" width="10%">
|
1590
1590
|
メッセージ ID と文字列のマップ
|
1591
1591
|
</td><td valign="top" width="0%">
|
1592
|
-
<b>AdLint 2.6.
|
1592
|
+
<b>AdLint 2.6.2 では、この項目による設定は未サポートです。</b>
|
1593
1593
|
|
1594
1594
|
<p><a href="#global_005ftraits_003aexam_005fpackages">exam_packages</a> で指定したソースコード検査パッ
|
1595
1595
|
ケージ中のコードチェック機能で、実行を除外するものをメッセージ ID により指定し
|
@@ -1604,7 +1604,7 @@ Up: <a rel="up" accesskey="u" href="#Traits">Traits</a>
|
|
1604
1604
|
</td><td valign="top" width="10%">
|
1605
1605
|
メッセージ ID と文字列のマップ
|
1606
1606
|
</td><td valign="top" width="0%">
|
1607
|
-
<b>AdLint 2.6.
|
1607
|
+
<b>AdLint 2.6.2 では、この項目による設定は未サポートです。</b>
|
1608
1608
|
|
1609
1609
|
<p><code>exclusion</code> セクションの設定内容により除外しましたが、メッセージ ID 指定で
|
1610
1610
|
特定のコードチェック機能を含める場合に指定します。
|
@@ -2432,7 +2432,7 @@ Up: <a rel="up" accesskey="u" href="#Top">Top</a>
|
|
2432
2432
|
<li><a href="#W0079">W0079</a>: この配列は、初期値の文字列リテラルの終端文字 `\0' を保持できません。
|
2433
2433
|
<li><a href="#W0080">W0080</a>: const 修飾されたグローバルオブジェクトが、明示的に初期化されずに定義されています。
|
2434
2434
|
<li><a href="#W0081">W0081</a>: 単項演算子 `-' を unsigned int 型、unsigned long 型、unsigned long long 型のオペランドに対して使うと、符号無し型になってしまいます。
|
2435
|
-
<li><a href="#W0082">W0082</a>: 単項演算子 `-'
|
2435
|
+
<li><a href="#W0082">W0082</a>: 単項演算子 `-' を符号無しの潜在型 `%s' のオペランドに対して使っています。
|
2436
2436
|
<li><a href="#W0084">W0084</a>: このカンマ演算子 `,' の左オペランドには副作用をもつ式が記述されていません。
|
2437
2437
|
<li><a href="#W0085">W0085</a>: この文には副作用がありません。誤りのある可能性が高いです。
|
2438
2438
|
<li><a href="#W0086">W0086</a>: 三項演算子 (条件演算子) の中で、2 番目あるいは 3 番目のオペランドは、副作用がない冗長な式です。
|
@@ -2838,8 +2838,8 @@ Up: <a rel="up" accesskey="u" href="#Top">Top</a>
|
|
2838
2838
|
<li><a href="#W0575">W0575</a>: 基本ソース文字集合に含まれない文字が、文字列リテラルの中で使われています。
|
2839
2839
|
<li><a href="#W0576">W0576</a>: 基本ソース文字集合に含まれない文字が、ソースファイル `%s' のコメントの中で使われています。
|
2840
2840
|
<li><a href="#W0577">W0577</a>: 基本ソース文字集合に含まれない文字が、ソースファイル `%s' のこの前処理指令の中で使われています。
|
2841
|
-
<li><a href="#W0578">W0578</a>:
|
2842
|
-
<li><a href="#W0579">W0579</a>:
|
2841
|
+
<li><a href="#W0578">W0578</a>: 暗黙的に汎整数型 `%s' の複合式からより大きな型 `%s' に型変換されています。
|
2842
|
+
<li><a href="#W0579">W0579</a>: 汎整数型 `%s' の複合式を、より大きな型 `%s' にキャストしています。
|
2843
2843
|
<li><a href="#W0580">W0580</a>: ローカルな静的変数のアドレスが、より長い有効範囲を持つポインタに代入されています。
|
2844
2844
|
<li><a href="#W0581">W0581</a>: 実引数の個数か型が、この関数の以前の使用時と異なります。
|
2845
2845
|
<li><a href="#W0582">W0582</a>: 実引数の個数か型が、この後で見つかる関数プロトタイプ宣言と異なります。
|
@@ -2888,7 +2888,7 @@ Up: <a rel="up" accesskey="u" href="#Top">Top</a>
|
|
2888
2888
|
<li><a href="#W0645">W0645</a>: 仮引数の型には、void 型を使うことができません。
|
2889
2889
|
<li><a href="#W0646">W0646</a>: 通常の文字列リテラルとワイド文字列リテラルが隣接しています。
|
2890
2890
|
<li><a href="#W0649">W0649</a>: シフト演算子の右オペランドの値が負の定数です。結果は未定義になります。
|
2891
|
-
<li><a href="#W0650">W0650</a>:
|
2891
|
+
<li><a href="#W0650">W0650</a>: シフト演算子の右オペランドの値が左オペランドの型 `%s' で表されるビット数に対して大きすぎます。結果は未定義になります。
|
2892
2892
|
<li><a href="#W0653">W0653</a>: 配列、構造体あるいは共用体の初期値が `{}' で囲まれていません。
|
2893
2893
|
<li><a href="#W0654">W0654</a>: 構造体あるいは共用体の初期化子は、同じ構造体型あるいは共用体型の値でなければなりません。
|
2894
2894
|
<li><a href="#W0655">W0655</a>: サイズが未定義のビットフィールド式です。
|
@@ -2950,7 +2950,7 @@ Up: <a rel="up" accesskey="u" href="#Top">Top</a>
|
|
2950
2950
|
<li><a href="#W0716">W0716</a>: ビット演算子あるいは算術演算子の両側のオペランドが実質的なブール型の式です。
|
2951
2951
|
<li><a href="#W0717">W0717</a>: ビット演算子あるいは算術演算子の左側のオペランドが実質的なブール型の式です。
|
2952
2952
|
<li><a href="#W0718">W0718</a>: ビット演算子あるいは算術演算子の右側のオペランドが実質的なブール型の式です。
|
2953
|
-
<li><a href="#W0719">W0719</a>:
|
2953
|
+
<li><a href="#W0719">W0719</a>: シフト演算子の右オペランドが、潜在型 `%s' のビット幅以上の定数値です。
|
2954
2954
|
<li><a href="#W0720">W0720</a>: 浮動小数点型の値が変換先の型の範囲に入りきりません。
|
2955
2955
|
<li><a href="#W0721">W0721</a>: この汎整数型は、ポインタの値を保持するのに十分な大きさをもちません。
|
2956
2956
|
<li><a href="#W0722">W0722</a>: 符号付きの式の値がオーバーフローしています。
|
@@ -3073,8 +3073,8 @@ Up: <a rel="up" accesskey="u" href="#Top">Top</a>
|
|
3073
3073
|
<li><a href="#W1048">W1048</a>: マルチバイト文字リテラルは処理系定義の値になります。
|
3074
3074
|
<li><a href="#W1049">W1049</a>: この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できないことがあります。
|
3075
3075
|
<li><a href="#W1050">W1050</a>: この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できません。
|
3076
|
-
<li><a href="#W1051">W1051</a>:
|
3077
|
-
<li><a href="#W1052">W1052</a>:
|
3076
|
+
<li><a href="#W1051">W1051</a>: 符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込みます。
|
3077
|
+
<li><a href="#W1052">W1052</a>: 符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込むことがあります。
|
3078
3078
|
<li><a href="#W1053">W1053</a>: 仮引数が列挙型である関数の実引数に数値定数が渡されています。
|
3079
3079
|
<li><a href="#W1054">W1054</a>: 列挙型に、列挙型ではない式が代入されています。
|
3080
3080
|
<li><a href="#W1055">W1055</a>: 戻り値が列挙型の関数から、列挙型ではない式が返されています。
|
@@ -5985,7 +5985,7 @@ Up: <a rel="up" accesskey="u" href="#Messages">Messages</a>
|
|
5985
5985
|
|
5986
5986
|
<h4 class="subsection">6.74.1 メッセージ本文</h4>
|
5987
5987
|
|
5988
|
-
<p>単項演算子 `-'
|
5988
|
+
<p>単項演算子 `-' を符号無しの潜在型 `%s' のオペランドに対して使っています。
|
5989
5989
|
|
5990
5990
|
<h4 class="subsection">6.74.2 内容</h4>
|
5991
5991
|
|
@@ -29020,7 +29020,7 @@ Up: <a rel="up" accesskey="u" href="#Messages">Messages</a>
|
|
29020
29020
|
|
29021
29021
|
<h4 class="subsection">6.480.1 メッセージ本文</h4>
|
29022
29022
|
|
29023
|
-
<p
|
29023
|
+
<p>暗黙的に汎整数型 `%s' の複合式からより大きな型 `%s' に型変換されています。
|
29024
29024
|
|
29025
29025
|
<h4 class="subsection">6.480.2 内容</h4>
|
29026
29026
|
|
@@ -29061,7 +29061,7 @@ Up: <a rel="up" accesskey="u" href="#Messages">Messages</a>
|
|
29061
29061
|
|
29062
29062
|
<h4 class="subsection">6.481.1 メッセージ本文</h4>
|
29063
29063
|
|
29064
|
-
<p
|
29064
|
+
<p>汎整数型 `%s' の複合式を、より大きな型 `%s' にキャストしています。
|
29065
29065
|
|
29066
29066
|
<h4 class="subsection">6.481.2 内容</h4>
|
29067
29067
|
|
@@ -31191,7 +31191,7 @@ Up: <a rel="up" accesskey="u" href="#Messages">Messages</a>
|
|
31191
31191
|
<h4 class="subsection">6.529.4 関連メッセージ</h4>
|
31192
31192
|
|
31193
31193
|
<ul>
|
31194
|
-
<li><a href="#W0650">W0650</a>
|
31194
|
+
<li><a href="#W0650">W0650</a> シフト演算子の右オペランドの値が左オペランドの型 `%s' で表されるビット数に対して大きすぎます。結果は未定義になります。
|
31195
31195
|
</ul>
|
31196
31196
|
|
31197
31197
|
<h4 class="subsection">6.529.5 対応バージョン</h4>
|
@@ -31213,7 +31213,7 @@ Up: <a rel="up" accesskey="u" href="#Messages">Messages</a>
|
|
31213
31213
|
|
31214
31214
|
<h4 class="subsection">6.530.1 メッセージ本文</h4>
|
31215
31215
|
|
31216
|
-
<p
|
31216
|
+
<p>シフト演算子の右オペランドの値が左オペランドの型 `%s' で表されるビット数に対して大きすぎます。結果は未定義になります。
|
31217
31217
|
|
31218
31218
|
<h4 class="subsection">6.530.2 内容</h4>
|
31219
31219
|
|
@@ -34681,7 +34681,7 @@ Up: <a rel="up" accesskey="u" href="#Messages">Messages</a>
|
|
34681
34681
|
|
34682
34682
|
<h4 class="subsection">6.592.1 メッセージ本文</h4>
|
34683
34683
|
|
34684
|
-
<p
|
34684
|
+
<p>シフト演算子の右オペランドが、潜在型 `%s' のビット幅以上の定数値です。
|
34685
34685
|
|
34686
34686
|
<h4 class="subsection">6.592.2 内容</h4>
|
34687
34687
|
|
@@ -40123,8 +40123,8 @@ Up: <a rel="up" accesskey="u" href="#Messages">Messages</a>
|
|
40123
40123
|
|
40124
40124
|
<ul>
|
40125
40125
|
<li><a href="#W1050">W1050</a> この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できません。
|
40126
|
-
<li><a href="#W1051">W1051</a>
|
40127
|
-
<li><a href="#W1052">W1052</a>
|
40126
|
+
<li><a href="#W1051">W1051</a> 符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込みます。
|
40127
|
+
<li><a href="#W1052">W1052</a> 符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込むことがあります。
|
40128
40128
|
</ul>
|
40129
40129
|
|
40130
40130
|
<h4 class="subsection">6.713.5 対応バージョン</h4>
|
@@ -40177,8 +40177,8 @@ Up: <a rel="up" accesskey="u" href="#Messages">Messages</a>
|
|
40177
40177
|
|
40178
40178
|
<ul>
|
40179
40179
|
<li><a href="#W1049">W1049</a> この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できないことがあります。
|
40180
|
-
<li><a href="#W1051">W1051</a>
|
40181
|
-
<li><a href="#W1052">W1052</a>
|
40180
|
+
<li><a href="#W1051">W1051</a> 符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込みます。
|
40181
|
+
<li><a href="#W1052">W1052</a> 符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込むことがあります。
|
40182
40182
|
</ul>
|
40183
40183
|
|
40184
40184
|
<h4 class="subsection">6.714.5 対応バージョン</h4>
|
@@ -40200,7 +40200,7 @@ Up: <a rel="up" accesskey="u" href="#Messages">Messages</a>
|
|
40200
40200
|
|
40201
40201
|
<h4 class="subsection">6.715.1 メッセージ本文</h4>
|
40202
40202
|
|
40203
|
-
<p
|
40203
|
+
<p>符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込みます。
|
40204
40204
|
|
40205
40205
|
<h4 class="subsection">6.715.2 内容</h4>
|
40206
40206
|
|
@@ -40223,7 +40223,7 @@ Up: <a rel="up" accesskey="u" href="#Messages">Messages</a>
|
|
40223
40223
|
<ul>
|
40224
40224
|
<li><a href="#W1049">W1049</a> この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できないことがあります。
|
40225
40225
|
<li><a href="#W1050">W1050</a> この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できません。
|
40226
|
-
<li><a href="#W1052">W1052</a>
|
40226
|
+
<li><a href="#W1052">W1052</a> 符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込むことがあります。
|
40227
40227
|
</ul>
|
40228
40228
|
|
40229
40229
|
<h4 class="subsection">6.715.5 対応バージョン</h4>
|
@@ -40245,7 +40245,7 @@ Up: <a rel="up" accesskey="u" href="#Messages">Messages</a>
|
|
40245
40245
|
|
40246
40246
|
<h4 class="subsection">6.716.1 メッセージ本文</h4>
|
40247
40247
|
|
40248
|
-
<p
|
40248
|
+
<p>符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込むことがあります。
|
40249
40249
|
|
40250
40250
|
<h4 class="subsection">6.716.2 内容</h4>
|
40251
40251
|
|
@@ -40268,7 +40268,7 @@ Up: <a rel="up" accesskey="u" href="#Messages">Messages</a>
|
|
40268
40268
|
<ul>
|
40269
40269
|
<li><a href="#W1049">W1049</a> この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できないことがあります。
|
40270
40270
|
<li><a href="#W1050">W1050</a> この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できません。
|
40271
|
-
<li><a href="#W1051">W1051</a>
|
40271
|
+
<li><a href="#W1051">W1051</a> 符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込みます。
|
40272
40272
|
</ul>
|
40273
40273
|
|
40274
40274
|
<h4 class="subsection">6.716.5 対応バージョン</h4>
|
@@ -41521,7 +41521,7 @@ void func(void)
|
|
41521
41521
|
return; /* W9001: Control never reaches here! */
|
41522
41522
|
}
|
41523
41523
|
/*
|
41524
|
-
* ISO standard
|
41524
|
+
* ISO standard says;
|
41525
41525
|
* Usual Arithmetic Conversion performed before evaluating
|
41526
41526
|
* the expression "i < ui".
|
41527
41527
|
* Usual Arithmetic Conversion makes "i < ui" into
|
@@ -2,7 +2,7 @@
|
|
2
2
|
@setfilename users_guide_ja.info
|
3
3
|
@documentlanguage ja
|
4
4
|
@documentencoding utf-8
|
5
|
-
@settitle AdLint 2.6.
|
5
|
+
@settitle AdLint 2.6.2 利用者ガイド
|
6
6
|
|
7
7
|
@copying
|
8
8
|
Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
|
@@ -1464,7 +1464,7 @@ extension_substitution:
|
|
1464
1464
|
@tab
|
1465
1465
|
文字列の配列
|
1466
1466
|
@tab
|
1467
|
-
@b{AdLint 2.6.
|
1467
|
+
@b{AdLint 2.6.2 では、この項目による設定は未サポートです。}
|
1468
1468
|
|
1469
1469
|
ディレクトリパス名を指定した場合は、そのディレクトリ配下のソースコードについて
|
1470
1470
|
のみ、警告メッセージを出力します。
|
@@ -1479,7 +1479,7 @@ extension_substitution:
|
|
1479
1479
|
@tab
|
1480
1480
|
文字列の配列
|
1481
1481
|
@tab
|
1482
|
-
@b{AdLint 2.6.
|
1482
|
+
@b{AdLint 2.6.2 では、この項目による設定は未サポートです。}
|
1483
1483
|
|
1484
1484
|
ディレクトリパス名を指定した場合は、そのディレクトリ配下のソースコードについて
|
1485
1485
|
は、警告メッセージを抑止します。
|
@@ -1491,7 +1491,7 @@ extension_substitution:
|
|
1491
1491
|
@tab
|
1492
1492
|
真偽値
|
1493
1493
|
@tab
|
1494
|
-
@b{AdLint 2.6.
|
1494
|
+
@b{AdLint 2.6.2 では、この項目による設定は未サポートです。}
|
1495
1495
|
|
1496
1496
|
解析対象ソースコード内の注釈によるコードチェックの選択機能を有効化します。
|
1497
1497
|
|
@@ -1504,7 +1504,7 @@ extension_substitution:
|
|
1504
1504
|
@tab
|
1505
1505
|
文字列の配列
|
1506
1506
|
@tab
|
1507
|
-
@b{AdLint 2.6.
|
1507
|
+
@b{AdLint 2.6.2 では、この項目による設定は未サポートです。}
|
1508
1508
|
|
1509
1509
|
@ref{global_traits:exam_packages, exam_packages} で指定したソースコード検査パッ
|
1510
1510
|
ケージ中のコードチェック機能で、実行を除外するものをメッセージのカテゴリにより
|
@@ -1517,7 +1517,7 @@ extension_substitution:
|
|
1517
1517
|
@tab
|
1518
1518
|
正規表現を表す文字列
|
1519
1519
|
@tab
|
1520
|
-
@b{AdLint 2.6.
|
1520
|
+
@b{AdLint 2.6.2 では、この項目による設定は未サポートです。}
|
1521
1521
|
|
1522
1522
|
@ref{global_traits:exam_packages, exam_packages} で指定したソースコード検査パッ
|
1523
1523
|
ケージ中のコードチェック機能で、実行を除外するものをメッセージの深刻度により指
|
@@ -1530,7 +1530,7 @@ extension_substitution:
|
|
1530
1530
|
@tab
|
1531
1531
|
メッセージ ID と文字列のマップ
|
1532
1532
|
@tab
|
1533
|
-
@b{AdLint 2.6.
|
1533
|
+
@b{AdLint 2.6.2 では、この項目による設定は未サポートです。}
|
1534
1534
|
|
1535
1535
|
@ref{global_traits:exam_packages, exam_packages} で指定したソースコード検査パッ
|
1536
1536
|
ケージ中のコードチェック機能で、実行を除外するものをメッセージ ID により指定し
|
@@ -1547,7 +1547,7 @@ extension_substitution:
|
|
1547
1547
|
@tab
|
1548
1548
|
メッセージ ID と文字列のマップ
|
1549
1549
|
@tab
|
1550
|
-
@b{AdLint 2.6.
|
1550
|
+
@b{AdLint 2.6.2 では、この項目による設定は未サポートです。}
|
1551
1551
|
|
1552
1552
|
@code{exclusion} セクションの設定内容により除外しましたが、メッセージ ID 指定で
|
1553
1553
|
特定のコードチェック機能を含める場合に指定します。
|
@@ -2457,7 +2457,7 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
|
|
2457
2457
|
* W0079::この配列は、初期値の文字列リテラルの終端文字 `\0' を保持できません。
|
2458
2458
|
* W0080::const 修飾されたグローバルオブジェクトが、明示的に初期化されずに定義されています。
|
2459
2459
|
* W0081::単項演算子 `-' を unsigned int 型、unsigned long 型、unsigned long long 型のオペランドに対して使うと、符号無し型になってしまいます。
|
2460
|
-
* W0082::単項演算子 `-'
|
2460
|
+
* W0082::単項演算子 `-' を符号無しの潜在型 `%s' のオペランドに対して使っています。
|
2461
2461
|
* W0084::このカンマ演算子 `,' の左オペランドには副作用をもつ式が記述されていません。
|
2462
2462
|
* W0085::この文には副作用がありません。誤りのある可能性が高いです。
|
2463
2463
|
* W0086::三項演算子 (条件演算子) の中で、2 番目あるいは 3 番目のオペランドは、副作用がない冗長な式です。
|
@@ -2863,8 +2863,8 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
|
|
2863
2863
|
* W0575::基本ソース文字集合に含まれない文字が、文字列リテラルの中で使われています。
|
2864
2864
|
* W0576::基本ソース文字集合に含まれない文字が、ソースファイル `%s' のコメントの中で使われています。
|
2865
2865
|
* W0577::基本ソース文字集合に含まれない文字が、ソースファイル `%s' のこの前処理指令の中で使われています。
|
2866
|
-
* W0578
|
2867
|
-
* W0579
|
2866
|
+
* W0578::暗黙的に汎整数型 `%s' の複合式からより大きな型 `%s' に型変換されています。
|
2867
|
+
* W0579::汎整数型 `%s' の複合式を、より大きな型 `%s' にキャストしています。
|
2868
2868
|
* W0580::ローカルな静的変数のアドレスが、より長い有効範囲を持つポインタに代入されています。
|
2869
2869
|
* W0581::実引数の個数か型が、この関数の以前の使用時と異なります。
|
2870
2870
|
* W0582::実引数の個数か型が、この後で見つかる関数プロトタイプ宣言と異なります。
|
@@ -2913,7 +2913,7 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
|
|
2913
2913
|
* W0645::仮引数の型には、void 型を使うことができません。
|
2914
2914
|
* W0646::通常の文字列リテラルとワイド文字列リテラルが隣接しています。
|
2915
2915
|
* W0649::シフト演算子の右オペランドの値が負の定数です。結果は未定義になります。
|
2916
|
-
* W0650
|
2916
|
+
* W0650::シフト演算子の右オペランドの値が左オペランドの型 `%s' で表されるビット数に対して大きすぎます。結果は未定義になります。
|
2917
2917
|
* W0653::配列、構造体あるいは共用体の初期値が `@{@}' で囲まれていません。
|
2918
2918
|
* W0654::構造体あるいは共用体の初期化子は、同じ構造体型あるいは共用体型の値でなければなりません。
|
2919
2919
|
* W0655::サイズが未定義のビットフィールド式です。
|
@@ -2975,7 +2975,7 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
|
|
2975
2975
|
* W0716::ビット演算子あるいは算術演算子の両側のオペランドが実質的なブール型の式です。
|
2976
2976
|
* W0717::ビット演算子あるいは算術演算子の左側のオペランドが実質的なブール型の式です。
|
2977
2977
|
* W0718::ビット演算子あるいは算術演算子の右側のオペランドが実質的なブール型の式です。
|
2978
|
-
* W0719
|
2978
|
+
* W0719::シフト演算子の右オペランドが、潜在型 `%s' のビット幅以上の定数値です。
|
2979
2979
|
* W0720::浮動小数点型の値が変換先の型の範囲に入りきりません。
|
2980
2980
|
* W0721::この汎整数型は、ポインタの値を保持するのに十分な大きさをもちません。
|
2981
2981
|
* W0722::符号付きの式の値がオーバーフローしています。
|
@@ -3098,8 +3098,8 @@ context_line (in case of @ref{message_traits:message_with_class, message_with_cl
|
|
3098
3098
|
* W1048::マルチバイト文字リテラルは処理系定義の値になります。
|
3099
3099
|
* W1049::この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できないことがあります。
|
3100
3100
|
* W1050::この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できません。
|
3101
|
-
* W1051
|
3102
|
-
* W1052
|
3101
|
+
* W1051::符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込みます。
|
3102
|
+
* W1052::符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込むことがあります。
|
3103
3103
|
* W1053::仮引数が列挙型である関数の実引数に数値定数が渡されています。
|
3104
3104
|
* W1054::列挙型に、列挙型ではない式が代入されています。
|
3105
3105
|
* W1055::戻り値が列挙型の関数から、列挙型ではない式が返されています。
|
@@ -5414,7 +5414,7 @@ long val = -num; /* W0081 */
|
|
5414
5414
|
|
5415
5415
|
@subsection メッセージ本文
|
5416
5416
|
|
5417
|
-
単項演算子 `-'
|
5417
|
+
単項演算子 `-' を符号無しの潜在型 `%s' のオペランドに対して使っています。
|
5418
5418
|
|
5419
5419
|
@subsection 内容
|
5420
5420
|
|
@@ -25203,7 +25203,7 @@ const char *str = "@$"; /* W0575 */
|
|
25203
25203
|
|
25204
25204
|
@subsection メッセージ本文
|
25205
25205
|
|
25206
|
-
|
25206
|
+
暗黙的に汎整数型 `%s' の複合式からより大きな型 `%s' に型変換されています。
|
25207
25207
|
|
25208
25208
|
@subsection 内容
|
25209
25209
|
|
@@ -25236,7 +25236,7 @@ void func(int a)
|
|
25236
25236
|
|
25237
25237
|
@subsection メッセージ本文
|
25238
25238
|
|
25239
|
-
|
25239
|
+
汎整数型 `%s' の複合式を、より大きな型 `%s' にキャストしています。
|
25240
25240
|
|
25241
25241
|
@subsection 内容
|
25242
25242
|
|
@@ -26989,7 +26989,7 @@ int foo(int i)
|
|
26989
26989
|
@subsection 関連メッセージ
|
26990
26990
|
|
26991
26991
|
@itemize
|
26992
|
-
@item @ref{W0650}
|
26992
|
+
@item @ref{W0650} シフト演算子の右オペランドの値が左オペランドの型 `%s' で表されるビット数に対して大きすぎます。結果は未定義になります。
|
26993
26993
|
@end itemize
|
26994
26994
|
|
26995
26995
|
@subsection 対応バージョン
|
@@ -27002,7 +27002,7 @@ int foo(int i)
|
|
27002
27002
|
|
27003
27003
|
@subsection メッセージ本文
|
27004
27004
|
|
27005
|
-
|
27005
|
+
シフト演算子の右オペランドの値が左オペランドの型 `%s' で表されるビット数に対して大きすぎます。結果は未定義になります。
|
27006
27006
|
|
27007
27007
|
@subsection 内容
|
27008
27008
|
|
@@ -29975,7 +29975,7 @@ int func(int a, int b, int c)
|
|
29975
29975
|
|
29976
29976
|
@subsection メッセージ本文
|
29977
29977
|
|
29978
|
-
|
29978
|
+
シフト演算子の右オペランドが、潜在型 `%s' のビット幅以上の定数値です。
|
29979
29979
|
|
29980
29980
|
@subsection 内容
|
29981
29981
|
|
@@ -34458,8 +34458,8 @@ void func(unsigned int ui)
|
|
34458
34458
|
|
34459
34459
|
@itemize
|
34460
34460
|
@item @ref{W1050} この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できません。
|
34461
|
-
@item @ref{W1051}
|
34462
|
-
@item @ref{W1052}
|
34461
|
+
@item @ref{W1051} 符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込みます。
|
34462
|
+
@item @ref{W1052} 符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込むことがあります。
|
34463
34463
|
@end itemize
|
34464
34464
|
|
34465
34465
|
@subsection 対応バージョン
|
@@ -34505,8 +34505,8 @@ void func(unsigned int ui)
|
|
34505
34505
|
|
34506
34506
|
@itemize
|
34507
34507
|
@item @ref{W1049} この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できないことがあります。
|
34508
|
-
@item @ref{W1051}
|
34509
|
-
@item @ref{W1052}
|
34508
|
+
@item @ref{W1051} 符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込みます。
|
34509
|
+
@item @ref{W1052} 符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込むことがあります。
|
34510
34510
|
@end itemize
|
34511
34511
|
|
34512
34512
|
@subsection 対応バージョン
|
@@ -34519,7 +34519,7 @@ void func(unsigned int ui)
|
|
34519
34519
|
|
34520
34520
|
@subsection メッセージ本文
|
34521
34521
|
|
34522
|
-
|
34522
|
+
符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込みます。
|
34523
34523
|
|
34524
34524
|
@subsection 内容
|
34525
34525
|
|
@@ -34543,7 +34543,7 @@ unsigned int func(unsigned int ui)
|
|
34543
34543
|
@itemize
|
34544
34544
|
@item @ref{W1049} この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できないことがあります。
|
34545
34545
|
@item @ref{W1050} この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できません。
|
34546
|
-
@item @ref{W1052}
|
34546
|
+
@item @ref{W1052} 符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込むことがあります。
|
34547
34547
|
@end itemize
|
34548
34548
|
|
34549
34549
|
@subsection 対応バージョン
|
@@ -34556,7 +34556,7 @@ unsigned int func(unsigned int ui)
|
|
34556
34556
|
|
34557
34557
|
@subsection メッセージ本文
|
34558
34558
|
|
34559
|
-
|
34559
|
+
符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込むことがあります。
|
34560
34560
|
|
34561
34561
|
@subsection 内容
|
34562
34562
|
|
@@ -34580,7 +34580,7 @@ unsigned int func(unsigned int a, unsigned int b)
|
|
34580
34580
|
@itemize
|
34581
34581
|
@item @ref{W1049} この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できないことがあります。
|
34582
34582
|
@item @ref{W1050} この整数式の符号付き整数型への変換結果は、符号付きの結果の型で表現できません。
|
34583
|
-
@item @ref{W1051}
|
34583
|
+
@item @ref{W1051} 符号無し型 `%s' の算術演算結果は、桁あふれによって 0 を回り込みます。
|
34584
34584
|
@end itemize
|
34585
34585
|
|
34586
34586
|
@subsection 対応バージョン
|
@@ -35626,7 +35626,7 @@ void func(void)
|
|
35626
35626
|
return; /* W9001: Control never reaches here! */
|
35627
35627
|
}
|
35628
35628
|
/*
|
35629
|
-
* ISO standard
|
35629
|
+
* ISO standard says;
|
35630
35630
|
* Usual Arithmetic Conversion performed before evaluating
|
35631
35631
|
* the expression "i < ui".
|
35632
35632
|
* Usual Arithmetic Conversion makes "i < ui" into
|
metadata
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: adlint
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 2.6.
|
4
|
+
version: 2.6.2
|
5
5
|
prerelease:
|
6
6
|
platform: ruby
|
7
7
|
authors:
|
@@ -9,11 +9,11 @@ authors:
|
|
9
9
|
autorequire:
|
10
10
|
bindir: bin
|
11
11
|
cert_chain: []
|
12
|
-
date: 2012-10-
|
12
|
+
date: 2012-10-31 00:00:00.000000000 Z
|
13
13
|
dependencies: []
|
14
14
|
description: ! 'AdLint is a source code static analyzer.
|
15
15
|
|
16
|
-
It can point out
|
16
|
+
It can point out unreliable or nonportable code fragments, and can measure various
|
17
17
|
quality metrics of the source code.
|
18
18
|
|
19
19
|
It (currently) can analyze source code compliant with ANSI C89 / ISO C90 and partly
|
@@ -243,6 +243,7 @@ files:
|
|
243
243
|
- features/code_check/W0582.feature
|
244
244
|
- features/code_check/W0583.feature
|
245
245
|
- features/code_check/W0584.feature
|
246
|
+
- features/code_check/W0599.feature
|
246
247
|
- features/code_check/W0606.feature
|
247
248
|
- features/code_check/W0635.feature
|
248
249
|
- features/code_check/W0641.feature
|