Last Update 2021/10/11
-Wtype-limits
データ型の範囲が限定されているために比較結果が常に真または偽である場合に警告を出力
テスト概要
オプション無し、-Wtype-limits、-Wextraの各オプションを使用した際の警告出力例
実行環境
GCC-8.2.0
GNU C Library 2.28
GNU Binutils 2.31.1
GNU C Library 2.28
GNU Binutils 2.31.1
コード例・出力内容中の表記
・実行例中の太字表記部分は、コマンドなどの入力された文字列を示します。
・「︙」や「...」の着色省略表記は、 実際のソースコードや出力内容などを省略加工した部分を示します。
・「︙」や「...」の着色省略表記は、 実際のソースコードや出力内容などを省略加工した部分を示します。
使用ファイル
sample.c
#include <stdio.h>
int main(void)
{
unsigned char uc = 10;
/* 結果が常にfalse */
if (uc < 0)
{
printf("%d\n", uc);
}
/* 結果が常にtrue */
if (uc >= 0)
{
printf("%d\n", uc);
}
/* 結果が常にtrue */
if (uc < 256)
{
printf("%d\n", uc);
}
return 0;
}
動作テスト
オプション無しでコンパイルを実行
$ gcc sample.c 警告無し
$
-Wtype-limitsオプションを指定してコンパイルを実行
$ gcc -Wtype-limits sample.c
sample.c: In function ‘main’:
sample.c:8:9: warning: comparison is always false due to limited range of data type [-Wtype-limits]
if (uc < 0)
^
sample.c:14:9: warning: comparison is always true due to limited range of data type [-Wtype-limits]
if (uc >= 0)
^~
sample.c:20:9: warning: comparison is always true due to limited range of data type [-Wtype-limits]
if (uc < 256)
^
$ データ型の範囲が限られているため常に真または偽となる事への警告
-Wextraオプションを指定してコンパイルを実行
$ gcc -Wextra sample.c
sample.c: In function ‘main’:
sample.c:8:9: warning: comparison is always false due to limited range of data type [-Wtype-limits]
if (uc < 0)
^
sample.c:14:9: warning: comparison is always true due to limited range of data type [-Wtype-limits]
if (uc >= 0)
^~
sample.c:20:9: warning: comparison is always true due to limited range of data type [-Wtype-limits]
if (uc < 256)
^
$ -Wtype-limitsオプションは-Wextraでも有効となる