Sebastian Pop wrote: > This is the best the compiler can do: it has warned the user of a > possible undefined behavior in the code, and that it will use this > assumption for transforming the code. As with all warnings, you have to run this over a large test suite of real applications to find out whether there are too many false positives.