Re: [PING 5] Ability to remap file names in __FILE__, etc (PR other/70268)

2018-01-12 Thread Joseph Myers
On Tue, 9 Jan 2018, Boris Kolpackov wrote: > Hi, > > Looks like this is the last chance for this patch to make GCC 8 > so I would like to ping it one last time: > > https://gcc.gnu.org/ml/gcc-patches/2017-11/msg01451.html Contrary to a previous review, you should *not* be removing

[PING 5] Ability to remap file names in __FILE__, etc (PR other/70268)

2018-01-09 Thread Boris Kolpackov
Hi, Looks like this is the last chance for this patch to make GCC 8 so I would like to ping it one last time: https://gcc.gnu.org/ml/gcc-patches/2017-11/msg01451.html It has been reviewed (with thanks) by David Malcolm[1] and Martin Sebor[2]. Their concerns are addressed in the latest revision