------- Comment #1 from rguenth at gcc dot gnu dot org 2007-03-09 23:09 ------- It doesnt fail for me with
+2007-03-09 Richard Guenther <[EMAIL PROTECTED]> + + PR tree-optimization/30904 + PR middle-end/31058 + * tree-vrp.c (extract_range_from_binary_expr): Handle RSHIFT_EXPR + the same way as *_DIV_EXPR. applied on top of r122683. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31115