https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93103
--- Comment #4 from Mateusz Pusz <mateusz.pusz at gmail dot com> --- I am so sorry. My bad. You are right. It seems to be fixed indeed.
mateusz.pusz at gmail dot com Fri, 08 May 2020 10:56:25 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93103
--- Comment #4 from Mateusz Pusz <mateusz.pusz at gmail dot com> --- I am so sorry. My bad. You are right. It seems to be fixed indeed.