https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79219
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- So you mean DW/W -> W, but that can result in the result being not representable? What's the desired behavior in this case? Invoking undefined behavior?
