Re: Make alias sets of ODR types more precise

2019-07-17 Thread Richard Biener
On Tue, 16 Jul 2019, Jan Hubicka wrote: > Hi, > this is the hunk we omitted from the original patch enabling TBAA for > ODR types. Currently record_component_aliases record all pointers as > void *. This is because canonical type merging handles them this way > and thus it may merge for example

Make alias sets of ODR types more precise

2019-07-16 Thread Jan Hubicka
Hi, this is the hunk we omitted from the original patch enabling TBAA for ODR types. Currently record_component_aliases record all pointers as void *. This is because canonical type merging handles them this way and thus it may merge for example strut a { int *ptr;}; and struct b { short *ptr