From ff8afde0ea2f2673e458e610e9680fa90bc3c2dc Mon Sep 17 00:00:00 2001
From: Jakub Jelinek <jakub@redhat.com>
Date: Fri, 26 Aug 2005 23:59:25 +0200
Subject: [PATCH] re PR rtl-optimization/23560 (Strength-reduction breaking
 unsigned COMPARE)

	PR rtl-opt/23560
	* gcc.c-torture/execute/20050826-2.c: New test.

From-SVN: r103540
---
 gcc/testsuite/ChangeLog                       |  5 ++
 .../gcc.c-torture/execute/20050826-2.c        | 62 +++++++++++++++++++
 2 files changed, 67 insertions(+)
 create mode 100644 gcc/testsuite/gcc.c-torture/execute/20050826-2.c

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index bfa618af6e7..5ca10c9f488 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2005-08-26  Jakub Jelinek  <jakub@redhat.com>
+
+	PR rtl-opt/23560
+	* gcc.c-torture/execute/20050826-2.c: New test.
+
 2005-08-26  Dale Johannesen  <dalej@apple.com>
 
 	* gcc.dg/20030711-1.c:  Modify to work on Darwin.
diff --git a/gcc/testsuite/gcc.c-torture/execute/20050826-2.c b/gcc/testsuite/gcc.c-torture/execute/20050826-2.c
new file mode 100644
index 00000000000..0398049856c
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/20050826-2.c
@@ -0,0 +1,62 @@
+/* PR rtl-optimization/23560 */
+
+struct rtattr
+{
+  unsigned short rta_len;
+  unsigned short rta_type;
+};
+
+__attribute__ ((noinline))
+int inet_check_attr (void *r, struct rtattr **rta)
+{
+  int i;
+
+  for (i = 1; i <= 14; i++)
+    {
+      struct rtattr *attr = rta[i - 1];
+      if (attr)
+	{
+	  if (attr->rta_len - sizeof (struct rtattr) < 4)
+	    return -22;
+	  if (i != 9 && i != 8)
+	    rta[i - 1] = attr + 1;
+	}
+    }
+  return 0;
+}
+
+extern void abort (void);
+
+int
+main (void)
+{
+  struct rtattr rt[2];
+  struct rtattr *rta[14];
+  int i;
+
+  rt[0].rta_len = sizeof (struct rtattr) + 8;
+  rt[0].rta_type = 0;
+  rt[1] = rt[0];
+  for (i = 0; i < 14; i++)
+    rta[i] = &rt[0];
+  if (inet_check_attr (0, rta) != 0)
+    abort ();
+  for (i = 0; i < 14; i++)
+    if (rta[i] != &rt[i != 7 && i != 8])
+      abort ();
+  for (i = 0; i < 14; i++)
+    rta[i] = &rt[0];
+  rta[1] = 0;
+  rt[1].rta_len -= 8;
+  rta[5] = &rt[1];
+  if (inet_check_attr (0, rta) != -22)
+    abort ();
+  for (i = 0; i < 14; i++)
+    if (i == 1 && rta[i] != 0)
+      abort ();
+    else if (i != 1 && i <= 5 && rta[i] != &rt[1])
+      abort ();
+    else if (i > 5 && rta[i] != &rt[0])
+      abort ();
+  return 0;
+}