[Bug other/79872] New: document placeholder %K in gcc-internal-format

[roland.illig at gmx dot de]

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

            Bug ID: 79872
           Summary: document placeholder %K in gcc-internal-format
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: other
          Assignee: unassigned at gcc dot gnu.org
          Reporter: roland.illig at gmx dot de
  Target Milestone: ---

In config/aarch64/aarch64.c I found this code:

error ("%Klane %wd out of range %wd - %wd", exp, lane, low, high - 1);

It seems wrong to me that there is no space after the %K.

The gettext documentation doesn't mention the %K specifier at all.
(https://savannah.gnu.org/bugs/index.php?50461)

Please work together with the gettext people to create current and correct
documentation for the gcc-internal-format.