Re: [C++ Patch] PR 50732

[Paolo Carlini <paolo dot carlini at oracle dot com>]

On 10/14/2011 08:30 PM, Paolo Carlini wrote:
> On 10/14/2011 08:23 PM, Paolo Carlini wrote:
> > Hi,
> >
> > submitter complains that, at variance with C++11, __is_base_of 
> > doesn't handle an incomplete base type (the first parameter). The 
> > reason seems simple: in finish_trait_expr we try to complete *both* 
> > types instead of doing it where/when necessary.
> Hmm, maybe we should be even more careful and call complete (type2) 
> only when
>
> NON_UNION_CLASS_TYPE_P (type1) && NON_UNION_CLASS_TYPE_P (type2) && 
> !same_type_ignoring_top_level_qualifiers_p (type1, type2)
>
> is true?
Like this?

Paolo.

///////////////////

Attachment: patch_50732_alt
Description: Text document