On Fri, Nov 16, 2018 at 4:26 PM Jakub Jelinek <ja...@redhat.com> wrote:
> I admit this is just a shot in the dark, but I don't see why
> one couldn't adjust a type of EMPTY_CLASS_EXPR to EMPTY_CLASS_EXPR
> with a different variant of the same type.

Makes sense.

> Or, should I drop that
>   && TYPE_MAIN_VARIANT (type) == TYPE_MAIN_VARIANT (TREE_TYPE (temp))
> part?  We don't really verify something similar for CONSTRUCTORs.

I suppose it makes sense to assert
same_type_ignoring_top_level_qualifiers_p for both CONSTRUCTOR and
EMPTY_CLASS_EXPR.  OK with that change.

Jason

Reply via email to