At least some of the trapping arithmetic routines (__absvsi2, etc), are being compiled *without* the abort that would, in general, be required. These routines are falling foul of the signed-arithmetic-doesn't-overflow coding trap. We need to either compile them with -fwrapv, or rewrite them to use unsigned arithmetic.
Further, it would be A Good Idea if these routines were actually tested... -- Summary: [libgcc] miscompiled trapping arithmetic routines Product: gcc Version: 4.3.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: other AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: rth at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31477