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];
}
