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 ();
}
