https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113402
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- I'm OK with renaming (but then some namespace prefix would be nice, at least two underscores, but __gcc_ might be better)
rguenth at gcc dot gnu.org via Gcc-bugs Tue, 16 Jan 2024 00:00:32 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113402
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- I'm OK with renaming (but then some namespace prefix would be nice, at least two underscores, but __gcc_ might be better)