https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80053
Alexander Monakov <amonakov at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|INVALID |---
Status|RESOLVED |NEW
--- Comment #11 from Alexander Monakov <amonakov at gcc dot gnu.org> ---
In the comment you're pointing to Jakub admits that the compiler should account
for asm goto, which is exactly what the testcase is using.
More importantly, the crux of the issue is not whether I can produce a testcase
that satisfies you. The issue is that GIMPLE is (for no good reason as far as
I'm aware) less strict about this than RTL: RTL forbids duplication of such
blocks, GIMPLE does not. There's no explanation anywhere why the lax GIMPLE
behavior is not going to cause miscompilations. Please understand that and
don't rush to close.
