https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71872
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Reduced testcase:
struct __attribute__((may_alias)) S { int a; };
void
foo (int *x, struct S *y)
{
int i;
for (i = 0; i < 16; i++)
{
int a = 0;
if (*x)
*(struct S *) y = *(struct S *) &a;
}
}
