https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119617
--- Comment #13 from Zdenek Sojka <zsojka at seznam dot cz> --- The testcase is rejected in gcc-16: $ x86_64-pc-linux-gnu-gcc -fzero-call-used-regs=all -mabi=ms -mavx512f -mno-evex512 testcase.c x86_64-pc-linux-gnu-gcc: error: unrecognized command-line option '-mno-evex512'; did you mean '-mno-avx512f'?
