This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] Fix for failure to build glibc
- From: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
- To: law at redhat dot com
- Cc: Jason Merrill <jason at redhat dot com>, Andreas Jaeger <aj at suse dot de>, gcc-patches at gcc dot gnu dot org, Diego Novillo <dnovillo at redhat dot com>
- Date: Thu, 8 May 2003 21:41:33 +0100 (BST)
- Subject: Re: [tree-ssa] Fix for failure to build glibc
- References: <200305082022.h48KM71k012858@speedy.slc.redhat.com>
On Thu, 8 May 2003 law@redhat.com wrote:
> In message <wvlfznp2o13.fsf@prospero.boston.redhat.com>, Jason Merrill writes:
> >Why is this necessary? Do you have a continue in a statement-expression
> >which refers to a loop outside the statement-expression?
> Yup:
>
> >void
> _dl_map_object_deps ()
> {
> for (;;)
> (
> {
> continue;
> "hello";
> }
> );
> }
The conclusion from a discussion three years ago, reflected in PR c/772,
was that the specification of statement expressions should treat this sort
of thing (jumps in or out of statement expressions) as a constraint
violation. It just so happens that no-one has implemented that yet.
(The discussion may not have mentioned jumps via continue, but they are
just as problematic as those via goto.)
--
Joseph S. Myers
jsm28@cam.ac.uk