[musl] unknown type name '__gnuc_va_list'

["Max R. Dechantsreiter" <max@performancejones.com>]

My musl-1.2.3 fails to compile the simple test:

cat > hello.c <<EOF
#include <stdio.h>
int main()
{
  printf("Hello, world!\n");
  return 0;
}
EOF
$INSTALL/bin/musl-gcc hello.c
/usr/include/stdio.h:52:9: error: unknown type name '__gnuc_va_list'
   52 | typedef __gnuc_va_list va_list;
      |         ^~~~~~~~~~~~~~
/usr/include/stdio.h:52:24: error: conflicting types for 'va_list'; have 'int'
   52 | typedef __gnuc_va_list va_list;
      |                        ^~~~~~~
.
.
.

I configured musl as follows:

CC=gcc ./configure \
        --prefix=$INSTALL \
        --target=x86_64 \
        --disable-shared \
>& configure.log
# CROSS_COMPILE configured to "x86_64-":
sed -i 's/\(CROSS_COMPILE = \).*/\1/' config.mak

and built (cleanly) with GCC 12.1.0 on

Linux version 4.19.0 (mockbuild@builder1.eng.sw.ru) (gcc version 4.8.5 20150623 (Red Hat 4.8.5-44) (GCC) ) #1 SMP Thu Dec 15 20:31:06 MSK 2022

I had the same problem with GCC 10.2.1.

Is there a known fix/workaround someone could provide?