------- Comment #2 from pinskia at gcc dot gnu dot org 2005-11-28 23:43 ------- extract_range_from_binary_expr should do symbolic ranges for stuff like this (or at least it seems like it should). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25145