MIPS for example has this. It has `addu` for normal integer addition that does not trap and `add` if you want to trap on overflows.