Разве так должно быть?

Нет.

П.С. что забавно, clang тут отрабатывает как надо.

#pragma это UB. Никак не должно быть, может быть как угодно.

Ну вообще в документации по компилятору конкретно объявлено что

#pragma GCC diagnostic kind option
Modifies the disposition of a diagnostic.

#pragma это UB

facepalm.pdf

Вообще-то есть стандарт, а документацию к компилятору можно печатать на рулонах.

19.6  Pragma directive             [cpp.pragma]

A preprocessing directive of the form

    # pragma pp-tokens_opt new-line

causes the implementation to behave in an implementation-defined manner.
The behavior might cause translation to fail or cause the translator or the
resulting program to behave in a non-conforming manner.
Any pragma that is not recognized by the implementation is ignored.

Вообще-то есть стандарт

Из которого ты максимум осилил обложку.

#pragma GCC diagnostic ignored "-Wunknown-pragmas"

Ты такой смешной… ой!!! Ну нельзя проигнорировать непонятные компилятору прагмы… не может он этого в принципе! Не заложены в него эти прагмы потому что.

Купи себе книжку какую-нибудь по предметной области. А перед этим читать научись.

И это пройдет.