Re: Cleanup handling of variants in ipa-devirt

2018-10-26 Thread Jan Hubicka
> On 26 October 2018 09:18:39 CEST, Jan Hubicka wrote: > > @@ -1094,10 +1133,15 @@ warn_types_mismatch (tree t1, tree t2, l > gcc_assert (TYPE_NAME (t1) && TYPE_NAME (t2) >&& TREE_CODE (TYPE_NAME (t1)) == TYPE_DECL >&& TREE_CODE (TYPE_NAME (t2)) == TYPE_DECL); > +

Re: Cleanup handling of variants in ipa-devirt

2018-10-26 Thread Bernhard Reutner-Fischer
On 26 October 2018 09:18:39 CEST, Jan Hubicka wrote: @@ -1094,10 +1133,15 @@ warn_types_mismatch (tree t1, tree t2, l gcc_assert (TYPE_NAME (t1) && TYPE_NAME (t2) && TREE_CODE (TYPE_NAME (t1)) == TYPE_DECL && TREE_CODE (TYPE_NAME (t2)) == TYPE_DECL); + tree n1 =

Cleanup handling of variants in ipa-devirt

2018-10-26 Thread Jan Hubicka
Hi, with this patch ipa-devirt no longer needs TYPE_DECLs on type variants. The basic idea is that anything working with ODR types should work on main variants only. For ODR type checking we then have type_variants_equivalent_p which double check that we have same qualifiers, alignment and attribu