https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79219
--- Comment #2 from Uroš Bizjak <ubizjak at gmail dot com> --- (In reply to Richard Biener from comment #1) > 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? x86 will generate divide error (#DE) exception in this case.