The common case is (probably) not that a compiler detects an instance of signed over/underflow. Instead, it can assume that this never happens and generate "dan

The common case is (probably) not that a compiler detects an instance of signed over/underflow. Instead, it can assume that this never happens and generate "dangerous" code. A good post describing how these optimizations come about is http://www.airs.com/blog/archives/120 http://www.airs.com/blog/archives/120 More options to warn about uses of or disable these optimizations would be welcome in compilers.