On Mon, Jul 25, 2011 at 01:31, Agner Fog <agner@xxxxxxxxx> wrote: > > My point is that you are over-interpreting the standard when you conclude > that the compiler is allowed to do anything in case of overflow. > How is signed overflow any different from dereferencing a null pointer? UB is UB.