From 29016e0678b6f335b3998bfa4a1caf38e6e930ce Mon Sep 17 00:00:00 2001
From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Thu, 28 Jun 2007 12:16:51 +0000
Subject: [PATCH] va_start did not work with fastcall yet

[r14809]
---
 ir/be/test/fehler28.c | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 ir/be/test/fehler28.c

diff --git a/ir/be/test/fehler28.c b/ir/be/test/fehler28.c
new file mode 100644
index 000000000..02d9dff88
--- /dev/null
+++ b/ir/be/test/fehler28.c
@@ -0,0 +1,17 @@
+/* fmt and all further parameters must be passed on the stack even for regparams */
+#include <stdarg.h>
+
+static void f(const char* fmt, ...)
+{
+  va_list va;
+  va_start(va, fmt);
+  vprintf(fmt, va);
+  va_end(va);
+}
+
+
+int main(void)
+{
+  f("Hallo, %s!\n", "Welt");
+  return 0;
+}
-- 
2.20.1