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 (file)
index 0000000..02d9dff
--- /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;
+}