[Bug middle-end/106833] Handle OPAQUE_TYPE in gimple_canonical_types_compatible_p

[linkw at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106833

--- Comment #8 from Kewen Lin <linkw at gcc dot gnu.org> ---
Created attachment 53542
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53542&action=edit
Specially handle opaque type in verify_type

(In reply to Segher Boessenkool from comment #7)
> (In reply to rguenther@suse.de from comment #6)
> > Ah, that special "mode".  I think verify_types shouldn't do anything
> > for OPAQUE_TYPES or alternatively trust the targets setup of
> > TYPE_MAIN_VARIANT/TYPE_CANONICAL.  Maybe verify TYPE_CANONICAL
> > and TYPE_MAIN_VARIANT are also OPAQUE_TYPE.
> 
> It's probably easiest to just test if the TYPE_MODEs match, for OPAQUE_TYPEs?

Thanks for suggestions from both of you! Following your suggestions, I made a
patch which also considers size and alignment information which is mentioned in
the documentation, does it make sense to you?