https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115713
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
The docs are at least imprecise. Surely command-line -maltivec with
target ("no-vsx") shouldn't revert to whatever is default with the target opts.