diff mbox series

tree-optimization/113898 - ICE with sanity checking for VN ref adjustment

Message ID 20240213104517.20C523858284@sourceware.org
State New
Headers show
Series tree-optimization/113898 - ICE with sanity checking for VN ref adjustment | expand

Commit Message

Richard Biener Feb. 13, 2024, 10:44 a.m. UTC 
The following fixes a missing add to the accumulated offset when
adjusting an ARRAY_REF op for value-ranges applied to by
get_ref_base_and_extent.

Bootstrapped and tested on x86_64-unknown-linux-gnu, pushed.

	PR tree-optimization/113898
	* tree-ssa-sccvn.cc (copy_reference_ops_from_ref): Add
	missing accumulated off adjustment.

	* gcc.dg/torture/pr113898.c: New testcase.
---
 gcc/testsuite/gcc.dg/torture/pr113898.c | 16 ++++++++++++++++
 gcc/tree-ssa-sccvn.cc                   |  1 +
 2 files changed, 17 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/torture/pr113898.c
diff mbox series

Patch

diff --git a/gcc/testsuite/gcc.dg/torture/pr113898.c b/gcc/testsuite/gcc.dg/torture/pr113898.c
new file mode 100644
index 00000000000..6832a345271
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr113898.c
@@ -0,0 +1,16 @@ 
+/* { dg-do compile } */
+
+int a, d;
+unsigned **b;
+long c, f;
+long e[2][1];
+void g() {
+  int h = 0;
+  for (; h < 2; h++) {
+    e[h][d + **b + a] = c;
+    if (f)
+      for (;;)
+        ;
+  }
+}
+void main() {}
diff --git a/gcc/tree-ssa-sccvn.cc b/gcc/tree-ssa-sccvn.cc
index 2823573b656..5a49390a79c 100644
--- a/gcc/tree-ssa-sccvn.cc
+++ b/gcc/tree-ssa-sccvn.cc
@@ -1126,6 +1126,7 @@  copy_reference_ops_from_ref (tree ref, vec<vn_reference_op_s> *result)
 		op.op0 = wide_int_to_tree (TREE_TYPE (op.op0),
 					   wi::to_poly_wide (op.op1) + idx);
 	      op.off = idx * elsz;
+	      off += op.off;
 	    }
 	  else
 	    {