This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Bootstrap failure on trunk: x86_64-linux-gnu
- From: Sebastian Pop <sebastian dot pop at cri dot ensmp dot fr>
- To: Jeffrey A Law <law at redhat dot com>
- Cc: Eric Botcazou <ebotcazou at adacore dot com>, gcc at gcc dot gnu dot org, Arnaud Charlet <charlet at adacore dot com>, Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>, Andrew Pinski <pinskia at physics dot uc dot edu>, Andrew Haley <aph at redhat dot com>
- Date: Wed, 1 Mar 2006 13:31:21 +0100
- Subject: Re: Bootstrap failure on trunk: x86_64-linux-gnu
- References: <17400.42579.162536.967995@zapata.pink> <200602281206.32138.ebotcazou@adacore.com> <1141145312.2618.57.camel@localhost.localdomain> <200602281842.22672.ebotcazou@adacore.com> <1141166437.2618.103.camel@localhost.localdomain>
Jeffrey A Law wrote:
> I wouldn't have a problem with non-canonical bounds if there were
> no way to get a value into an object which is outside the
> bounds. But if we can get values into the object which are outside
> those bounds, then either the bounds are incorrect or the program
> is invalid.
>
I would classify this as a gimplification bug, as the starting program
is correct, but the GIMPLE form is not. GIMPLE was introduced for
reducing the complexity of the specific of each language, so I think
that the types should also be translated to a canonical form.
Sebastian