]> git.ipfire.org Git - thirdparty/gcc.git/commit
tree-optimization/105971 - less surprising refs_may_alias_p_2
authorRichard Biener <rguenther@suse.de>
Wed, 15 Jun 2022 09:27:31 +0000 (11:27 +0200)
committerRichard Biener <rguenther@suse.de>
Wed, 15 Jun 2022 11:15:11 +0000 (13:15 +0200)
commit8c2733e16ec1c0cdda3db4cdc5ad158a96a658e8
tree89f4994f3979b631a0717a5766d87d18dfe8fc07
parentedb9330c29fe8a0a0b76df6fafd6a223a4d0e41f
tree-optimization/105971 - less surprising refs_may_alias_p_2

When DSE asks whether __real a is using __imag a it gets a surprising
result when a is a FUNCTION_DECL.  The following makes sure this case
is less surprising to callers but keeping the bail-out for the
non-decl case where it is true that PTA doesn't track aliases to code
correctly.

2022-06-15  Richard Biener  <rguenther@suse.de>

PR tree-optimization/105971
* tree-ssa-alias.cc (refs_may_alias_p_2): Put bail-out for
FUNCTION_DECL and LABEL_DECL refs after decl-decl disambiguation
to leak less surprising alias results.

* gcc.dg/torture/pr106971.c: New testcase.
gcc/testsuite/gcc.dg/torture/pr106971.c [new file with mode: 0644]
gcc/tree-ssa-alias.cc