https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92389
--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> --- Thank you Tom for the bug report (and the suggested fix). It's obviously correct. One can verify the feature availability here: https://en.wikipedia.org/wiki/AVX-512#CPUs_with_AVX-512
