http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49542
--- Comment #4 from Ira Rosen <irar at il dot ibm.com> 2011-07-06 06:20:06 UTC --- In that case they should fail. The vf in 4.7 is correct. In 4.6 it is updated after stmts analysis, which may cause inconsistency. This patch http://gcc.gnu.org/ml/gcc-patches/2011-04/msg02210.html fixed this by moving vf update before the analysis.