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

--- Comment #2 from Aldy Hernandez <aldyh at gcc dot gnu.org> ---
And a C version:

int a, b, c;
void d() {
  unsigned short e;
  while (b)
    ;
  e = (e + 5) / 0;
  switch (e)
  case 0:
  case 3:
    c = a;
}

Reply via email to