6.8.4.2 Using __never_executed With General Switch Expressions
Using the __never_executed( ) intrinsic at the default label can also improve the generated switch code for more general switch expressions that do not involve vector generator type values.