https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119753
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- Ah no, it looks like GCC only emits a line in that format for the main source file, not for the included headers. So maybe GCC could just emit one extra line, and not remove anything from the current output.
