From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Thu, 28 Jun 2007 12:16:51 +0000 (+0000)
Subject: va_start did not work with fastcall yet
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=29016e0678b6f335b3998bfa4a1caf38e6e930ce;p=libfirm

va_start did not work with fastcall yet

[r14809]
---

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;
+}