------- Additional Comments From dberlin at gcc dot gnu dot org 2005-04-29 20:37 ------- (In reply to comment #1) > Confirmed, to me if the range of a variable is not really a range but one value, it should always merge. I > think that is safe.
It's only safe if both old ranges dominate the new range, as it does here. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21289
