https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87872
François Dumont <fdumont at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2018-11-03
Assignee|unassigned at gcc dot gnu.org |fdumont at gcc dot
gnu.org
Ever confirmed|0 |1
--- Comment #2 from François Dumont <fdumont at gcc dot gnu.org> ---
All this reflection looks perfectly fine to me, thanks reporting it.
Don't you want to submit a patch then, you're so close.
Otherwise I'll take care in the coming week.
Thanks