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.