This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/25737] ACATS tests c974001 and c974013 do not terminate with struct aliasing enabled
- From: "ebotcazou at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 23 Mar 2006 10:25:52 -0000
- Subject: [Bug tree-optimization/25737] ACATS tests c974001 and c974013 do not terminate with struct aliasing enabled
- References: <bug-25737-10053@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla 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