[Bug tree-optimization/21289] A numeric range is spoiled by a symblic one in VRP

[dberlin at gcc dot gnu dot org]

------- 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