------- Comment #13 from ebotcazou at gcc dot gnu dot org 2006-03-23 18:08 ------- > That is indeed sufficient to fix the bug for the C testcase but not for an > equivalent Ada testcase, so Richard might have been right in thinking that > there is also some type frobbing on the Ada side :-(
Not a bug, but a feature. :-) Everything is not addressable in Ada, unlike in C. The tree aliasing machinery appears to totally overlook the flag /* Used in a FIELD_DECL to indicate that we cannot form the address of this component. */ #define DECL_NONADDRESSABLE_P(NODE) \ (FIELD_DECL_CHECK (NODE)->decl_common.decl_flag_3) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25737
