From mboxrd@z Thu Jan  1 00:00:00 1970
From: Daniel Jacobowitz <drow@mvista.com>
To: Aldy Hernandez <aldyh@redhat.com>, gcc@gcc.gnu.org
Subject: Re: new __builtin_choose_type (patch)
Date: Wed, 03 Oct 2001 12:41:00 -0000
Message-id: <20011003154211.A3525@nevyn.them.org>
References: <1002071362.24557.101.camel@culebra.cygnus.com> <jmsnd17akj.fsf@geoffk.org> <20011002231514.A23170@redhat.com>
X-SW-Source: 2001-10/msg00192.html

On Tue, Oct 02, 2001 at 11:15:14PM -0700, Richard Henderson wrote:
> On Tue, Oct 02, 2001 at 06:54:04PM -0700, Geoff Keating wrote:
> > What does va_arg do?
> 
> va_arg is a grammar element rather than a builtin:
> 
>         | VA_ARG '(' expr_no_commas ',' typename ')'
>                 { $$ = build_va_arg ($3, groktypename ($5)); }
> 
> That's not to say that we can't do the same thing here... ;-)

... not to mention, if we make __builtin_choose_type into a grammar
element, we could make its second argument into a -type-, rather than
an unintuitive dummy variable.

-- 
Daniel Jacobowitz                           Carnegie Mellon University
MontaVista Software                         Debian GNU/Linux Developer