On 02/16/2012 01:47 PM, Fabien Chêne wrote:
+ tree binfo_type = TYPE_MAIN_VARIANT (BINFO_TYPE (binfo));
BINFO_TYPE should already be its TYPE_MAIN_VARIANT. Why isn't it here?
For (2), the lookup was failing because the flag BINFO_DEPENDENT_BASE_P was set. It think it should not be set for this special case, however, I'm not sure I have unset it at the right place.
I think we should avoid setting it in the first place, perhaps by changing dependent_type_p to dependent_scope_p in xref_basetypes.
Jason