[Bug tree-optimization/37868] code that breaks TBAA is misoptimized even with -fno-strict-aliasing

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2008-10-18 18:57 -------
I don't see why it _should_ work with -fno-strict-aliasing.  It may.  Note that
this testcase also violates pointer arithmetic rules - you have a pointer that
doesn't point to a valid object.

On the 4.3 branch we still optimize it because we use SFTs for the individual
elements and offset disambiguation selects only one.  On the trunk PTA seems
to prune the symbol.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu dot
                   |                            |org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37868