From: mpolacek <mpolacek@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Mon, 7 Aug 2017 09:13:02 +0000 (+0000)
Subject: 	PR middle-end/81737
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9b1b459ff321c1d522d4be089dd51c33b3a362b2;p=thirdparty%2Fgcc.git

	PR middle-end/81737
	* fold-const.c (fold_indirect_ref_1): Check type_domain.

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


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@250912 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 880a3c89a3f4..8fbb8c4d8b57 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2017-08-07  Marek Polacek  <polacek@redhat.com>
+
+	PR middle-end/81737
+	* fold-const.c (fold_indirect_ref_1): Check type_domain.
+
 2017-08-07  Martin Liska  <mliska@suse.cz>
 
 	* attribs.h (canonicalize_attr_name): New function.
diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index d563ba767668..8eaea6cce3a5 100644
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -14107,8 +14107,10 @@ fold_indirect_ref_1 (location_t loc, tree type, tree op0)
 		   && type == TREE_TYPE (op00type))
 	    {
 	      tree type_domain = TYPE_DOMAIN (op00type);
-	      tree min = TYPE_MIN_VALUE (type_domain);
-	      if (min && TREE_CODE (min) == INTEGER_CST)
+	      tree min;
+	      if (type_domain != NULL_TREE
+		  && (min = TYPE_MIN_VALUE (type_domain))
+		  && TREE_CODE (min) == INTEGER_CST)
 		{
 		  offset_int off = wi::to_offset (op01);
 		  offset_int el_sz = wi::to_offset (TYPE_SIZE_UNIT (type));
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1e5f70508263..bf161a311414 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-08-07  Marek Polacek  <polacek@redhat.com>
+
+	PR middle-end/81737
+	* gcc.dg/pr81737.c: New test.
+
 2017-08-07  Martin Liska  <mliska@suse.cz>
 
 	* g++.dg/cpp0x/pr65558.C: Update scanned pattern.
diff --git a/gcc/testsuite/gcc.dg/pr81737.c b/gcc/testsuite/gcc.dg/pr81737.c
new file mode 100644
index 000000000000..493358956ef5
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr81737.c
@@ -0,0 +1,6 @@
+/* PR middle-end/81737 */
+/* { dg-do compile } */
+/* { dg-options "" } */
+
+extern int a[];
+void fn1() { (a + 0)[1]; }