https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59708
--- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> --- I rather not have builtins as you can write portable C code that detects overflow just fine. GCC could have internal functions if needed which are used when converting the pattern for detecting overflow.