summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/cpp1y/nsdmi-aggr1.C
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/g++.dg/cpp1y/nsdmi-aggr1.C')
-rw-r--r--gcc/testsuite/g++.dg/cpp1y/nsdmi-aggr1.C41
1 files changed, 41 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/cpp1y/nsdmi-aggr1.C b/gcc/testsuite/g++.dg/cpp1y/nsdmi-aggr1.C
new file mode 100644
index 0000000000..97bcc056b4
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1y/nsdmi-aggr1.C
@@ -0,0 +1,41 @@
+// { dg-do run { target c++14 } }
+
+struct S { int a; const char* b; int c; int d = b[a]; void *p = this+1; };
+constexpr S ss = S(S{ 1, "asdf" });
+
+#define SA(X) static_assert ((X),#X)
+
+SA(ss.a==1);
+SA(ss.b[0] == 'a' && ss.b[1] == 's' && ss.b[2] == 'd' && ss.b[3] == 'f');
+SA(ss.d == 's');
+SA(ss.p == &ss+1);
+
+struct A
+{
+ struct B {
+ int i;
+ int j = i+1;
+ } b;
+ int a = b.j+1;
+};
+
+extern constexpr A a = { };
+SA(a.b.i == 0 && a.b.j == 1 && a.a == 2);
+
+int f(const A& ar) { return ar.a; }
+
+int main()
+{
+ S ss2 = { 1, "asdf" };
+ if (ss2.a != 1
+ || __builtin_strcmp(ss2.b,"asdf") != 0
+ || ss2.c != int()
+ || ss2.d != 's'
+ || ss2.p != &ss2+1)
+ __builtin_abort();
+
+ A a = {};
+ int i = f(A{});
+ if (a.a != 2 || i != 2)
+ __builtin_abort();
+}