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