https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105156
--- Comment #4 from Keith Thompson <Keith.S.Thompson at gmail dot com> --- OK, that explains the bug. It sounds like the code that suppresses warnings in system headers needs to be a bit more clever. Using UINT_MAX here isn't an error in the header.
