1 /* { dg-do compile } */
2 /* { dg-require-effective-target ilp32 } */
3 /* { dg-options "-O2" } */
5 typedef __builtin_va_list __va_list;
6 typedef __va_list __gnuc_va_list;
7 typedef __gnuc_va_list va_list;
8 struct MSVCRT__iobuf { };
9 typedef struct MSVCRT__iobuf MSVCRT_FILE;
10 typedef union _printf_arg { } printf_arg;
11 MSVCRT_FILE MSVCRT__iob[20];
12 int pf_print_a (va_list *);
13 int __attribute__((__cdecl__))
14 MSVCRT_vfprintf_s(MSVCRT_FILE* file, const char *format, va_list valist)
16 if(!((file != ((void *)0))
17 || (MSVCRT__invalid_parameter(((void *)0), ((void *)0),
18 ((void *)0), 0, 0),0)))
20 return pf_printf_a(&valist);
22 int __attribute__((__cdecl__))
23 MSVCRT_vprintf_s(const char *format, va_list valist)
25 return MSVCRT_vfprintf_s((MSVCRT__iob+1),format,valist);
27 int __attribute__((__cdecl__))
28 MSVCRT_fprintf_s(MSVCRT_FILE* file, const char *format, ...)
31 va_start (valist, format);
32 return MSVCRT_vfprintf_s(file, format, valist);