handle "default" case

[dcu]

currently the "default:" case is not handled well and the this checker asks to cover all cases even when default does that

[nishanths]

Thanks for the report. Setting the -default-signifies-exhaustive flag should provide the behavior you're looking for. Setting this flag will make the checker consider switch statements exhaustive as long as a default case is present, even if all enum members aren't explicitly listed in the switch.

The reported behavior was by design for a couple of reasons. If the existence of a default case made the switch exhaustive, it would invalidate the purpose of checking for exhaustiveness.

Secondly, otherwise it would not be possible for the program to point out switch statements that may need to be updated when new enum members are added. (The existence of a default case does not necessarily mean that an existing switch doesn't need to be updated to account for the new enum members.)