https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94240
--- Comment #1 from Iain Buclaw <ibuclaw at gdcproject dot org> --- Fix applied for gcc-10 in r10-7314
ibuclaw at gdcproject dot org Wed, 01 Apr 2020 14:24:30 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94240
--- Comment #1 from Iain Buclaw <ibuclaw at gdcproject dot org> --- Fix applied for gcc-10 in r10-7314