http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34417
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-02-27 03:38:48 UTC --- (In reply to comment #1) > Confirmed. > > VRP could do this, though we generally avoid creating control flow and extra > basic blocks here. We could create a COND_EXPR here, though I don't know if that would be a good idea on some targets.