------- Comment #16 from guillaume dot melquiond at ens-lyon dot fr 2006-06-08 06:35 ------- Sorry if I'm misunderstanding your patch (I didn't try it), but it seems to me that GCC will still generate wrong code if the testcase is compiled with -fwrapv -fno-trapv.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27116