https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87910
--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> --- This PR might get resolved by <https://gcc.gnu.org/pipermail/gcc-patches/2020-March/542599.html>.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87910
--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> --- This PR might get resolved by <https://gcc.gnu.org/pipermail/gcc-patches/2020-March/542599.html>.