------- Comment #18 from rguenth at gcc dot gnu dot org 2006-06-08 08:31 ------- The transformation -~a to a + 1 is valid with -fwrapv, but with -fwrapv, the further transformation of the division will not happen, because that in turn is not safe for -fwrapv.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27116
