http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59617
--- Comment #15 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
> I would suggest that this is the Right Thing to do.
I agree. Patch tested
--- ../_clean/gcc/testsuite/gcc.target/i386/avx512f-gather-5.c 2014-01-29
19:02:01.000000000 +0100
+++ gcc/testsuite/gcc.target/i386/avx512f-gather-5.c 2014-04-03
15:17:05.000000000 +0200
@@ -1,5 +1,6 @@
/* { dg-do compile } */
/* { dg-options "-O3 -mavx512f" } */
+/* { dg-additional-options "-std=c99" { target *-*-darwin* } } */
#include "avx512f-gather-4.c"
