[Bug tree-optimization/19626] Aliasing says stores to local memory do alias

[rguenth at gcc dot gnu dot org]

------- Additional Comments From rguenth at gcc dot gnu dot org  2005-04-07 10:30 -------
Created an attachment (id=8554)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8554&action=view)
Revised testcase without confusing casts

This changes the testcase to not cast int* to Loc<1>*, but use Loc<1>[2] as
storage for Loc<2> while retaining the initialization properties.  It requires
the testcase be compiled with tree-level loop-unrolling enabled, as the empty
constructors/destructors for array members are created as loops by the C++
frontend.

Other than that, struct aliasing (or just removing the casts) doesn't fix the
aliasing problems - though struct aliasing doesn't handle array elements at
the moment(?).

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
Attachment #8062 is|0                           |1
           obsolete|                            |


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