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