------- Comment #38 from rguenth at gcc dot gnu dot org 2007-01-21 19:46 ------- (in reply to comment #35)
It is true that in the face of -fwrapv gcc does not optimize as good as it does for unsigned numbers (that wrap, too). I am in the progress of fixing that for the value range propagation pass. You are of course welcome to fix it for make_range ;) (or maybe file an enhancement bug report for that, so we don't lose track of that issue) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30475
