[not2b]

You doubt it because you aren't a compiler developer, so you aren't aware of the history. Try taking some of the classic Fortran scientific programming libraries, such as LAPACK, recoding them in C, and then see what happens when you need to generate code with a compiler that doesn't do any of the optimizations the article complains about and has no undefined behavior. Then you'll figure out why.

[vyodaiken]

You still don't have any data.

[throwaway19937]

You're the one arguing for a change to the status quo, the burden of proof is on you.