https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67551
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Summary|Preprocessor generates |Option for the Preprocessor |non-ISO line directives |generates to generate #line | |rather than the GCC | |extension for line markers Severity|normal |enhancement --- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- I think the request here is to have an option which outputs #line rather than "# "filename" ..."