[Bug tree-optimization/25737] [4.1/4.2 Regression] ACATS tests c974001 and c974013 do not terminate with struct aliasing

[ebotcazou at gcc dot gnu dot org]

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