1 // PR c++/65398 2 // { dg-do compile { target c++11 } } 3 4 #define SA(X) static_assert((X),#X) 5 6 constexpr char s[] = "abc"; 7 8 SA((&s[0] + 0) == (&s[0] + 0)); 9 SA((&s[0] + 1) == (&s[1] + 0)); 10 SA((&s[0] + 2) == (&s[1] + 1)); 11 SA((&s[0] + 3) == (&s[1] + 2)); 12 SA((&s[0] + 4) == (&s[1] + 3)); 13 SA((&s[2] + 0) == (&s[0] + 2)); 14 SA((&s[2] + 1) == (&s[3] + 0)); 15 SA((&s[2] + 2) == (&s[3] + 1)); 16 SA((&s[4] + 0) == (&s[2] + 2)); 17 18 SA((&s[0] + 0) != (&s[1] + 0)); 19 SA((&s[0] + 2) != (&s[1] + 0)); 20 SA((&s[2] + 0) != (&s[2] + 1)); 21 SA((&s[1] + 1) != (&s[0] + 1)); 22 23 constexpr int l[] = { 'c', 'd', 'e', '\0' }; 24 25 SA((&l[0] + 0) == (&l[0] + 0)); 26 SA((&l[0] + 1) == (&l[1] + 0)); 27 SA((&l[0] + 2) == (&l[1] + 1)); 28 SA((&l[0] + 3) == (&l[1] + 2)); 29 SA((&l[0] + 4) == (&l[1] + 3)); 30 SA((&l[2] + 0) == (&l[0] + 2)); 31 SA((&l[2] + 1) == (&l[3] + 0)); 32 SA((&l[2] + 2) == (&l[3] + 1)); 33 SA((&l[4] + 0) == (&l[2] + 2)); 34 35 SA((&l[0] + 0) != (&l[1] + 0)); 36 SA((&l[0] + 2) != (&l[1] + 0)); 37 SA((&l[2] + 0) != (&l[2] + 1)); 38 SA((&l[1] + 1) != (&l[0] + 1)); 39