Last Update 2021/09/17
-Wswitch-enum
switchステートメントの制御式の値が列挙型で、defaultラベルがある場合でも、caseラベルに該当する列挙定数が無い場合などに警告を出力
テスト概要
オプション無し、および-Wswitch-enumオプションを使用した際の警告出力例
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-enumオプションを使用した際の警告出力例
使用ファイル
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-enumオプションを指定して実行
$ gcc -Wswitch-enum sample1.c
sample1.c: In function ‘main’:
sample1.c:8:2: warning: enumeration value ‘samp2’ not handled in switch [-Wswitch-enum]
switch (val)
^~~~~~
sample1.c:16:3: warning: case value ‘3’ not in enumerated type ‘enum samp_enm’ [-Wswitch-enum]
case 3:
^~~~
$ switchで処理されない列挙定数がある事に関する警告を出力
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-enumオプションを指定して実行
$ gcc -Wswitch-enum sample2.c
sample2.c: In function ‘main’:
sample2.c:8:2: warning: enumeration value ‘samp2’ not handled in switch [-Wswitch-enum]
switch (val)
^~~~~~
$ defaultがある場合でも、switchで処理されない列挙定数がある事に関する警告を出力
全列挙定数の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-enumオプションを指定して実行
$ gcc -Wswitch-enum sample3.c
$ 列挙定数に対する全てのcaseラベルがある場合は警告無し