diff options
| author | Richard Biener <rguenther@suse.de> | 2019-06-03 10:45:38 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2019-06-03 10:45:38 +0000 |
| commit | 1be54209b30e4ace3ec771f2dfab687d451fbbf8 (patch) | |
| tree | e68d721fcca49cd4a4f23f6dd97dfa936bc41916 /gcc/tree-ssa-alias.c | |
| parent | 4c76ebd05b41db96913d818b28668f8a530340e4 (diff) | |
| download | gcc-1be54209b30e4ace3ec771f2dfab687d451fbbf8.zip gcc-1be54209b30e4ace3ec771f2dfab687d451fbbf8.tar.gz gcc-1be54209b30e4ace3ec771f2dfab687d451fbbf8.tar.bz2 | |
tree-ssa-sccvn.c (ao_ref_init_from_vn_reference): Get original full reference tree and record in ref->ref.
2019-06-03 Richard Biener <rguenther@suse.de>
* tree-ssa-sccvn.c (ao_ref_init_from_vn_reference): Get original
full reference tree and record in ref->ref.
(vn_reference_lookup_3): Pass in original ref to
ao_ref_init_from_vn_reference.
(vn_reference_lookup): Likewise.
* tree-ssa-sccvn.h (ao_ref_init_from_vn_reference): Adjust prototype.
* tree-ssa-alias.c (nonoverlapping_component_refs_of_decl_p):
Handle non-decl bases in the original reference.
* gcc.dg/tree-ssa/alias-access-path-1.c: Scan fre1.
From-SVN: r271860
Diffstat (limited to 'gcc/tree-ssa-alias.c')
| -rw-r--r-- | gcc/tree-ssa-alias.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/tree-ssa-alias.c b/gcc/tree-ssa-alias.c index 429288b..dd4e3b7 100644 --- a/gcc/tree-ssa-alias.c +++ b/gcc/tree-ssa-alias.c @@ -1013,7 +1013,8 @@ nonoverlapping_component_refs_of_decl_p (tree ref1, tree ref2) } if (TREE_CODE (ref1) == MEM_REF) { - if (!integer_zerop (TREE_OPERAND (ref1, 1))) + if (!integer_zerop (TREE_OPERAND (ref1, 1)) + || TREE_CODE (TREE_OPERAND (ref1, 0)) != ADDR_EXPR) return false; ref1 = TREE_OPERAND (TREE_OPERAND (ref1, 0), 0); } @@ -1026,7 +1027,8 @@ nonoverlapping_component_refs_of_decl_p (tree ref1, tree ref2) } if (TREE_CODE (ref2) == MEM_REF) { - if (!integer_zerop (TREE_OPERAND (ref2, 1))) + if (!integer_zerop (TREE_OPERAND (ref2, 1)) + || TREE_CODE (TREE_OPERAND (ref2, 0)) != ADDR_EXPR) return false; ref2 = TREE_OPERAND (TREE_OPERAND (ref2, 0), 0); } |