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

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

テスト概要

その1
オプション無し、-Wswitch、-Wallの各オプションを使用した際の警告出力例

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

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

実行環境

GCC-8.2.0
GNU C Library 2.28
GNU Binutils 2.31.1


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

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

その1

オプション無し、-Wswitch、-Wallの各オプションを使用した際の警告出力例

使用ファイル
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に含まれるため同じ結果となる

その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オプションを指定して実行
$ gcc -Wswitch sample2.c エラー・警告無し $ 列挙範囲外のcaseラベルが無く、defaultラベルがある場合は警告無し

その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オプションを指定して実行
$ gcc -Wswitch sample3.c $ 列挙定数に対する全てのcaseラベルがある場合は、defaultラベルが無くても警告無し