http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59794
--- Comment #15 from H.J. Lu <hjl.tools at gmail dot com> --- (In reply to Uroš Bizjak from comment #14) > The patch could be as simple as adding OPT_Wpsabi as the first argument to: > > warning (0, "AVX vector return without AVX enabled changes the ABI"); > > -Wpsabi is enabled by default, so there would be no user-visible default > changes. > > HJ, what is your opinion? It works for me.