poke-devel
[Top][All Lists]
Advanced

[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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]