1 // { dg-do compile { target c++14 } }
2 
g()3 constexpr bool g()
4 {
5   int ar[4] = { 1, 2, 3, 4 };
6   auto e1 = ar;
7   auto e4 = ar+3;
8   return (e4-e1) == 3;
9 }
10 
11 #define SA(X) static_assert((X),#X)
12 SA(g());
13