https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81033
--- Comment #20 from simon at pushface dot org --- r249926 See https://gcc.gnu.org/ml/gcc-patches/2017-07/msg00121.html
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81033
--- Comment #20 from simon at pushface dot org --- r249926 See https://gcc.gnu.org/ml/gcc-patches/2017-07/msg00121.html