> > We could go one step farther then and do the replacement in > > > > if (gimple_has_volatile_ops (stmt) > > || stmt_could_throw_p (stmt)) > > continue; > > > > I think that's equivalent. Revised patch attached. > > Indeed. > > Ok.
Thanks. It turns out that the Ada compiler cannot be bootstrapped in LTO mode on the 4.7 branch without the tree-ssa-pre.c patch, which is a regression from 4.6 so I've backported it after bootstrapping/regtesting on x86_64-suse-linux. -- Eric Botcazou