Last Update 2021/10/05
-Wtautological-compare
自己比較の存在やビット単位比較などの間違いなどで、評価が常にtrueまたはfalseのどちらかになるような場合に警告を出力
テスト概要
オプション無し、-Wtautological-compare、-Wallの各オプションを使用した際の警告出力例
実行環境
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 n = 3;
/* 自己比較の結果が常にtrueまたはfalseとなる例 */
if (n > n) /* 常にfalse */
{
printf("%d\n", n);
}
/* ビット単位の比較結果が常にtrueまたはfalseとなる例 */
if ((n | 1) == 0) /* 常にfalse */
{
printf("%d\n", n);
}
return 0;
}
動作テスト
オプション無しでコンパイルを実行
$ gcc sample.c 警告無し
$
-Wtautological-compareオプションを指定してコンパイルを実行
$ gcc -Wtautological-compare sample.c
sample.c: In function ‘main’:
sample.c:8:8: warning: self-comparison always evaluates to false [-Wtautological-compare]
if (n > n) /* 常にfalse */
^
sample.c:14:14: warning: bitwise comparison always evaluates to false [-Wtautological-compare]
if ((n | 1) == 0) /* 常にfalse */
^~
$ 自己比較が常にfalseと評価される事、およびビット単位の比較が常にfalseと評価される事に関する警告
-Wallオプションを指定してコンパイルを実行
$ gcc -Wall sample.c
sample.c: In function ‘main’:
sample.c:8:8: warning: self-comparison always evaluates to false [-Wtautological-compare]
if (n > n) /* 常にfalse */
^
sample.c:14:14: warning: bitwise comparison always evaluates to false [-Wtautological-compare]
if ((n | 1) == 0) /* 常にfalse */
^~
$ -Wtautological-compareオプションは-Wallでも有効となる