https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103758
--- Comment #10 from Martin Sebor <msebor at gcc dot gnu.org> ---
The diagnostic kinds in the call:
warning_at (loc, OPT_Wpragmas,
"missing [error|warning|ignored|push|pop|ignored_attributes]"
" after %<#pragma GCC diagnostic%>");
should be quoted, just like the #pragma. (That's also what the message is
telling us.)
That said, rather than adding exceptions for every term of grammar that
triggers this warning, adding a new quoting directive will avoid the problem
and also let us annotate them in their own font (e.g., in italics).
