http://gcc.gnu.org/bugzilla/show_bug.cgi?id=61068
--- Comment #5 from Lawrence Mitchell <wence at gmx dot li> --- (In reply to Zdenek Sojka from comment #3) > You are casting "double arg1_0[12][3]" (and others) to "(double *)arg1_0" > and then using it as a single-dimensional array. The code has undefined > behaviour. Apologies, I I've updated the test case to use 1D arrays everywhere and the problem persists. I believe this latter does not invoke undefined behaviour. Thanks, Lawrence