https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79219
--- Comment #8 from H. Peter Anvin <hpa at zytor 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? When the output is not representable, the expected behavior is whatever the platform does when an ordinary division divides by zero (which usually means some variant of raise(SIGFPE) is invoked through one path or another.)