https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86412
Mark Wielaard <mark at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mark at gcc dot gnu.org
--- Comment #8 from Mark Wielaard <mark at gcc dot gnu.org> ---
Both the minimal and original reproducer seem to build fine with gcc version
10.1.1 20200507 (Red Hat 10.1.1-1) (GCC)
