Paolo Bonzini wrote: >> for(i = 0;i<*t;i++) >> *f += 1.0; > > This one is pretty realistic, especially if you consider C++ and inlining: Don't you think that a convincing argument here has to be based on actual timings with and without strict aliasing. It would be interesting to see cases where that simple-to-understand argument can be made!