------- Comment #7 from trt at acm dot org 2006-05-04 17:21 ------- For the tree-vrp.c part of this, perhaps VR_VARYING should be deprecated? I notice there is a single place (set_value_range_to_varying) which assigns VR_VARYING but a couple dozen places that check it. If instead a type-based VR_RANGE were assigned then all those checks could be omitted. And I think vrp would also do a better job. It looks like this is already being considered: http://gcc.gnu.org/ml/gcc/2006-03/msg00790.html
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27007