> Testcase? I think it would be better to handle this in the canonical type > merging code in lto.c - or how does it end up working without LTO? That is, > what does the Ada frontend do to make sure get_alias_set handles this > correctly?
It manages the alias sets, see gcc-interface/utils.c:relate_alias_sets. -- Eric Botcazou