[Bug tree-optimization/25737] ACATS c974001 c974013 hang with struct aliasing

[ebotcazou at gcc dot gnu dot org]

------- Comment #35 from ebotcazou at gcc dot gnu dot org  2006-09-21 16:53 -------
> I suspect the reality is there is some fundamental misunderstanding of
> how aliasing or addressability works on the part of the Ada folks (no
> offense to them, it's just the arguments they keep offering are, well,
> strange to anyone who understands aliasing).

I suspect that we were simply not on the same page, you being at a general
level about aliasing/addressability and I being at the implementation level
about DECL_NONADDRESSABLE_P and TYPE_NONALIASED_COMPONENT.

As I told Richard in Ottawa, I plan to revisit this for 4.3.


-- 


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