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 
main()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 }
20