------- Comment #25 from ebotcazou at gcc dot gnu dot org 2006-05-15 05:36
-------
> (I've not fully understood the discussion here, but if everything in Ada is
> addressable, then it seems to me that everything should have TREE_ADDRESSABLE
> set.)
Grumpf... you read a little too quickly, that is exactly the opposite. The
struct aliasing machinery essentially assumes that everything is addressable
(modulo bit-fields) whereas *nothing* is addressable by default in Ada.
--
ebotcazou at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mark at codesourcery dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25737
