http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53265
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-01-31 12:13:24 UTC --- Another testcase, this time from PR56161 : void bar (void *); void fn6 (void) { double a[4][3], b[12]; int i; bar (b); for (i = 0; i < 12; i++) a[0][i] = b[i] / 10000.0; bar (a); }