[Bug c/42579] New: [PATCH] support for obtaining file basename

["rmh dot gcc at aybabtu dot com" <gcc-bugzilla at gcc dot gnu dot org>]

Please consider this patch.  It adds support for obtaining file basename via
__FILE_BASENAME__.

This would be used by GNU GRUB.  I'll provide some explanation on why this is
very necessary for us:

  - Bootloader code is very critical; a bug can render system unbootable. 
Additionally, it needs to support a wide range of hardware and firmware. 
Because of this, we put extensive debugging support into GRUB.  Debug
statements currently rely on __FILE__.

  - We want to support $srcdir != $objdir build setups, and continue supporting
them.

  - Some parts of bootstrap code tend to be very size constrained.  Every byte
counts, and each debug statement is taking unnecessary space because accessing
a file in $srcdir requires either an absolute path or at least a number of
'../' components (in Debian, that would be two of them).

Because of this, I would find it very useful if GCC provided __FILE_BASENAME__,
or at least an equivalent facility.


-- 
           Summary: [PATCH] support for obtaining file basename
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: enhancement
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rmh dot gcc at aybabtu dot com


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42579