https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114416
--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- My reading is that the ABI has overlooked this case though, so it is up to the implementation to make its opinion. That of the vendor's compiler is probably more in line with the spirit of the calling conventions, but GCC's has been so for a quarter of a century now.