http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55334
--- Comment #5 from vincenzo Innocente <vincenzo.innocente at cern dot ch> 2012-11-16 10:56:11 UTC --- is the problem similar to what described in PR55213? or here float mem[3*1024]; void sum() { float * a=mem; const float * b=mem+1024; const float * c=mem+2*1024; for (int i=0;i!=1024;++i) a[i]=b[i]+c[i]; } 6: create runtime check for data references *_7 and *_6 6: create runtime check for data references *_9 and *_6 6: created 2 versioning for alias checks.