https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66124
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- This preprocessed source works on the trunk on x86_64 with a small change. Replace: typedef char *va_list; with typedef __builtin_va_list va_list;