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

Reply via email to