diff options
Diffstat (limited to 'gcc-4.4.3/gcc/testsuite/gcc.dg/overlay1.c')
-rw-r--r-- | gcc-4.4.3/gcc/testsuite/gcc.dg/overlay1.c | 70 |
1 files changed, 70 insertions, 0 deletions
diff --git a/gcc-4.4.3/gcc/testsuite/gcc.dg/overlay1.c b/gcc-4.4.3/gcc/testsuite/gcc.dg/overlay1.c new file mode 100644 index 000000000..a87dfa415 --- /dev/null +++ b/gcc-4.4.3/gcc/testsuite/gcc.dg/overlay1.c @@ -0,0 +1,70 @@ +/* Check that store sinking does not break stack overlay */ +/* { dg-do run } */ +/* { dg-options "-O2 -fearly-stack-alloc" } */ + +extern void abort (void); + +struct a; + +typedef void (*func_t)(struct a*); + +struct a { + func_t impl; +}; + +struct b { + struct a base; +}; + +void +a_impl (struct a *const this) +{ + abort(); +} + +void +b_impl (struct a * const this) +{ +} + +void __attribute__((noinline)) +a_interface (struct a * const this) +{ + this->impl(this); +} + +int +main(int argc, char **argv) +{ + { + struct b obj1; + +L1: + if (argc > 400) + return 0; + obj1.base.impl = b_impl; + +L2: + a_interface (&obj1.base); + obj1.base.impl = b_impl; + obj1.base.impl = a_impl; + if (argc > 200) + return 0; + } + { + struct b obj2; + obj2.base.impl = a_impl; + +L3: + obj2.base.impl = b_impl; + if (argc > 100) + return 0; + +L4: + a_interface (&obj2.base); + obj2.base.impl = b_impl; + obj2.base.impl = a_impl; + } + + return 0; +} |