This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: mutually-recursive types and an old puzzle
- From: Joe Buck <Joe dot Buck at synopsys dot COM>
- To: Gabriel Dos Reis <gdr at acm dot org>
- Cc: Chris Lattner <sabre at nondot dot org>, gcc at gcc dot gnu dot org
- Date: Wed, 30 Jun 2004 09:25:04 -0700
- Subject: Re: mutually-recursive types and an old puzzle
- References: <32929.::ffff:128.194.146.36.1088557164.squirrel@webmail.nerim.net> <Pine.LNX.4.44.0406292255430.4981-100000@nondot.org> <32813.::ffff:24.250.169.187.1088586610.squirrel@webmail.nerim.net>
Chris Lattner wrote:
> > Actually I thought the question was more about the IR level type-system
> > than the source-level type-system. If you expand the C++ example above
> > into an IR, you get structures, which even the C type-system can support
> > (you can return a structure containing a function pointer that returns a
> > structure).
On Wed, Jun 30, 2004 at 11:10:10AM +0200, Gabriel Dos Reis wrote:
> Are we talking about the puzzle formulated by Joe?
Yes, but the question is still relevant, because my real reason for
bringing it up was to make sure that the GIMPLE representation is rich
enough. So we are talking both about Chris Torek's puzzle (I didn't
formulate it) *and* the IR level representation.