[Bug middle-end/104504] spurious -Wswitch-unreachable warning with -ftrivial-auto-var-init=zero

[kees at outflux dot net via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104504

--- Comment #2 from Kees Cook <kees at outflux dot net> ---
As mentioned in a Linux kernel thread, isn't it possible to transform this:


  switch (x) {
      int y;
  default:
      y = x * 2;
      return y;
  }

into this:

  {
      int y;
      switch (x) {
      default:
          y = x * 2;
          return y;
      }
  }