------- Comment #1 from rguenth at gcc dot gnu dot org 2006-12-28 12:03 ------- Confirmed. compare_values needs to be teached to look at value ranges for operands and decide on overflow there - but only for substitute and fold as earlier we can have invalid intermediate value ranges.
-- rguenth at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |rguenth at gcc dot gnu dot | |org Status|UNCONFIRMED |NEW Ever Confirmed|0 |1 Last reconfirmed|0000-00-00 00:00:00 |2006-12-28 12:03:15 date| | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27109