STRONG.TYPE.JOIN.CONST

定数を持つ強い型の比較

チェッカーの STRONG.TYPE ファミリーは、プログラマーが行う強い型指定 (型が定義された抽象型) が違反または無視され、基礎となる ANSI 型セマンティックスが優先される状況を検出します。

STRONG.TYPE.JOIN.CONST チェッカーは、バイナリ演算子を使用して強い型指定の値が定数と比較されているインスタンスを検出します。この規則では、定数は、v が静的変数または自動変数の形式 &v の式、引用符付きの文字列、整数定数が考えられます。

ANSI 規格対応のコンパイラは、表面の (プログラマーが定義する) 型ではなく、基底型をチェックするだけであるため、このような指摘に関する警告を報告しません。この結果、論理エラーが発生する可能性があります。

コピー

1
2
3
4
5
6
7
 typedef int Weight;

 int main() {
   Weight w;
   if (w == 321) ;
   return 0;
 }

Klocwork は、異なる強い型の値 w がバイナリ演算子 == を使用して定数と比較されていることを示す 5 行目にフラグを立てます。

コピー

1
2
3
4
5
6
7
 typedef int Weight;

 int main() {
   Weight w;
   if (w == (Weight) 321) ; 
   return 0;
 }

修正コードでは、2 つの強い型 Weight の値の間で比較が行われます。