Loose-Info.com
Last Update 2021/09/17
TOP - 各種テスト - gcc - 警告関連のオプション - -Wswitch-enum

-Wswitch-enum
switchステートメントの制御式の値が列挙型で、defaultラベルがある場合でも、caseラベルに該当する列挙定数が無い場合などに警告を出力

テスト概要

その1
オプション無し、および-Wswitch-enumオプションを使用した際の警告出力例

その2
defaultラベルが存在する場合の挙動確認

その3
全列挙定数のcaseラベルが存在する場合の挙動確認

実行環境

GCC-8.2.0
GNU C Library 2.28
GNU Binutils 2.31.1


コード例・出力内容中の表記

・実行例中の太字表記部分は、コマンドなどの入力された文字列を示します。
・「」や「...」の着色省略表記は、 実際のソースコードや出力内容などを省略加工した部分を示します。

その1

オプション無し、および-Wswitch-enumオプションを使用した際の警告出力例

使用ファイル
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で処理されない列挙定数がある事に関する警告を出力

その2

defaultラベルが存在する場合の挙動確認

使用ファイル
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で処理されない列挙定数がある事に関する警告を出力

その3

全列挙定数のcaseラベルが存在する場合の挙動確認

使用ファイル
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ラベルがある場合は警告無し