1 /* { dg-do run } */
2 
3 typedef __UINT32_TYPE__ u32;
4 
5 int
main(void)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 }
20