https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117128
--- Comment #5 from Davide Italiano <dccitaliano at gmail dot com> --- Another example: int f(int a) { int arr[5]; for (int i = 0; i < 5; i++) { if (i % 2 == 0 && a > 5 || i % 3 == 0 && a < -2) { arr[i] = a + i * 2; } else { arr[i] = a + i; } } return arr[2]; }