------- Comment #4 from rakdver at gcc dot gnu dot org 2007-11-27 16:48 ------- > as it may be zero, in case offset_46 is <= 0. > > Sebastian, Zdenek - any idea what goes wrong here?
# of iteration analysis records an assumption that offset_46 >= 0. However, this is simplified to true, as the value range of offset_46 is set to [0,0] by vrp (which seems to be wrong); so the problem is probably somewhere else in vrp. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34244
