annotate gcc/testsuite/g++.dg/cpp1z/decomp47.C @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 84e7813d76e9
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
131
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
1 // PR c++/87122
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
2 // { dg-do run { target c++14 } }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
3 // { dg-options "" }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
4
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
5 extern "C" void abort ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
6 struct S { int a, b; };
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
7 int c;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
8
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
9 template <int N>
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
10 void
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
11 foo ()
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
12 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
13 S x[4] = { { N, 2 }, { 3, 4 }, { 5, 6 }, { 7, 8 } };
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
14 auto f = [](auto & y) {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
15 for (auto & [ u, v ] : y) // { dg-warning "structured bindings only available with" "" { target c++14_down } }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
16 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
17 if ((u & 1) != 1 || v != u + 1 || u < N || u > 7 || (c & (1 << u))
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
18 || &u != &y[v / 2 - 1].a || &v != &y[v / 2 - 1].b)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
19 abort ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
20 c |= 1 << u;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
21 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
22 };
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
23 f (x);
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
24 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
25
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
26 int
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
27 main ()
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
28 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
29 foo<1> ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
30 if (c != 0xaa)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
31 abort ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
32 }