|
111
|
1 // P0683R1
|
|
|
2 // { dg-do run { target c++11 } }
|
|
|
3 // { dg-options "" }
|
|
|
4
|
|
|
5 extern "C" void abort ();
|
|
|
6 int a;
|
|
|
7 const int b = 0;
|
|
|
8 struct S {
|
|
|
9 int c : 5 = 1; // { dg-warning "default member initializers for bit-fields only available with" "" { target c++17_down } }
|
|
|
10 int d : 6 { 2 }; // { dg-warning "default member initializers for bit-fields only available with" "" { target c++17_down } }
|
|
|
11 int e : true ? 7 : a = 3;
|
|
|
12 int f : (true ? 8 : b) = 4; // { dg-warning "default member initializers for bit-fields only available with" "" { target c++17_down } }
|
|
|
13 int g : (true ? 9 : b) { 5 }; // { dg-warning "default member initializers for bit-fields only available with" "" { target c++17_down } }
|
|
|
14 int h : 1 || new int { 0 };
|
|
|
15 };
|
|
|
16 #if __cplusplus >= 201402L
|
|
|
17 static_assert (S{}.c == 1);
|
|
|
18 static_assert (S{}.d == 2);
|
|
|
19 static_assert (S{}.e == 0);
|
|
|
20 static_assert (S{}.f == 4);
|
|
|
21 static_assert (S{}.g == 5);
|
|
|
22 static_assert (S{}.h == 0);
|
|
|
23 #endif
|
|
|
24 template <bool V, int W>
|
|
|
25 struct U {
|
|
|
26 int j : W = 7; // { dg-warning "default member initializers for bit-fields only available with" "" { target c++17_down } }
|
|
|
27 int k : W { 8 }; // { dg-warning "default member initializers for bit-fields only available with" "" { target c++17_down } }
|
|
|
28 int l : V ? 7 : a = 3;
|
|
|
29 int m : (V ? W : b) = 9; // { dg-warning "default member initializers for bit-fields only available with" "" { target c++17_down } }
|
|
|
30 int n : (V ? W : b) { 10 }; // { dg-warning "default member initializers for bit-fields only available with" "" { target c++17_down } }
|
|
|
31 int o : 1 || new int { 0 };
|
|
|
32 };
|
|
|
33 #if __cplusplus >= 201402L
|
|
|
34 static_assert (U<true, 12>{}.j == 7);
|
|
|
35 static_assert (U<true, 13>{}.k == 8);
|
|
|
36 static_assert (U<true, 10>{}.l == 0);
|
|
|
37 static_assert (U<true, 11>{}.m == 9);
|
|
|
38 static_assert (U<true, 8>{}.n == 10);
|
|
|
39 static_assert (U<true, 7>{}.o == 0);
|
|
|
40 #endif
|
|
|
41 S s;
|
|
|
42 U<true, 10> u;
|
|
|
43
|
|
|
44 int
|
|
|
45 main ()
|
|
|
46 {
|
|
|
47 if (s.c != 1 || s.d != 2 || s.e != 0 || s.f != 4 || s.g != 5 || s.h != 0)
|
|
|
48 abort ();
|
|
|
49 s.c = 47; // { dg-warning "overflow in conversion from" }
|
|
|
50 s.d = 47 * 2; // { dg-warning "overflow in conversion from" }
|
|
|
51 s.e = 47 * 4; // { dg-warning "overflow in conversion from" }
|
|
|
52 s.f = 47 * 8; // { dg-warning "overflow in conversion from" }
|
|
|
53 s.g = 47 * 16; // { dg-warning "overflow in conversion from" }
|
|
|
54 s.h = 2; // { dg-warning "overflow in conversion from" }
|
|
|
55 if (s.c != 15 || s.d != 15 * 2 || s.e != 15 * 4 || s.f != 15 * 8 || s.g != 15 * 16 || s.h != 0)
|
|
|
56 abort ();
|
|
|
57 if (u.j != 7 || u.k != 8 || u.l != 0 || u.m != 9 || u.n != 10 || u.o != 0)
|
|
|
58 abort ();
|
|
|
59 u.j = 47 * 32; // { dg-warning "overflow in conversion from" }
|
|
|
60 u.k = 47 * 32; // { dg-warning "overflow in conversion from" }
|
|
|
61 u.l = 47 * 4; // { dg-warning "overflow in conversion from" }
|
|
|
62 u.m = 47 * 32; // { dg-warning "overflow in conversion from" }
|
|
|
63 u.n = 47 * 32; // { dg-warning "overflow in conversion from" }
|
|
|
64 u.o = 2; // { dg-warning "overflow in conversion from" }
|
|
|
65 if (u.j != 15 * 32 || u.k != 15 * 32 || u.l != 15 * 4 || u.m != 15 * 32 || u.n != 15 * 32 || u.o != 0)
|
|
|
66 abort ();
|
|
|
67 s.c = 15;
|
|
|
68 s.d = 15 * 2;
|
|
|
69 s.e = 15 * 4;
|
|
|
70 s.f = 16 * 8;
|
|
|
71 s.g = 15 * 16;
|
|
|
72 u.j = 15 * 32;
|
|
|
73 u.k = 15 * 32;
|
|
|
74 u.l = 15 * 4;
|
|
|
75 u.m = 15 * 32;
|
|
|
76 u.n = 15 * 32;
|
|
|
77 }
|
