https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125838
--- Comment #7 from Iain Sandoe <iains at gcc dot gnu.org> --- FWIW that constraint (content of va_list) is academic for Darwin (and Windows IIUC) since the va_list is just a char ptr with no state associated.
