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)

Reply via email to