this looks good. Ok for trunk. Thanks for the patch.
Committed as r259384. Thanks for the quick review! Looking at the serious regressions from the gcc home page, we are fast approaching the gcc 8 release. Serious regressions are below 100, and there are currently only So, if anybody has any bugs that should urgently be fixed for the release, please go ahead :-) Regards Thomas