It's worth mentioning that GCC's ftrapv has been unreliable and partially broken for 20+ years at this point. It's recommended that you use the fsanitize traps

It's worth mentioning that GCC's ftrapv has been unreliable and partially broken for 20+ years at this point. It's recommended that you use the fsanitize traps instead, and there's an open ticket to switch the ftrapv implementation over to using it under the hood: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101521 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101521