[Bug c/93858] New: missing question mark in diagnostic: unknown option after #pragma GCC diagnostic

[roland.illig at gmx dot de]

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

            Bug ID: 93858
           Summary: missing question mark in diagnostic: unknown option
                    after #pragma GCC diagnostic
           Product: gcc
           Version: 10.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: roland.illig at gmx dot de
  Target Milestone: ---

From c-pragma.c:
> warning_at (loc, OPT_Wpragmas,
>             "unknown option after %<#pragma GCC diagnostic%> kind;"
>             " did you mean %<-%s%>", hint);

The other "did you mean" diagnostics end with a question mark. Maybe this could
be added to the existing gcc-internal-format checks in c-format.c?