https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117740

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Very similar to the plugin rename:
https://gcc.gnu.org/pipermail/gcc-patches/2024-November/669039.html

Reply via email to