From c499d4d23ae57bc5705db8eb991fa938b6933298 Mon Sep 17 00:00:00 2001 From: Richard Henderson Date: Wed, 24 Jan 2001 16:16:42 -0800 Subject: [PATCH] New test. From-SVN: r39252 --- .../gcc.c-torture/execute/20010124-1.c | 50 +++++++++++++++++++ 1 file changed, 50 insertions(+) create mode 100644 gcc/testsuite/gcc.c-torture/execute/20010124-1.c 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; +} -- 2.30.2