http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55875
--- Comment #4 from rakdver at iuuk dot mff.cuni.cz 2013-01-07 14:09:18 UTC ---
this is correct, since it is done in unsigned int.
Next we do:
res = chrec_convert (type, chrec1, at_stmt);
Eventually we go to convert_affine_scev
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55481
--- Comment #13 from rakdver at iuuk dot mff.cuni.cz 2012-11-28 16:19:11 UTC ---
now, but iv-no_overflow is false (and IVOPTs nowhere uses that flag ...).
I can fix this for example with
Index: tree-ssa-loop-ivopts.c