Dmitry Olshansky:
Except for the fact, that someone has to implement it.
I am not seeing one of the posts of this thread. So I'll answer here.
The good thing regarding the run-time overflow integral tests is that they are already implemented and available as efficient compiler intrinsics in both GCC and LLVM back-ends. It's just a matter of using them (and introducing the compiler switch and some kind of pragma syntax).
Bye, bearophile