https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87528
--- Comment #8 from Martin Jambor <jamborm at gcc dot gnu.org> --- Do I understand correctly that this is fixed?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87528
--- Comment #8 from Martin Jambor <jamborm at gcc dot gnu.org> --- Do I understand correctly that this is fixed?