On Wed, Apr 05, 2017 at 03:27:20PM +0000, Bernd Edlinger wrote:
> Yes, but it is not clear if it will be available in LTO, for instance
> we used to stream TYPE_ALIAS_SET == 0 information to let frontends mark
> types that are opaque for TBAA. This however did not work as intended,
> because TYPE_ALIAS_SET == 0 was regularly lost in type merging.
>
> But streaming an attribute works seamless, and is not lost in type
> merging AFAICT.
Streaming flags on types works seamlessly too, if you add the 2-3x one-liner
changes in the streamer. Just look at some other type flag and do the same
thing.
Jakub
