https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80377
--- Comment #7 from David Malcolm <dmalcolm at gcc dot gnu.org> --- No idea. Looking at both trunk and the gcc 6 branch I see various options that begin with "mavx512", but there isn't a plain "mavx512" option - they all have some kind of additional suffix. I don't think that the logic in add_misspelling_candidates can truncate the suffixes from the options as they're added to the candidate list.