https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70477
Martin Sebor <msebor at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |msebor at gcc dot gnu.org --- Comment #8 from Martin Sebor <msebor at gcc dot gnu.org> --- A cast suppresses the warning so that might be a solution (or a workaround) in the _Static_assert case: _Static_assert ((void*)&a == (void*)A, "&a must be A");