https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114704
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Ever confirmed|0 |1 Last reconfirmed| |2024-04-12 Status|UNCONFIRMED |NEW --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Confirmed. A more general testcase: ``` void dummy(); void src(int *p, int a){ int t = *p; if(t == a) goto then; else { dummy(); t = *p; if(t == a) goto then; else return; } then: *p = t; // *p is already a, it's dead now } ```