GCC since 5.0 and Clang since longer ago than that support (the same) set of builtin functions to check carry and overflow bits:

https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins...

http://clang.llvm.org/docs/LanguageExtensions.html#checked-a...