This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [PATCH, PR 45934 4/6] Dynamic type change detection

From: Gabriel Dos Reis <gdr at integrable-solutions dot net>
To: Jason Merrill <jason at redhat dot com>, GCC Patches <gcc-patches at gcc dot gnu dot org>, Richard Guenther <rguenther at suse dot de>, Jan Hubicka <hubicka at ucw dot cz>
Date: Fri, 3 Dec 2010 08:34:00 -0600
Subject: Re: [PATCH, PR 45934 4/6] Dynamic type change detection
References: <20101201201618.861802217@virgil.suse.cz> <20101201201711.231211674@virgil.suse.cz> <4CF82AE8.3040901@redhat.com> <20101203134515.GB3371@virgil.arch.suse.de>

On Fri, Dec 3, 2010 at 7:45 AM, Martin Jambor <mjambor@suse.cz> wrote:
> Hi,
>
> On Thu, Dec 02, 2010 at 06:25:28PM -0500, Jason Merrill wrote:
>> On 12/01/2010 03:16 PM, Martin Jambor wrote:
>> >and there are no unions of non-POD types
>>
>> This is actually no longer true in C++0x.
>
> OK... but from what I have googled I understand that types with
> virtual functions are still explicitely not allowed to be fields of
> a union, right?

I cannot see that restriction from the current draft.

     http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2010/n3225.pdf

-- Gaby

References:
- [PATCH, PR 45934 0/6] Devirtualization aware of dynamic type changes
  - From: Martin Jambor
- [PATCH, PR 45934 4/6] Dynamic type change detection
  - From: Martin Jambor
- Re: [PATCH, PR 45934 4/6] Dynamic type change detection
  - From: Jason Merrill
- Re: [PATCH, PR 45934 4/6] Dynamic type change detection
  - From: Martin Jambor

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]