From a5e668d53debcd73c2cf1721f57f38f89291bb7b Mon Sep 17 00:00:00 2001
From: "Maciej W. Rozycki" <macro@linux-mips.org>
Date: Thu, 25 Aug 2005 11:30:19 +0000
Subject: * gcc.c-torture/execute/frame-address.c: New test.

From-SVN: r103485
---
 gcc/testsuite/ChangeLog                            |  4 +++
 .../gcc.c-torture/execute/frame-address.c          | 42 ++++++++++++++++++++++
 2 files changed, 46 insertions(+)
 create mode 100644 gcc/testsuite/gcc.c-torture/execute/frame-address.c

(limited to 'gcc')

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index dc238f7..9ec4234 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2005-08-26  Maciej W. Rozycki  <macro@linux-mips.org>
+
+	* gcc.c-torture/execute/frame-address.c: New test.
+
 2005-08-25  Nathan Sidwell  <nathan@codesourcery.com>
 
 	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 0000000..bf9443c
--- /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;
+}
-- 
cgit v1.1