1 /* { dg-options "-fstrict-volatile-bitfields" } */
2 /* { dg-do run } */
3 
4 extern int puts(const char *);
5 extern void abort(void) __attribute__((noreturn));
6 
7 typedef struct {
8   volatile unsigned short a:8, b:8;
9 } BitStruct;
10 
11 BitStruct bits = {1, 2};
12 
check(int i,int j)13 void check(int i, int j)
14 {
15   if (i != 1 || j != 2) puts("FAIL"), abort();
16 }
17 
main()18 int main ()
19 {
20   check(bits.a, bits.b);
21 
22   return 0;
23 }
24