"Joseph S. Myers" <joseph@codesourcery.com> wrote: >> How about the patch below? > > Seems fine to me (presuming you've tested it does indeed achieve the > desired results on the system with older GCC). Thanks. I've confirmed that it works with current and older gcc as expected. I've just pushed it. Regards, kaz