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>
Tue, 19 Jul 2022 09:26:07 +0000 (11:26 +0200)
commit8dd1c404ec77c6d2cdaaf93d219e3250081355c0
tree46d0ad3b17b64a6b7510e8d038de6ad11dae8971
parent4f34a9e8d5ffcef99a212180d58718b00bdbb7d2
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.

(cherry picked from commit 8c2733e16ec1c0cdda3db4cdc5ad158a96a658e8)
gcc/testsuite/gcc.dg/torture/pr106971.c [new file with mode: 0644]
gcc/tree-ssa-alias.cc