From: Maciej W. Rozycki Date: Thu, 25 Aug 2005 11:30:19 +0000 (+0000) Subject: * gcc.c-torture/execute/frame-address.c: New test. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a5e668d53debcd73c2cf1721f57f38f89291bb7b;p=gcc.git * gcc.c-torture/execute/frame-address.c: New test. From-SVN: r103485 --- diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index dc238f754c6..9ec423454c6 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2005-08-26 Maciej W. Rozycki + + * gcc.c-torture/execute/frame-address.c: New test. + 2005-08-25 Nathan Sidwell PR c++/20817 diff --git a/gcc/testsuite/gcc.c-torture/execute/frame-address.c b/gcc/testsuite/gcc.c-torture/execute/frame-address.c new file mode 100644 index 00000000000..bf9443c018b --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/frame-address.c @@ -0,0 +1,42 @@ +int check_fa_work (const char *, const char *) __attribute__((noinline)); +int check_fa_mid (const char *) __attribute__((noinline)); +int check_fa (char *) __attribute__((noinline)); +int how_much (void) __attribute__((noinline)); + +int check_fa_work (const char *c, const char *f) +{ + const char d = 0; + + if (c >= &d) + return c >= f && f >= &d; + else + return c <= f && f <= &d; +} + +int check_fa_mid (const char *c) +{ + const char *f = __builtin_frame_address (0); + + return check_fa_work (c, f); +} + +int check_fa (char *unused) +{ + const char c = 0; + + return check_fa_mid (&c); +} + +int how_much (void) +{ + return 8; +} + +int main (void) +{ + char *unused = __builtin_alloca (how_much ()); + + if (!check_fa(unused)) + abort(); + return 0; +}