From: Richard Henderson <rth@gcc.gnu.org>
Date: Thu, 25 Jan 2001 00:16:42 +0000 (-0800)
Subject: New test.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c499d4d23ae57bc5705db8eb991fa938b6933298;p=gcc.git

New test.

From-SVN: r39252
---

diff --git a/gcc/testsuite/gcc.c-torture/execute/20010124-1.c b/gcc/testsuite/gcc.c-torture/execute/20010124-1.c
new file mode 100644
index 00000000000..5db512b6f3e
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/20010124-1.c
@@ -0,0 +1,50 @@
+/* Verify that structure return doesn't invoke memcpy on 
+   overlapping objects.  */
+
+extern void abort (void);
+typedef __SIZE_TYPE__ size_t;
+
+struct S {
+  char stuff[1024];
+};
+
+union U {
+  struct {
+    int space;
+    struct S s;
+  } a;
+  struct {
+    struct S s;
+    int space;
+  } b;
+};
+
+static struct S f(struct S *);
+static void g(union U *);
+
+int main()
+{
+  union U u;
+  u.b.s = f(&u.a.s);
+  u.a.s = f(&u.b.s);
+  g(&u);
+  return 0;
+}
+  
+static struct S f(struct S *p)
+{
+  return *p;
+}
+
+static void g(union U *p)
+{
+}
+
+static void *memcpy(void *a, const void *b, size_t len)
+{
+  if (a < b && a+len > b)
+    abort ();
+  if (b < a && b+len > a)
+    abort ();
+  return a;
+}