1 files changed, 13 insertions, 0 deletions
diff --git a/gcc-4.8/gcc/testsuite/gcc.dg/va-arg-1.c b/gcc-4.8/gcc/testsuite/gcc.dg/va-arg-1.c
new file mode 100644
index 000000000..ecd0e4d84
--- /dev/null
+++ b/gcc-4.8/gcc/testsuite/gcc.dg/va-arg-1.c
@@ -0,0 +1,13 @@
+/* { dg-do compile } */
+
+#include <stdarg.h>
+
+va_list v;
+volatile int i;
+
+void foo()
+{
+  i = va_arg(v, char); /* { dg-warning "is promoted to|so you should|abort" "char" } */
+  i = va_arg(v, short); /* { dg-warning "is promoted to|abort" "short" } */
+  i = va_arg(v, float); /* { dg-warning "is promoted to|abort" "float" } */
+}