https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85718 --- Comment #3 from Andreas Schwab <schwab@linux-m68k.org> --- See gcc/config/mips/mips.c:mips_build_builtin_va_list. va_list is a simple void* unless compiling for EABI.