Last Update 2021/09/19
-Wswitch-unreachable
switchステートメントの制御式と最初のcaseラベルの間に、実行されないステートメントが含まれている場合に警告を出力
テスト概要
-Wswitch-unreachableオプションの使用、およびオプション無しの場合の警告出力例
実行環境
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;
switch (n)
{
/* 制御式と最初のcaseラベルの間のステートメント */
int i; /* 宣言 */
int j = 1; /* 宣言と初期化 */
printf("関数の実行\n");
case 0:
printf("n = 0\n");
break;
case 1:
printf("n = 1\n");
break;
default:
i = 2;
printf("i=%d : j=%d\n", i, j);
}
return 0;
}
動作テスト
-Wswitch-unreachableオプションを使用してコンパイルを実行
$ gcc -Wswitch-unreachable sample.c
sample.c: In function ‘main’:
sample.c:11:7: warning: statement will never be executed [-Wswitch-unreachable]
int j = 1; /* 宣言と初期化 */
^
$ ./a.out
i=2 : j=32765
$ 宣言のみの場合は警告無し。宣言は有効
初期化は実行されず警告を出力
関数は実行されないが警告無し
オプション無しでコンパイルを実行
$ gcc sample.c
sample.c: In function ‘main’:
sample.c:11:7: warning: statement will never be executed [-Wswitch-unreachable]
int j = 1; /* 宣言と初期化 */
^
$ -Wswitch-unreachableオプションはデフォルトで有効となるため、指定した場合と同じ結果となる