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;
    }
}

Reply via email to