https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113201
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Ever confirmed|0 |1 Status|UNCONFIRMED |NEW Last reconfirmed| |2024-01-02 --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Confirmed. Here is a testcase that does not depend on the name of the functions: ``` void f(void) __attribute__((returns_twice)); void g(void); void h(void) { int bh; f(); while (--bh) ; g(); } ```