diff options
| author | Martin Liska <mliska@suse.cz> | 2019-08-09 14:06:30 +0200 |
|---|---|---|
| committer | Martin Liska <marxin@gcc.gnu.org> | 2019-08-09 12:06:30 +0000 |
| commit | 33e8e0ee4cd185f5073546fed2199c6ec76933ca (patch) | |
| tree | 287e6e2239474fa8a4b2fc2ff69e4bb973982fee /gcc/alias.c | |
| parent | 97bf048c04d93ba1e0265893fdb06f8991c149f7 (diff) | |
Strengthen alias_ptr_types_compatible_p in LTO mode.
2019-08-09 Martin Liska <mliska@suse.cz>
* alias.c (alias_ptr_types_compatible_p): Strengten
type comparison in LTO mode.
From-SVN: r274235
Diffstat (limited to 'gcc/alias.c')
| -rw-r--r-- | gcc/alias.c | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/gcc/alias.c b/gcc/alias.c index 2755df72907..1579dfa68a7 100644 --- a/gcc/alias.c +++ b/gcc/alias.c @@ -793,8 +793,16 @@ alias_ptr_types_compatible_p (tree t1, tree t2) || ref_all_alias_ptr_type_p (t2)) return false; - return (TYPE_MAIN_VARIANT (TREE_TYPE (t1)) - == TYPE_MAIN_VARIANT (TREE_TYPE (t2))); + /* This function originally abstracts from simply comparing + get_deref_alias_set so that we are sure this still computes + the same result after LTO type merging is applied. + When in LTO type merging is done we can actually do this compare. + */ + if (in_lto_p) + return get_deref_alias_set (t1) == get_deref_alias_set (t2); + else + return (TYPE_MAIN_VARIANT (TREE_TYPE (t1)) + == TYPE_MAIN_VARIANT (TREE_TYPE (t2))); } /* Create emptry alias set entry. */ |