On 11/11/2015 10:21 AM, Richard Biener wrote:
On Tue, 10 Nov 2015, Jan Hubicka wrote:
The reason is that TYPE_CANONICAL is initialized in get_alias_set that may be
called before we finish all merging and then it is more fine grained than what
we need here (i.e. TYPE_CANONICAL of pointers to two differnt types will be
different, but here we want them to be equal so we can match:
struct aa { void *ptr;};
struct bb { int * ptr;};
Which is actually required for Fortran interoperability.
Just curious, is this sort of thing documented anywhere?
Bernd
