http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55334
--- Comment #11 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-11-16 13:55:54 UTC --- (In reply to comment #10) > actually looking into the generated code I do not see any trace of "runtime > check" > even in presence of "const" The vectorizer creates the versioning for alias, but then vrp2 manages to optimize the runtime check into a constant and thus the non-vectorized loop is optimized away.