1  /* { dg-do run } */
       2  /* { dg-require-effective-target size32plus } */
       3  /* { dg-options "-fstrict-volatile-bitfields" } */
       4  
       5  struct s
       6  {
       7    char x : 8;
       8    unsigned int y : 31;
       9  } __attribute__((packed));
      10  
      11  volatile struct s global;
      12  
      13  int
      14  main ()
      15  {
      16    global.y = 0x7FFFFFFF;
      17    if (global.y != 0x7FFFFFFF)
      18      __builtin_abort ();
      19    return 0;
      20  }