------- 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
