[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: integer overflow in muli instruction
|
From: |
Bruno Haible |
|
Subject: |
Re: integer overflow in muli instruction |
|
Date: |
Tue, 23 Feb 2021 13:46:35 +0100 |
|
User-agent: |
KMail/5.1.3 (Linux/4.4.0-201-generic; KDE/5.18.0; x86_64; ; ) |
Hi José,
> > All right, poke now checks for overflows in:
> >
> > - Signed addition.
> > - Signed subtraction.
> > - Signed multiplication.
> > - Signed division.
> > - Signed ceil division.
> > - Signed remainder.
> > - Signed Negation.
> >
> > At both run-time (exception E_overflow) and compile-time (constant
> > folding).
>
> Just added:
>
> - Signed exponentiation.
>
> So I think at this point we are good when it comes to detecting overflow
> in signed operations.
Great!
I confirm that in a build with CC="gcc -ftrapv", all test failures are gone.
Bruno