PR middle-end/93246 - missing alias subsets
authorRichard Biener <rguenther@suse.de>
Tue, 14 Jan 2020 07:43:32 +0000 (08:43 +0100)
committerRichard Biener <rguenther@suse.de>
Tue, 14 Jan 2020 08:47:02 +0000 (09:47 +0100)
commit6b8df3e421b56bb7853a158b889f5e45611fd31f
tree33bf50001d0dfc546744ed2fdd0962089a017631
parentb38e86ddb7a9b6d7e87d7cc0b23983d027fcbd96
PR middle-end/93246 - missing alias subsets

Starting with the introduction of TYPE_TYPELESS_STORAGE the situation
of having a alias-set zero aggregate field became more common which
prevents recording alias-sets of fields of said aggregate as subset
of the outer aggregate.  component_uses_parent_alias_set_from in the
past fended off some of the issues with that but the alias oracles
use of the alias set of the base of an access path never appropriately
handled it.

The following makes it so that alias-sets of fields of alias-set zero
aggregate fields are still recorded as subset of the container.

2020-01-14  Richard Biener  <rguenther@suse.de>

PR middle-end/93246
* alias.c (record_component_aliases): Take superset to record
into, recurse for alias-set zero fields.
(record_component_aliases): New oveerload wrapping around the above.

* g++.dg/torture/pr93246.C: New testcase.
gcc/alias.c
gcc/testsuite/g++.dg/torture/pr93246.C [new file with mode: 0644]