https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103908
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- The attached testcase is: int a, b; void foo(void) { if (a) { b = 1; asm goto ("call 0x0\n\t" : : : : next1); next1:; } else { b = 1; asm goto ("call 0x1\n\t" : : : : next2); next2:; } }