------- Comment #12 from pinskia at gcc dot gnu dot org 2006-04-30 19:44 ------- The problem here is that 3321928 * 1294 wraps to 3607536 but VRP does not see it because 3607536 > 3321928. Oh how I hate wrapping.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27364
