On Mon, 14 Jan 2013, Jakub Jelinek wrote: > Hi! > > With this patch, -fno-[wt]rapv cancels corresponding -f[wt]rapv if any as > before, and later -f[wt]rapv disables -f[tw]rapv, which is IMHO better > behavior than if we use Negative(f[tw]rapv) on f[wt]rapv in common.opt. > > Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk? > > 2013-01-14 Jakub Jelinek <ja...@redhat.com> > > PR tree-optimization/48766 > * opts.c (common_handle_option): For -fwrapv disable -ftrapv, for > -ftrapv disable -fwrapv.
OK. -- Joseph S. Myers jos...@codesourcery.com