In practice, this has resulted in compilers like gcc eliminating security-critical integer overflow checks in code on the basis that, since they can only be triggered if the integer overflows, they're invoking undefined behaviour and can be deleted.