Last Update 2021/09/16
-Wswitch
switchステートメントの制御式の値が列挙型で、caseラベルに該当する列挙定数が無い場合などに警告を出力
テスト概要
オプション無し、-Wswitch、-Wallの各オプションを使用した際の警告出力例
defaultラベルが存在する場合の挙動確認
全列挙定数のcaseラベルが存在する場合の挙動確認
実行環境
GCC-8.2.0
GNU C Library 2.28
GNU Binutils 2.31.1
GNU C Library 2.28
GNU Binutils 2.31.1
コード例・出力内容中の表記
・実行例中の太字表記部分は、コマンドなどの入力された文字列を示します。
・「︙」や「...」の着色省略表記は、 実際のソースコードや出力内容などを省略加工した部分を示します。
・「︙」や「...」の着色省略表記は、 実際のソースコードや出力内容などを省略加工した部分を示します。
オプション無し、-Wswitch、-Wallの各オプションを使用した際の警告出力例
使用ファイル
sample1.c
sample1.c
#include <stdio.h>
int main(void)
{
enum samp_enm {samp0, samp1, samp2};
enum samp_enm val = samp1;
switch (val)
{
case samp0:
printf("samp0\n");
break;
case samp1:
printf("samp1\n");
break;
case 3:
/* 列挙範囲外のcaseラベル */
printf("3\n");
break;
/* defaultラベルは無し */
}
return 0;
}
オプション無しで実行
$ gcc sample1.c エラー・警告無し
$
-Wswitchオプションを指定して実行
$ gcc -Wswitch sample1.c
sample1.c: In function ‘main’:
sample1.c:8:2: warning: enumeration value ‘samp2’ not handled in switch [-Wswitch]
switch (val)
^~~~~~
sample1.c:16:3: warning: case value ‘3’ not in enumerated type ‘enum samp_enm’ [-Wswitch]
case 3:
^~~~
$ switchで処理されない列挙定数がある事に関する警告を出力
-Wallオプションを指定して実行
$ gcc -Wall sample1.c
sample1.c: In function ‘main’:
sample1.c:8:2: warning: enumeration value ‘samp2’ not handled in switch [-Wswitch]
switch (val)
^~~~~~
sample1.c:16:3: warning: case value ‘3’ not in enumerated type ‘enum samp_enm’ [-Wswitch]
case 3:
^~~~
$ -Wswitchオプションは-Wallに含まれるため同じ結果となる
defaultラベルが存在する場合の挙動確認
使用ファイル
sample2.c
sample2.c
#include <stdio.h>
int main(void)
{
enum samp_enm {samp0, samp1, samp2};
enum samp_enm val = samp1;
switch (val)
{
case samp0:
printf("samp0\n");
break;
case samp1:
printf("samp1\n");
break;
default:
printf("default\n");
}
return 0;
}
-Wswitchオプションを指定して実行
$ gcc -Wswitch sample2.c エラー・警告無し
$ 列挙範囲外のcaseラベルが無く、defaultラベルがある場合は警告無し
全列挙定数のcaseラベルが存在する場合の挙動確認
使用ファイル
sample3.c
sample3.c
#include <stdio.h>
int main(void)
{
enum samp_enm {samp0, samp1, samp2};
enum samp_enm val = samp1;
switch (val)
{
case samp0:
printf("samp0\n");
break;
case samp1:
printf("samp1\n");
break;
case samp2:
printf("samp2\n");
}
return 0;
}
-Wswitchオプションを指定して実行
$ gcc -Wswitch sample3.c
$ 列挙定数に対する全てのcaseラベルがある場合は、defaultラベルが無くても警告無し