https://gcc.gnu.org/bugzilla/show_bug.cgi?id=49278
--- Comment #14 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- > I think that 1 << 31 is undefined because "1" is assumed (signed) int. > Maybe it should be 1u << 31 ? I have tried it, but it does not work. > Anyway on 6.1.0 I have no runtime error message. This due to #define bit_AVX512VL unsigned (1 << 31) in gcc/config/i386/cpuid.h. AFAICT it is also present for gcc-6.