1  /* Test volatile access to unaligned field.  */
       2  /* { dg-do run } */
       3  /* { dg-require-effective-target size32plus } */
       4  /* { dg-options "-fstrict-volatile-bitfields" } */
       5  
       6  extern void abort (void);
       7  
       8  #define test_type unsigned int
       9  #define MAGIC 0x1020304u
      10  
      11  typedef struct s{
      12   unsigned char Prefix;
      13   test_type Type;
      14  }__attribute((__packed__)) ss;
      15  
      16  volatile ss v;
      17  ss g;
      18  
      19  void __attribute__((noinline))
      20  foo (test_type u)
      21  {
      22    v.Type = u;
      23  }
      24  
      25  test_type __attribute__((noinline))
      26  bar (void)
      27  {
      28    return v.Type;
      29  }
      30  
      31  int main()
      32  {
      33    test_type temp;
      34    foo(MAGIC);
      35    __builtin_memcpy(&g, (void *)&v, sizeof(g));
      36    if (g.Type != MAGIC)
      37      abort ();
      38  
      39    g.Type = MAGIC;
      40    __builtin_memcpy((void *)&v, &g, sizeof(v));
      41    temp = bar();
      42    if (temp != MAGIC)
      43      abort ();
      44    return 0;
      45  }