[Bug tree-optimization/27639] [4.1/4.2 regression] VRP miscompilation of simple loop

[rakdver at gcc dot gnu dot org]

------- Comment #17 from rakdver at gcc dot gnu dot org  2006-05-17 13:54 -------
(In reply to comment #16)
> (bugzilla doesn't like my mail-replies it seems)
> 
> Currently we have a type-mismatch type vs. ct, where ct is the canonical type
> for step/base.  I guess this was a typo.

Umm.. right, it is wrong currently.  Nevertheless, as far as I understand the
comment above the call, this is not a typo, but intention (to check that the
scev in the new type does not wrap, otherwise the comment does not make sense). 


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27639