1 // RUN: %clang_cc1 -std=c++11 -verify %s 2 3 // rdar://12240916 stack overflow. 4 namespace rdar12240916 { 5 6 struct S2 { 7 S2(const S2&); 8 S2(); 9 }; 10 11 struct S { // expected-note {{not complete}} 12 S x; // expected-error {{incomplete type}} 13 S2 y; 14 }; 15 16 S foo() { 17 S s; 18 return s; 19 } 20 21 struct S3; // expected-note {{forward declaration}} 22 23 struct S4 { 24 S3 x; // expected-error {{incomplete type}} 25 S2 y; 26 }; 27 28 struct S3 { 29 S4 x; 30 S2 y; 31 }; 32 33 S4 foo2() { 34 S4 s; 35 return s; 36 } 37 38 } 39 40 // rdar://12542261 stack overflow. 41 namespace rdar12542261 { 42 43 template <class _Tp> 44 struct check_complete 45 { 46 static_assert(sizeof(_Tp) > 0, "Type must be complete."); 47 }; 48 49 50 template<class _Rp> 51 class function // expected-note 2 {{candidate}} 52 { 53 public: 54 template<class _Fp> 55 function(_Fp, typename check_complete<_Fp>::type* = 0); // expected-note {{candidate}} 56 }; 57 58 void foobar() 59 { 60 auto LeftCanvas = new Canvas(); // expected-error {{unknown type name}} 61 function<void()> m_OnChange = [&, LeftCanvas]() { }; // expected-error {{no viable conversion}} 62 } 63 64 } 65 66 namespace b6981007 { 67 struct S {}; // expected-note 3{{candidate}} 68 void f() { 69 S s(1, 2, 3); // expected-error {{no matching}} 70 for (auto x : s) { 71 // We used to attempt to evaluate the initializer of this variable, 72 // and crash because it has an undeduced type. 73 const int &n(x); 74 } 75 } 76 } 77 78 namespace incorrect_auto_type_deduction_for_typo { 79 struct S { 80 template <typename T> S(T t) { 81 (void)sizeof(t); 82 (void)new auto(t); 83 } 84 }; 85 86 void Foo(S); 87 88 void test(int some_number) { // expected-note {{'some_number' declared here}} 89 auto x = sum_number; // expected-error {{use of undeclared identifier 'sum_number'; did you mean 'some_number'?}} 90 auto lambda = [x] {}; 91 Foo(lambda); 92 } 93 } 94
