[Bug tree-optimization/34244] [4.3 Regression] VRP/SCEV miscompiles Firefox

[rakdver at gcc dot gnu dot org]

------- 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