diff options
author | Richard Biener <rguenther@suse.de> | 2022-06-15 11:27:31 +0200 |
---|---|---|
committer | Richard Biener <rguenther@suse.de> | 2022-06-15 13:15:11 +0200 |
commit | 8c2733e16ec1c0cdda3db4cdc5ad158a96a658e8 (patch) | |
tree | 89f4994f3979b631a0717a5766d87d18dfe8fc07 /libphobos/libdruntime/gcc | |
parent | edb9330c29fe8a0a0b76df6fafd6a223a4d0e41f (diff) | |
download | gcc-8c2733e16ec1c0cdda3db4cdc5ad158a96a658e8.zip gcc-8c2733e16ec1c0cdda3db4cdc5ad158a96a658e8.tar.gz gcc-8c2733e16ec1c0cdda3db4cdc5ad158a96a658e8.tar.bz2 |
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.
Diffstat (limited to 'libphobos/libdruntime/gcc')
0 files changed, 0 insertions, 0 deletions