Hi, On Tue, 16 Apr 2019, Jakub Jelinek wrote:
> > + if (type1 == type2) > > + return true; > > + if (TYPE_MAIN_VARIANT (type1) != TYPE_MAIN_VARIANT (type2)) > > + return false; > > Is this second one correct though? Doesn't comptypes return for various > cases true even if the TYPE_MAIN_VARIANT is different? Right, that was a thinko. As I said, I rushed this somewhat :) Ciao, Michael.