https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103941
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- Another testcase where this occurs: void foo (int *c, float *x, float *y) { c[0] = x[0] < y[0]; c[1] = x[1] < y[1]; c[2] = x[2] < y[2]; c[3] = x[3] < y[3]; }