diff options
author | Richard Biener <rguenther@suse.de> | 2019-06-04 08:09:16 +0000 |
---|---|---|
committer | Richard Biener <rguenth@gcc.gnu.org> | 2019-06-04 08:09:16 +0000 |
commit | d62887a42bc49963179b0429f6914b050dd2517c (patch) | |
tree | 2c3f3f6536f8853ae2e74c1391744c9067e29be9 /gcc/tree-ssa-alias.c | |
parent | c3af5442898aadc277f95732fd40287a2d5cfc86 (diff) |
re PR fortran/90738 (gfortran.dg/pointer_array_10.f90 etc. FAIL)
2019-06-04 Richard Biener <rguenther@suse.de>
PR tree-optimization/90738
Revert
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.
* gcc.dg/torture/pr90738.c: New testcase.
From-SVN: r271902
Diffstat (limited to 'gcc/tree-ssa-alias.c')
-rw-r--r-- | gcc/tree-ssa-alias.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/gcc/tree-ssa-alias.c b/gcc/tree-ssa-alias.c index dd4e3b7aaa9..429288b6ca5 100644 --- a/gcc/tree-ssa-alias.c +++ b/gcc/tree-ssa-alias.c @@ -1013,8 +1013,7 @@ nonoverlapping_component_refs_of_decl_p (tree ref1, tree ref2) } if (TREE_CODE (ref1) == MEM_REF) { - if (!integer_zerop (TREE_OPERAND (ref1, 1)) - || TREE_CODE (TREE_OPERAND (ref1, 0)) != ADDR_EXPR) + if (!integer_zerop (TREE_OPERAND (ref1, 1))) return false; ref1 = TREE_OPERAND (TREE_OPERAND (ref1, 0), 0); } @@ -1027,8 +1026,7 @@ nonoverlapping_component_refs_of_decl_p (tree ref1, tree ref2) } if (TREE_CODE (ref2) == MEM_REF) { - if (!integer_zerop (TREE_OPERAND (ref2, 1)) - || TREE_CODE (TREE_OPERAND (ref2, 0)) != ADDR_EXPR) + if (!integer_zerop (TREE_OPERAND (ref2, 1))) return false; ref2 = TREE_OPERAND (TREE_OPERAND (ref2, 0), 0); } |