[Bug c/59708] clang-compatible checked arithmetic builtins

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59708

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Not sure I like their naming though, I'd say they should be type generic
builtins handled in the FEs depending on the first argument's type, so that
it works even for say __int128_t and similar.

For the implementation, we'd need to find out how to represent it in the GIMPLE
IL (because the functions have two return values rather than just one and
return by reference would be very optimization unfriendly).  For expansion, we
already handle this for ubsan (well, the signed +/-/* overflow), so that could
be just adjusted.