Argyrios Kyrtzidis | b5e4ace | 2012-10-10 16:14:06 +0000 | [diff] [blame] | 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 | } |
Argyrios Kyrtzidis | b21c11d | 2012-10-27 02:13:28 +0000 | [diff] [blame] | 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 | } |
Richard Smith | 1432a43 | 2012-10-28 06:18:02 +0000 | [diff] [blame] | 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. |
Richard Smith | dc7a4f5 | 2013-04-30 13:56:41 +0000 | [diff] [blame] | 73 | // FIXME: We should set the loop variable to be invalid if we can't build |
| 74 | // the loop, to suppress this follow-on error. |
| 75 | const int &n(x); // expected-error {{could not bind to an lvalue of type 'auto'}} |
Richard Smith | 1432a43 | 2012-10-28 06:18:02 +0000 | [diff] [blame] | 76 | } |
| 77 | } |
| 78 | } |