1  /* { dg-do run } */
       2  
       3  typedef struct { unsigned char x; } A;
       4  typedef struct { unsigned char x; } B;
       5  
       6  int idx = 0;
       7  
       8  A objs[1] = {{0}};
       9  
      10  int main()
      11  {
      12    B *b = (B*)&objs[idx];
      13    b->x++;
      14    if (b->x)
      15      b->x = 0;
      16    if (b->x)
      17      __builtin_abort ();
      18    return 0;
      19  }