https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119218
--- Comment #3 from Sam James <sjames at gcc dot gnu.org> --- It's the GNU extension basename.
sjames at gcc dot gnu.org via Gcc-bugs Wed, 12 Mar 2025 02:13:43 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119218
--- Comment #3 from Sam James <sjames at gcc dot gnu.org> --- It's the GNU extension basename.