Traps for signed arithmetic overflow

[Vincent Lefevre]

On 2018-11-26 14:32:32 +0000, Jonathan Wakely wrote:
> As allowed by C99 and later, which was after GCC chose it's
> implementation-defined behaviour for those conversions. And raising a
> signal here would not be appreciated by all developers.
> 
> Adding a conversion sanitizer seems like a good solution, as it allows
> optional checking, when the developer requests it. The
> implementation-defined behaviour doesn't need to raise a signal that
> way.

OK. I've just opened the following

  https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88479

-- 
Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)