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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Testcase with fixed up formatting:
char *a;
int b;

void
foo (char *)
{
  if (b)
    __builtin_abort ();
}

void
bar (char *c)
{
  __asm__ goto ("" : : : : d);
  foo (a);
  __asm__ goto ("" : : : : d);
  if (c)
    bar (a);
  __asm__ goto ("" : : : : d);
d:
  if (b)
    __builtin_abort ();
}

Reply via email to