Hello, > The simplest fix is to add a test for "TYPE_UNSIGNED () || flag_wrapv" > to the problematic transformation in your code. unfortunately this is not possible since it would totally cripple whole optimization (many of interesting induction variables are signed). Zdenek