不要なSwitch文を無視するようコンパイラに指示することできます。

あるSwitch文のdefaultラベルは実行されることが無いとした場合、Switch文のdefaultラベルにnever_executed()を記述するとSwitch分岐がされず、その結果効率的なコードを生成します。