------- Comment #18 from rguenth at gcc dot gnu dot org 2006-05-17 14:03 ------- Hmm, I see. But scev_probably_wraps_p is messed up for non-matching types, and fixing it the other way around doesn't work. At least I think we should also bail out if the original chrec wraps. Think of
(int) {(unsigned short)1, +, (unsigned short)1}_x
with the inner chrec wrapping.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27639
