1  /* { dg-do run } */
       2  
       3  typedef __UINT32_TYPE__ u32;
       4  
       5  int
       6  main (void)
       7  {
       8    u32 b = 0x027C5902;
       9    u32 a = 0;
      10    __builtin_memset (1 + (char *) &b, 0, 2);
      11    __builtin_memcpy (&a, 2 + (char *) &b, 2);
      12  #if __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__
      13    if (a != 0x00000200)
      14  #else
      15    if (a != 0x00020000)
      16  #endif
      17      __builtin_abort();
      18    return 0;
      19  }