https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94195
--- Comment #4 from Martin Sebor <msebor at gcc dot gnu.org> --- (In reply to Dmitry G. Dyachenko from comment #3) The warning is expected. The access to pS->s1.x implies that there must be an object at pS that's at least sizeof *pS large, even though only the leading 4 bytes of it are being accessed.
