https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70955
--- Comment #10 from zenith432 at users dot sourceforge.net --- (In reply to vries from comment #8) > Created attachment 38453 [details] > tentative patch vries, thank you very much. I verified and looks good. Built GCC 6.1.0 with patch from released sources on ftp.gnu.org. [moved the patch to the right place of course] Built a fairly large UEFI-based project with a good number of ms_va_list. Checked the disassembly manually for 1 instance. Code is right + tested it to run ok in various scenarios I know to use __builtin_va_arg. Bug can be changed to resolved as far as I'm concerned. Not sure whether it has to wait for commit, so leaving it to TPTB.
