https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117019
--- Comment #1 from Joseph S. Myers <jsm28 at gcc dot gnu.org> --- Note that a switch declaration can have VM type without violating the rule about switch not being allowed to jump over a declaration with VM type (the previous rule was that the entire switch statement had to be within the scope of the identifier); it's important to include a testcase to verify this works correctly.
