https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71691
Jeffrey A. Law <law at redhat dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |law at redhat dot com --- Comment #7 from Jeffrey A. Law <law at redhat dot com> --- Damn interesting test. I really wonder if what uncprop is doing is valid. Essentially if i_48 has a potentially undefined value, but there are no paths where its used undefined, then we're OK. Uncprop comes along and introduces a use of i_48 on a path where it didn't exist before, now causing us to use the uninitialized value. And boom. And note this is a potential issue for all the transformations made by uncprop.