Do you refer to this comment?
(https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66790#c20)
I do have to say that I am still uncomfortable with changing RRE to
use a MUST problem rather than a MAY problem. I see this as dumbing
down the compiler to provide the semantics of uninitialized variables
and it is a path that we have generally avoided in GCC. I do not have
a better solution, but there is a feeling that something is being
missed here.
I answered it with questions in comment #27 but there was no followup on
this point afterwards and Bernd approved the change so I thought it was
fine: what should I do?
I think the approach in this patch is necessary to prevent ree from
making incorrect transformations. So I think nothing further is required.
Bernd
