> And http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39886 This one is relatively rare, so no. Feel free to pick up the patch, I already have too many approved patches that I cannot get round to test and commit. Paolo