https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106833
--- Comment #7 from Segher Boessenkool <segher at gcc dot gnu.org> --- (In reply to rguent...@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? > So the solution should be fully inside verify_type. Yeah. OPAQUE might be a "hack" (or call it an "invention" :-) ), but the nice thing about is it is very self-contained, no interactions anywhere. That is the point even :-)
