129 lines · cpp
1// RUN: %clang_cc1 -std=c++1y %s -verify2 3namespace in_class_init {4 union U { char c; double d = 4.0; };5 constexpr U u1 = U();6 constexpr U u2 {};7 constexpr U u3 { 'x' };8 static_assert(u1.d == 4.0, "");9 static_assert(u2.d == 4.0, "");10 static_assert(u3.c == 'x', "");11 12 struct A {13 int n = 5;14 int m = n * 3;15 union {16 char c;17 double d = 4.0;18 };19 };20 constexpr A a1 {};21 constexpr A a2 { 8 };22 constexpr A a3 { 1, 2, { 3 } };23 constexpr A a4 { 1, 2, { .d = 3.0 } };24 static_assert(a1.d == 4.0, "");25 static_assert(a2.m == 24, "");26 static_assert(a2.d == 4.0, "");27 static_assert(a3.c == 3, "");28 static_assert(a3.d == 4.0, ""); // expected-error {{constant expression}} expected-note {{active member 'c'}}29 static_assert(a4.d == 3.0, "");30 31 struct B {32 int n;33 constexpr int f() { return n * 5; }34 int m = f();35 };36 B b1 {};37 constexpr B b2 { 2 };38 B b3 { 1, 2 };39 static_assert(b2.m == 10, "");40 41 struct C {42 int k;43 union {44 int l = k; // expected-error {{invalid use of non-static}}45 };46 };47}48 49namespace nested_aggregate_init {50 struct A {51 int n = 5;52 int b = n * 3;53 };54 struct B {55 constexpr B(int k) : d(1.23), k(k) {}56 // Within this aggregate, both this object's 'this' and the temporary's57 // 'this' are used.58 constexpr int f() const { return A{k}.b; }59 double d;60 int k;61 };62 static_assert(B(6).f() == 18, "");63}64 65namespace use_self {66 struct FibTree {67 int n;68 FibTree *l = // expected-note {{declared here}}69 n > 1 ? new FibTree{n-1} : &fib0; // expected-error {{default member initializer for 'l' needed}}70 FibTree *r = // expected-note {{declared here}}71 n > 2 ? new FibTree{n-2} : &fib0; // expected-error {{default member initializer for 'r' needed}}72 int v = l->v + r->v;73 74 static FibTree fib0;75 };76 FibTree FibTree::fib0{0, nullptr, nullptr, 1};77 78 int fib(int n) { return FibTree{n}.v; }79}80 81namespace nested_union {82 union Test1 {83 union {84 int inner { 42 };85 };86 int outer;87 };88 static_assert(Test1{}.inner == 42, "");89 struct Test2 {90 union {91 struct {92 int inner : 32 { 42 }; // expected-warning {{C++20 extension}}93 int inner_no_init;94 };95 int outer;96 };97 };98 static_assert(Test2{}.inner == 42, "");99 static_assert(Test2{}.inner_no_init == 0, "");100 struct Int { int x; };101 struct Test3 {102 int x;103 union {104 struct { // expected-note {{in implicit initialization}}105 const int& y; // expected-note {{uninitialized reference member is here}}106 int inner : 32 { 42 }; // expected-warning {{C++20 extension}}107 };108 int outer;109 };110 };111 Test3 test3 = {1}; // expected-error {{reference member of type 'const int &' uninitialized}}112 constexpr char f(Test3) { return 1; } // expected-note {{candidate function}}113 constexpr char f(Int) { return 2; } // expected-note {{candidate function}}114 // FIXME: This shouldn't be ambiguous; either we should reject the declaration115 // of Test3, or we should exclude f(Test3) as a candidate.116 static_assert(f({1}) == 2, ""); // expected-error {{call to 'f' is ambiguous}}117}118 119// Fix crash issue https://github.com/llvm/llvm-project/issues/112560.120// Make sure clang compiles the following code without crashing:121namespace GH112560 {122union U {123 int f = ; // expected-error {{expected expression}}124};125void foo() {126 U g{};127}128} // namespace GH112560129