From: Marek Polacek <polacek@redhat.com>
Date: Fri, 4 Aug 2017 11:28:04 +0000 (+0000)
Subject: re PR middle-end/81695 (internal compiler error: in size_binop_loc, at fold-const... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f4f2c2ece3c309ac3d7e8a6bfd9f6cd9c6cb95a1;p=gcc.git

re PR middle-end/81695 (internal compiler error: in size_binop_loc, at fold-const.c:1768)

	PR middle-end/81695
	* fold-const.c (fold_indirect_ref_1): For ((int *)&a + 4 -> a[1],
	perform the computation in offset_int.

	* gcc.dg/pr81695.c: New test.

From-SVN: r250871
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index c0d747dbcf2..811c9878d43 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2017-08-04  Marek Polacek  <polacek@redhat.com>
+
+	PR middle-end/81695
+	* fold-const.c (fold_indirect_ref_1): For ((int *)&a + 4 -> a[1],
+	perform the computation in offset_int.
+
 2017-08-04  Richard Sandiford  <richard.sandiford@linaro.org>
 
 	PR tree-optimization/81136
diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index 53428b89454..d563ba76766 100644
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -14107,14 +14107,21 @@ fold_indirect_ref_1 (location_t loc, tree type, tree op0)
 		   && type == TREE_TYPE (op00type))
 	    {
 	      tree type_domain = TYPE_DOMAIN (op00type);
-	      tree min_val = size_zero_node;
-	      if (type_domain && TYPE_MIN_VALUE (type_domain))
-		min_val = TYPE_MIN_VALUE (type_domain);
-	      op01 = size_binop_loc (loc, EXACT_DIV_EXPR, op01,
-				     TYPE_SIZE_UNIT (type));
-	      op01 = size_binop_loc (loc, PLUS_EXPR, op01, min_val);
-	      return build4_loc (loc, ARRAY_REF, type, op00, op01,
-				 NULL_TREE, NULL_TREE);
+	      tree min = TYPE_MIN_VALUE (type_domain);
+	      if (min && TREE_CODE (min) == INTEGER_CST)
+		{
+		  offset_int off = wi::to_offset (op01);
+		  offset_int el_sz = wi::to_offset (TYPE_SIZE_UNIT (type));
+		  offset_int remainder;
+		  off = wi::divmod_trunc (off, el_sz, SIGNED, &remainder);
+		  if (remainder == 0)
+		    {
+		      off = off + wi::to_offset (min);
+		      op01 = wide_int_to_tree (sizetype, off);
+		      return build4_loc (loc, ARRAY_REF, type, op00, op01,
+					 NULL_TREE, NULL_TREE);
+		    }
+		}
 	    }
 	}
     }
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 23f9c8fd166..fbb1fba0f5f 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-08-04  Marek Polacek  <polacek@redhat.com>
+
+	PR middle-end/81695
+	* gcc.dg/pr81695.c: New test.
+
 2017-08-04  Richard Sandiford  <richard.sandiford@linaro.org>
 
 	PR tree-optimization/81136
diff --git a/gcc/testsuite/gcc.dg/pr81695.c b/gcc/testsuite/gcc.dg/pr81695.c
new file mode 100644
index 00000000000..c3452580f1c
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr81695.c
@@ -0,0 +1,11 @@
+/* PR middle-end/81695 */
+/* { dg-do compile } */
+/* { dg-options "" } */
+
+int z[] = { };
+
+int
+main (void)
+{
+  __builtin_printf ("%d\n", *(z + 1));
+}