[Bug tree-optimization/25737] ACATS c974001 c974013 hang with struct aliasing

2007-06-21 Thread ebotcazou at gcc dot gnu dot org
--- Comment #44 from ebotcazou at gcc dot gnu dot org 2007-06-21 10:13 --- Works on mainline. -- ebotcazou at gcc dot gnu dot org changed: What|Removed |Added

[Bug tree-optimization/25737] ACATS c974001 c974013 hang with struct aliasing

2007-06-21 Thread ebotcazou at gcc dot gnu dot org
--- Comment #43 from ebotcazou at gcc dot gnu dot org 2007-06-21 10:11 --- Subject: Bug 25737 Author: ebotcazou Date: Thu Jun 21 10:11:19 2007 New Revision: 125915 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=125915 Log: PR tree-optimization/25737 * misc.c (gn

[Bug tree-optimization/25737] ACATS c974001 c974013 hang with struct aliasing

2007-06-20 Thread nemet at gcc dot gnu dot org
--- Comment #42 from nemet at gcc dot gnu dot org 2007-06-20 18:19 --- Subject: Bug 25737 Author: nemet Date: Wed Jun 20 18:19:10 2007 New Revision: 125890 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=125890 Log: PR tree-optimization/25737 * tree.h (struct tree

[Bug tree-optimization/25737] ACATS c974001 c974013 hang with struct aliasing

2007-06-20 Thread nemet at gcc dot gnu dot org
--- Comment #41 from nemet at gcc dot gnu dot org 2007-06-20 18:17 --- Subject: Bug 25737 Author: nemet Date: Wed Jun 20 18:17:20 2007 New Revision: 125889 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=125889 Log: PR tree-optimization/25737 * testsuite/gcc.dg/tr

[Bug tree-optimization/25737] ACATS c974001 c974013 hang with struct aliasing

2006-10-03 Thread ebotcazou at gcc dot gnu dot org
--- Comment #40 from ebotcazou at gcc dot gnu dot org 2006-10-03 14:13 --- > Agreed. The Ada FE should either change or prove that there is a > design/implementation flaw in the aliasing machinery. I think we can prove that there is a discrepancy between the Tree type-based aliasing a

[Bug tree-optimization/25737] ACATS c974001 c974013 hang with struct aliasing

2006-10-03 Thread dnovillo at gcc dot gnu dot org
--- Comment #39 from dnovillo at gcc dot gnu dot org 2006-10-03 12:54 --- (In reply to comment #38) > The name, and all the documentation, which say they cannot be > addressed, which means they cannot be pointed to by any pointer, which > means they are unaliased. > Absolutely. If th

[Bug tree-optimization/25737] ACATS c974001 c974013 hang with struct aliasing

2006-09-24 Thread dberlin at dberlin dot org
--- Comment #38 from dberlin at gcc dot gnu dot org 2006-09-25 01:27 --- Subject: Re: ACATS c974001 c974013 hang with struct aliasing On 24 Sep 2006 18:23:41 -, ebotcazou at gcc dot gnu dot org <[EMAIL PROTECTED]> wrote: > > > --- Comment #37 from ebotcazou at gcc dot gnu dot

Re: [Bug tree-optimization/25737] ACATS c974001 c974013 hang with struct aliasing

2006-09-24 Thread Daniel Berlin
On 24 Sep 2006 18:23:41 -, ebotcazou at gcc dot gnu dot org <[EMAIL PROTECTED]> wrote: --- Comment #37 from ebotcazou at gcc dot gnu dot org 2006-09-24 18:23 --- > No, really, you don't seem to understand. > If you respect these DECL_NONADDRESSABLE_P or > TYPE_NONALIASED_COMPONENT

[Bug tree-optimization/25737] ACATS c974001 c974013 hang with struct aliasing

2006-09-24 Thread ebotcazou at gcc dot gnu dot org
--- Comment #37 from ebotcazou at gcc dot gnu dot org 2006-09-24 18:23 --- > No, really, you don't seem to understand. > If you respect these DECL_NONADDRESSABLE_P or > TYPE_NONALIASED_COMPONENT flags, you are going to make them unaliased. > Your whole bug report is that they are not al

[Bug tree-optimization/25737] ACATS c974001 c974013 hang with struct aliasing

2006-09-22 Thread dberlin at dberlin dot org
--- Comment #36 from dberlin at gcc dot gnu dot org 2006-09-22 12:55 --- Subject: Re: ACATS c974001 c974013 hang with struct aliasing On 21 Sep 2006 16:53:49 -, ebotcazou at gcc dot gnu dot org <[EMAIL PROTECTED]> wrote: > > > --- Comment #35 from ebotcazou at gcc dot gnu dot

[Bug tree-optimization/25737] ACATS c974001 c974013 hang with struct aliasing

2006-09-21 Thread ebotcazou at gcc dot gnu dot org
--- Comment #35 from ebotcazou at gcc dot gnu dot org 2006-09-21 16:53 --- > I suspect the reality is there is some fundamental misunderstanding of > how aliasing or addressability works on the part of the Ada folks (no > offense to them, it's just the arguments they keep offering are,

[Bug tree-optimization/25737] ACATS c974001 c974013 hang with struct aliasing

2006-09-21 Thread dberlin at dberlin dot org
--- Comment #34 from dberlin at gcc dot gnu dot org 2006-09-21 14:53 --- Subject: Re: ACATS c974001 c974013 hang with struct aliasing On 21 Sep 2006 14:49:14 -, krebbel at gcc dot gnu dot org <[EMAIL PROTECTED]> wrote: > > > --- Comment #33 from krebbel at gcc dot gnu dot org

[Bug tree-optimization/25737] ACATS c974001 c974013 hang with struct aliasing

2006-09-21 Thread krebbel at gcc dot gnu dot org
--- Comment #33 from krebbel at gcc dot gnu dot org 2006-09-21 14:49 --- Ok. I wasn't aware of this. On s390 these testcases failed even without the struct-aliasing patch. So obviously it was just a coincidence that the same testcases failed on s390 (plus one more). Sorry if I made the

[Bug tree-optimization/25737] ACATS c974001 c974013 hang with struct aliasing

2006-09-21 Thread ebotcazou at gcc dot gnu dot org
--- Comment #32 from ebotcazou at gcc dot gnu dot org 2006-09-21 14:05 --- > Note that Ada requires a patch to enable struct-aliasing, as it does Right, there is some confusion in this PR. The problem does *not* exist with the pristine mainline sources so I'm reclassifying. -- ebo