This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/25737] [4.1/4.2 Regression] ACATS c974001 c974013 hang with struct aliasing
- From: "ebotcazou at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 15 May 2006 05:36:51 -0000
- Subject: [Bug tree-optimization/25737] [4.1/4.2 Regression] ACATS c974001 c974013 hang with struct aliasing
- References: <bug-25737-10053@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- 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