annotate gcc/testsuite/g++.dg/cpp2a/consteval8.C @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
1 // { dg-do compile }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2 // { dg-options "-std=c++2a" }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
3
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
4 struct S { consteval S () : a (1), b (2) { a++; b++; } consteval S (int x) : a (x), b (x) { a++; b--; } int a, b; };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5 S c;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6 S d = 25;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8 int
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9 foo ()
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11 S a;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12 a.b++;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13 c = a;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14 S b = 12;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15 c.a += b.a;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16 c.b += b.b;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17 S e[2];
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18 S f[2] = { 1, 2 };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19 return S ().a + e[1].a + f[0].b;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22 constexpr S g;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23 constexpr S h = 42;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24 constexpr S i[2];
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25 constexpr S j[2] = { 3, 4 };
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26 static_assert (g.a == 2 && g.b == 3);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27 static_assert (h.a == 43 && h.b == 41);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
28 static_assert (i[0].a == 2 && i[0].b == 3 && i[1].a == 2 && i[1].b == 3);
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
29 static_assert (j[0].a == 4 && j[0].b == 2 && j[1].a == 5 && j[1].b == 3);