Why should checked addition have any overhead? You should just use checked addition instruction (on architectures that support it) instead of wrapping addition.

Why should checked addition have any overhead? You should just use checked addition instruction (on architectures that support it) instead of wrapping addition. Or just because on Intel CPUs it has overhead, we must forget about writing safer code?