https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84419
--- Comment #2 from Alexander Nesterovskiy <alexander.nesterovskiy at intel dot com> --- I've made a quite small reproducer: --- $ cat reproducer.c #include <stdio.h> #include <string.h> #define SIZE 400 int foo[SIZE]; char bar[SIZE]; void __attribute__ ((noinline)) foo_func(void) { int i; for (i = 1; i < SIZE; i++) if (bar[i]) foo[i] = 1; } int main() { memset(bar, 1, sizeof(bar)); foo_func(); return 0; } $ gcc -O3 -march=skylake-avx512 -g reproducer.c $ ./a.out Segmentation fault (core dumped)