Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be tested on PowerPC and ARM.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2394 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 7 insertions, 0 deletions

diff --git a/test/regression/varargs1.c b/test/regression/varargs1.c
index 99dba39..2e45d0f 100644
--- a/test/regression/varargs1.c
+++ b/test/regression/varargs1.c
@@ -1,4 +1,5 @@
 #include <stdarg.h>
+#include <stdio.h>
 
 int sum_v(int n, va_list ap)
 {
@@ -16,3 +17,9 @@ int sum_l(int n, ...)
   va_end(ap);
   return s;
 }
+
+int main()
+{
+  printf("Sum is %d\n", sum_l(10, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10));
+  return 0;
+}