http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56695
--- Comment #11 from Richard Biener <rguenth at gcc dot gnu.org> 2013-03-27 10:10:06 UTC --- And in tree-cfg.c:verify_gimple_comparison properly establish rules for the signedness of the vector comparison result.