Last Update 2021/10/22
-Wsign-compare
符号付きと符号なしの値の比較で、符号付き値が符号なしに変換された際に誤った結果が生じる可能性がある場合に警告
テスト概要
オプション無し、-Wsign-compare、-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)
{
int n0 = -1;
unsigned int n1 = 1;
/* 符号付きと符号なしの整数型の比較 */
if (n1 < n0)
{
/* 比較時の符号なし整数への変換に伴い誤った結果が発生 */
printf("n1=%u < n0=%u\n", n1, n0);
}
return 0;
}
動作テスト
オプション無しでコンパイルを実行
$ gcc sample.c 警告無し
$ ./a.out
n1=1 < n0=4294967295
$ 符号なしへの変換による誤った実行結果
-Wsign-compareオプションを指定してコンパイルを実行
$ gcc -Wsign-compare sample.c
sample.c: In function ‘main’:
sample.c:9:9: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare]
if (n1 < n0)
^
$ 符号の異なる整数の比較についての警告
-Wextraオプションを指定してコンパイルを実行
$ gcc -Wextra sample.c
sample.c: In function ‘main’:
sample.c:9:9: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare]
if (n1 < n0)
^
$ -Wsign-compareオプションは-Wextraでも有効となる