On Mon, 19 Nov 2018, Eric Botcazou wrote:
> > Eric, do you know of any cases in Ada where a alias-set zero base
> > has non-alias-set zero children? The testsuite seems to be clean
> > but you never know...
>
> No, at least not off the top of my head; that would be weird in any case.
OK, I'll
> Eric, do you know of any cases in Ada where a alias-set zero base
> has non-alias-set zero children? The testsuite seems to be clean
> but you never know...
No, at least not off the top of my head; that would be weird in any case.
--
Eric Botcazou
The PR complains that with TYPE_TYPELESS_STORAGE in C++ now too much
TBAA aliasing happens (not that this was unexpected). The reason
for this with the testcase is the alias-set zero case in
component_uses_parent_alias_set_from which history tells me was added
for attribute((may_alias))