[Bug preprocessor/67551] Option for the Preprocessor generates to generate #line rather than the GCC extension for line markers

[porten at kde dot org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67551

--- Comment #4 from porten at kde dot org ---
Right. Usage of #line would be nicer. But if the additional bytes just slow
down things...

The recommended -fpreprocessed appears to be a good workaround. Does it maybe
even speed up the compilation?