On Fri, May 22, 2015 at 5:00 AM, Jan Hubicka <hubi...@ucw.cz> wrote: >> Now we have it spelled out 4 times ... makes sense to create a new >> macro for it? (though I cannot think of a good name... >> UNACCESSIBLE_TYPE_P ()?) > > Yep, actually I already made that version of patch yesterday but then got > hooked by beers. This is better version (also with more sensible comments). > I will commit it at afternoon if you have no further comments. > > > * lto.c (hash_canonical_type): Be sure we hash only types that > need alias set. > (gimple_register_canonical_type_1): Do not produce canonical > types for types that do not need alias sets. > * tree.c (gimple_canonical_types_compatible_p): Sanity check that > we do not try to compute canonical type for type that does not need > alias set. > (verify_type): Drop FIXME for METHOD_TYPE, update FIXME for > FUNCITON_TYPE. > * tree.h (type_with_alias_set_p): New.
This caused: https://gcc.gnu.org/ml/gcc-cvs/2015-05/msg00948.html H.J.