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 tests c974001 and c974013 do not terminate 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: 23 Mar 2006 17:57:54 -0000
- Subject: [Bug tree-optimization/25737] [4.1/4.2 Regression] ACATS tests c974001 and c974013 do not terminate with struct aliasing
- References: <bug-25737-10053@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #12 from ebotcazou at gcc dot gnu dot org 2006-03-23 17:57 -------
> PTA thinks it doesn't need to solve the graph when it does.
> The subvar isn't initially marked as addressable if the regular var is in
> create_sft.
>
> The second is what is actually causing your bug, AFAICT.
>
> In create_sft, add TREE_ADDRESSABLE (sft) = TREE_ADDRESSABLE (var) in all the
> flags it is copying, and it should fix the bug.
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 :-(
> I am bootstapping this change right now.
Thanks. Do not forget to put PR tree-optimization/25737 in the ChangeLog.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25737