On Thu, Feb 03, 2022 at 12:03:15PM +0100, Richard Biener wrote: > But as said, for the libgcc2.c case I'd simply remove all of it.
I can't read RMS' mind, it is indeed UB, so we can do anything, but I bet it was just a QoI attempt, when (most of the time) normal single-word or smaller division for / 0 behaves certain way (SIGFPE with FPE_INTDIV, or being ignored, or whatever else) that it would be nice if the multi-word division behaved likewise. On the platforms where it is SIGFPE with FPE_INTDIV, raising that would help people figure out what's going on. Jakub