1  /* Test volatile access to unaligned field.  */
       2  /* { dg-do compile } */
       3  /* { dg-options "-fno-strict-volatile-bitfields -fdump-rtl-final" } */
       4  
       5  #define test_type unsigned short
       6  
       7  typedef struct s{
       8   unsigned char Prefix[1];
       9   volatile test_type Type;
      10  }__attribute((__packed__,__aligned__(4))) ss;
      11  
      12  extern volatile ss v;
      13  
      14  void
      15  foo (test_type u)
      16  {
      17    v.Type = u;
      18  }
      19  
      20  /* The C++ memory model forbids data store race conditions outside the
      21     unaligned data member, therefore only QI or HI access is allowed, no SI.  */
      22  /* { dg-final { scan-rtl-dump-not "mem/v(/.)*:SI" "final" } } */