[Bug c++/80472] cannot use push/pop with #pragma GCC diagnostic warning "-Wsystem-headers"

[redi at gcc dot gnu.org]

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

--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Is it better to silently generate code with undefined behaviour, or issue a
flawed warning about that undefined behaviour?

If the warning doesn't show the template instantiation context that's a
separate issue.