------- Comment #14 from rguenth at gcc dot gnu dot org 2010-01-30 22:00 ------- (In reply to comment #12) > I'm not asking for gcc to be a DWIM compiler, I'm asking for it to do EXACTLY > what I've told it to do.
You told it to use C type-based aliasing rules to optimize. And exactly this is what it is doing. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42907
