Rule M6-4-3 (required, implementation, automated)

A switch statement shall be a well-formed switch statement. See MISRA C++ 2008 [7]