------- Comment #18 from pinskia at gcc dot gnu dot org  2006-02-20 20:34 
-------
(In reply to comment #17)
> No, because if it's marked as varying we will not use it to
> refine any other VRP ranges.

But this is an unsigned value which is varrying.  [0, +INF] for an unsigned
value is varrying, I don't see why it would not be marked as such.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26361

Reply via email to