tree-dfa.c (get_ref_base_and_extent): Use range-info to refine results when processin...
authorRichard Biener <rguenther@suse.de>
Fri, 18 May 2018 10:12:20 +0000 (10:12 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Fri, 18 May 2018 10:12:20 +0000 (10:12 +0000)
commit6b9fc1782effc67dd9f6def16207653d79647553
treefd645ec37779713599dd830519f77baa421a0e2a
parent5f007d14ce68073906656b725938a3be2625435b
tree-dfa.c (get_ref_base_and_extent): Use range-info to refine results when processing array refs with variable index.

2018-05-18  Richard Biener  <rguenther@suse.de>

* tree-dfa.c (get_ref_base_and_extent): Use range-info to refine
results when processing array refs with variable index.

* gcc.dg/tree-ssa/ssa-dse-35.c: New testcase.
* gcc.dg/graphite/scop-10.c: Adjust to avoid dead code.
* gcc.dg/graphite/scop-6.c: Likewise.
* gcc.dg/graphite/scop-7.c: Likewise.
* gcc.dg/graphite/scop-8.c: Likewise.
* gcc.dg/graphite/scop-9.c: Likewise.

From-SVN: r260354
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/graphite/scop-10.c
gcc/testsuite/gcc.dg/graphite/scop-6.c
gcc/testsuite/gcc.dg/graphite/scop-7.c
gcc/testsuite/gcc.dg/graphite/scop-8.c
gcc/testsuite/gcc.dg/graphite/scop-9.c
gcc/testsuite/gcc.dg/tree-ssa/ssa-dse-35.c [new file with mode: 0644]
gcc/tree-dfa.c