1 /* { dg-do run } */
2 
3 /* Verify we do not get a bogus access function pairs with
4    exchanged dimensions, 0, {1, +, 1}_1 vs. {2B, +, 1}_1, 0 which
5    disambiguates both accesses and leads to vectorization.  */
6 
7 extern int memcmp(const void *, const void *, __SIZE_TYPE__);
8 extern void abort (void);
9 short a[33] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31 };
10 short b[33] = { 0, };
11 char * volatile ap_ = (char *)&a[0];
main()12 int main()
13 {
14 #if __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__
15   int i;
16   char *ap = ap_;
17   if (sizeof (short) == 2)
18     {
19       for (i = 0; i < 64; ++i)
20 	{
21 	  (*((char(*)[])&ap[i+2]))[0] = (*((char(*)[])&ap[0]))[i+1];
22 	}
23       if (memcmp (&a, &b, sizeof (a)) != 0)
24 	abort ();
25     }
26 #endif
27   return 0;
28 }
29