https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101628
--- Comment #4 from Andreas Schwab <sch...@linux-m68k.org> --- 15.1.6 isn't about implementation options, it is the definition of the term preprocessing. The whole chapter always talks about sequences of preprocessing tokens, whether skipped over or processed.