Changes in src/libcfa/builtins.cf [0438091:6e7e2b36]

File:

• src/libcfa/builtins.cf (modified) (4 diffs)

src/libcfa/builtins.cf

@@ -390 +390 @@
 int __builtin_sprintf(char *, const char *, ...);
 int __builtin_sscanf(const char *, const char *, ...);
-int __builtin_vfprintf(struct _IO_FILE *, const char *, __builtin_va_list);
-int __builtin_vfscanf(struct _IO_FILE *, const char *, __builtin_va_list);
-int __builtin_vprintf(const char *, __builtin_va_list);
-int __builtin_vscanf(const char *, __builtin_va_list);
-int __builtin_vsnprintf(char *, unsigned long, const char *, __builtin_va_list);
-int __builtin_vsprintf(char *, const char *, __builtin_va_list);
-int __builtin_vsscanf(const char *, const char *, __builtin_va_list);
+int __builtin_vfprintf(struct _IO_FILE *, const char *, void **);
+int __builtin_vfscanf(struct _IO_FILE *, const char *, void **);
+int __builtin_vprintf(const char *, void **);
+int __builtin_vscanf(const char *, void **);
+int __builtin_vsnprintf(char *, unsigned long, const char *, void **);
+int __builtin_vsprintf(char *, const char *, void **);
+int __builtin_vsscanf(const char *, const char *, void **);
 int __builtin_isalnum(int);
 int __builtin_isalpha(int);
@@ -534 +534 @@
 void __builtin_unwind_init();
 void __builtin_update_setjmp_buf(void *, int);
-void __builtin_va_copy(__builtin_va_list, __builtin_va_list);
-void __builtin_va_end(__builtin_va_list);
-void __builtin_va_start(__builtin_va_list, ...);
+void __builtin_va_copy(void **, void **);
+void __builtin_va_end(void **);
+void __builtin_va_start(void **, ...);
 int __builtin_va_arg_pack();
 int __builtin_va_arg_pack_len();
@@ -563 +563 @@
 int __builtin___snprintf_chk(char *, unsigned long, int, unsigned long, const char *, ...);
 int __builtin___sprintf_chk(char *, int, unsigned long, const char *, ...);
-int __builtin___vsnprintf_chk(char *, unsigned long, int, unsigned long, const char *, __builtin_va_list);
-int __builtin___vsprintf_chk(char *, int, unsigned long, const char *, __builtin_va_list);
+int __builtin___vsnprintf_chk(char *, unsigned long, int, unsigned long, const char *, void **);
+int __builtin___vsprintf_chk(char *, int, unsigned long, const char *, void **);
 int __builtin___fprintf_chk(struct _IO_FILE *, int, const char *, ...);
 int __builtin___printf_chk(int, const char *, ...);
-int __builtin___vfprintf_chk(struct _IO_FILE *, int, const char *, __builtin_va_list);
-int __builtin___vprintf_chk(int, const char *, __builtin_va_list);
+int __builtin___vfprintf_chk(struct _IO_FILE *, int, const char *, void **);
+int __builtin___vprintf_chk(int, const char *, void **);
 void __cyg_profile_func_enter(void *, void *);
 void __cyg_profile_func_exit(void *, void *);
@@ -583 +583 @@
 const char * __builtin_FUNCTION();
 int __builtin_LINE();
+typedef void ** __builtin_va_list;
 extern const char *__PRETTY_FUNCTION__;
+typedef int wchar_t;