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.

Reply via email to