[Bug target/85718] Incorrect name mangling for va_list on mipsel

[sch...@linux-m68k.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85718

--- Comment #3 from Andreas Schwab <sch...@linux-m68k.org> ---
See gcc/config/mips/mips.c:mips_build_builtin_va_list.  va_list is a simple
void* unless compiling for EABI.