http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44688
--- Comment #6 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-02-22 10:11:11 UTC --- Testcase: void foo (int * __restrict a, int * __restrict b, int * __restrict c, unsigned n) { unsigned i; for (i = 0; i < n; ++i) a[i] = b[i] + c[i]; }