https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120236
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Ever confirmed|1 |0 Status|RESOLVED |UNCONFIRMED Resolution|INVALID |--- --- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Richard Biener from comment #2) > int ***d; > *d = &c; > > this writes via uninitialized d. With FRE we see through this with > > a = ***d; > > so you get DWIM. But that path is never executed. As a is 0 when entering main.