Richard Sandiford <richard@codesourcery.com> writes: > (4) Make all three operations do what the appendix suggests and use > options to relax the rules. I think that this is, unfortunately, the only reasonable option. I haven't looked at your patch in detail, but it looks like the right approach to me. Ian