------- Comment #4 from rguenth at gcc dot gnu dot org 2007-03-07 09:33 ------- But real length of a cannot be greater than 100. I guess VRP could be improved to derive a value range for x in this case ...
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31058