http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51393
--- Comment #1 from Jérémie Detrey <Jeremie.Detrey at loria dot fr> 2011-12-03 11:21:17 UTC --- Created attachment 25979 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25979 Patch to fix the reported typo. This simple patch should fix the typo in avxintrin.h.