From Bruno Haible <haible@ilog.fr>:

	* execute/980223.c: New test.

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

diff --git a/gcc/testsuite/gcc.c-torture/ChangeLog b/gcc/testsuite/gcc.c-torture/ChangeLog
index 1715579..7a01b5f 100644 (file)
--- 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 (file)
index 0000000..eccfdfa
--- /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;
+}