From 8600f9040382f8fbc6160812dd977bfc6700b80a Mon Sep 17 00:00:00 2001
From: Robert Lipe <robertl@dgii.com>
Date: Mon, 23 Feb 1998 13:42:53 +0000
Subject: [PATCH] From Bruno Haible <haible@ilog.fr>:

	* execute/980223.c: New test.

From-SVN: r18210
---
 gcc/testsuite/gcc.c-torture/ChangeLog        |  5 ++++
 gcc/testsuite/gcc.c-torture/execute/980223.c | 31 ++++++++++++++++++++
 2 files changed, 36 insertions(+)
 create mode 100644 gcc/testsuite/gcc.c-torture/execute/980223.c

diff --git a/gcc/testsuite/gcc.c-torture/ChangeLog b/gcc/testsuite/gcc.c-torture/ChangeLog
index 1715579f6fd4..7a01b5f52d3b 100644
--- a/gcc/testsuite/gcc.c-torture/ChangeLog
+++ b/gcc/testsuite/gcc.c-torture/ChangeLog
@@ -1,3 +1,8 @@
+
+Mon Feb 23 15:16:53 1998  Robert Lipe <robertl@dgii.com>
+	From Bruno Haible <haible@ilog.fr>:
+	* execute/980223.c: New test.
+
 Fri Feb  6 14:30:48 1998  Jim Wilson  <wilson@cygnus.com>
 
 	* execute/980205.c: New test.
diff --git a/gcc/testsuite/gcc.c-torture/execute/980223.c b/gcc/testsuite/gcc.c-torture/execute/980223.c
new file mode 100644
index 000000000000..eccfdfa8a397
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/980223.c
@@ -0,0 +1,31 @@
+typedef struct { long addr; long type; } object;
+
+object bar (object blah)
+{
+  abort();
+}
+
+object foo (object x, object y)
+{
+  object z = *(object*)(x.addr);
+  if (z.type & 64)
+    {
+      y = *(object*)(z.addr+sizeof(object));
+      z = *(object*)(z.addr);
+      if (z.type & 64)
+        y = bar(y);
+    }
+  return y;
+}
+
+int nil;
+object cons1[2] = { {(long) &nil, 0}, {(long) &nil, 0} };
+object cons2[2] = { {(long) &cons1, 64}, {(long) &nil, 0} };
+
+main()
+{
+  object x = {(long) &cons2, 64};
+  object y = {(long) &nil, 0};
+  object three = foo(x,y);
+  return 0;
+}