"MISRA requires that you explicitly write the default reject."

You can always use -Wswitch-enum then.