[Bug tree-optimization/25737] ACATS tests c974001 and c974013 do not terminate with struct aliasing enabled

[ebotcazou at gcc dot gnu dot org]

------- Comment #7 from ebotcazou at gcc dot gnu dot org  2006-03-23 10:25 -------
> I guess (only guess!) that the types differe in a way that aliasing does not
> see them clobbered by means of type based alias analysis.  Can you try if
> -fno-strict-aliasing fixes it?

No, there is really a hole somewhere, reduced C testcase to be attached.  When
structure aliasing is enabled, the SMT for the structure type doesn't alias the
structure, which seems wrong to me since the structure is marked as
addressable.

Daniel, could you take a quick look?  We can't enable structure aliasing for
Ada because of this problem in the aliasing machinery.  Thanks in advance.


-- 


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