https://gcc.gnu.org/bugzilla/show_bug.cgi?id=31852
--- Comment #7 from Jonathan Wakely <redi at gcc dot gnu.org> --- Oops, those last two commits are unrelated to this bug, the number refers to https://bugs.llvm.org/show_bug.cgi?id=31852 Sorry for the noise.
