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