From: Richard Biener <rguenther@suse.de>
Date: Wed, 5 Dec 2018 14:55:59 +0000 (+0000)
Subject: re PR middle-end/63184 (Fails to simplify comparison)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1eb68b8c357fa50674ee2740c52aaf9144e25c8c;p=gcc.git

re PR middle-end/63184 (Fails to simplify comparison)

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

	PR middle-end/63184
	* c-c++-common/pr19807-2.c: New testcase.
	* c-c++-common/pr19807-3.c: Likewise.

From-SVN: r266827
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b95e7942d86..b8fb2c033d5 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2018-12-05  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/63184
+	* c-c++-common/pr19807-2.c: New testcase.
+	* c-c++-common/pr19807-3.c: Likewise.
+
 2018-12-05  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
 
 	PR testsuite/88208
diff --git a/gcc/testsuite/c-c++-common/pr19807-2.c b/gcc/testsuite/c-c++-common/pr19807-2.c
new file mode 100644
index 00000000000..c8b2a57d654
--- /dev/null
+++ b/gcc/testsuite/c-c++-common/pr19807-2.c
@@ -0,0 +1,12 @@
+/* { dg-do link } */
+/* { dg-options "-O" } */
+
+extern void link_error(void);
+int i;
+int main()
+{
+  int a[4];
+  if ((char*)&a[1] + 4*i + 4 != (char*)&a[i+2])
+    link_error();
+  return 0;
+}
diff --git a/gcc/testsuite/c-c++-common/pr19807-3.c b/gcc/testsuite/c-c++-common/pr19807-3.c
new file mode 100644
index 00000000000..d882bd369bf
--- /dev/null
+++ b/gcc/testsuite/c-c++-common/pr19807-3.c
@@ -0,0 +1,12 @@
+/* { dg-do link } */
+/* { dg-options "-O" } */
+
+extern void link_error(void);
+int i;
+int main()
+{
+  int a[4];
+  if (&a[1] + i + 1 != &a[i+2])
+    link_error();
+  return 0;
+}