------- Comment #43 from rguenth at gcc dot gnu dot org 2007-03-31 11:27 ------- I would have unconditionally set the maximum of the shift value range to prec-1. I guess reverting the last hunk with range_includes_zero_p was accidential? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31169