https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114036
--- Comment #3 from Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> --- There's only one symbol we care about here, and its name is known, so I'll make a patch with your suggestion and test it.
