1  /* PR tree-optimization/71872 */
       2  
       3  struct __attribute__((may_alias)) S { int a; };
       4  
       5  void
       6  foo (int *x, struct S *y)
       7  {
       8    int i;
       9    for (i = 0; i < 16; i++)
      10      {
      11        int a = 0;
      12        if (*x)
      13          *(struct S *) y = *(struct S *) &a;
      14      }
      15  }