aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRichard Biener <rguenther@suse.de>2018-12-05 14:55:59 +0000
committerRichard Biener <rguenth@gcc.gnu.org>2018-12-05 14:55:59 +0000
commit1eb68b8c357fa50674ee2740c52aaf9144e25c8c (patch)
treea22fa868d2b4ead1bbcfec9eb0b6cba6bd33b168
parentc0c5112bcd9bd1b0846a2fc5593339a8bd690bd8 (diff)
downloadgcc-1eb68b8c357fa50674ee2740c52aaf9144e25c8c.zip
gcc-1eb68b8c357fa50674ee2740c52aaf9144e25c8c.tar.gz
gcc-1eb68b8c357fa50674ee2740c52aaf9144e25c8c.tar.bz2
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
-rw-r--r--gcc/testsuite/ChangeLog6
-rw-r--r--gcc/testsuite/c-c++-common/pr19807-2.c12
-rw-r--r--gcc/testsuite/c-c++-common/pr19807-3.c12
3 files changed, 30 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b95e794..b8fb2c0 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 0000000..c8b2a57
--- /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 0000000..d882bd3
--- /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;
+}