https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83730
--- Comment #2 from Wilhelm M <klaus.doldinger64 at googlemail dot com> --- Additionally: if one only uses a global variable of type A, no guards are creates at all. But this should be conceptually equivalent to the above use case.