1abea951c34876a5374d0e3678c7989b225c5c895Anders Carlsson// RUN: %clang_cc1 -fcxx-exceptions -fexceptions -fsyntax-only -verify %s 26d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor 36d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor// The object declared in an exception-declaration or, if the 46d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor// exception-declaration does not specify a name, a temporary (12.2) 56d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor// is copy-initialized (8.5) from the exception object. 66d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor// 76d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregortemplate<typename T> 86d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregorclass X { 96d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor T* ptr; 106d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor 116d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregorpublic: 126d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor X(const X<T> &) { 136d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor int *ip = 0; 14d4eea8362605807327735727a9098abe1eb23b19Douglas Gregor ptr = ip; // expected-error{{assigning to 'float *' from incompatible type 'int *'}} 156d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor } 166d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor 176d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor ~X() { 186d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor float *fp = 0; 19d4eea8362605807327735727a9098abe1eb23b19Douglas Gregor ptr = fp; // expected-error{{assigning to 'int *' from incompatible type 'float *'}} 206d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor } 216d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor}; 226d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor 236d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregorvoid f() { 246d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor try { 256d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor } catch (X<float>) { // expected-note{{instantiation}} 266d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor // copy constructor 276d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor } catch (X<int> xi) { // expected-note{{instantiation}} 286d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor // destructor 296d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor } 306d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor} 316d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor 326d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregorstruct Abstract { 336d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor virtual void f() = 0; // expected-note{{pure virtual}} 346d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor}; 356d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor 366d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregorvoid g() { 376d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor try { 386d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor } catch (Abstract) { // expected-error{{variable type 'Abstract' is an abstract class}} 396d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor } 406d1828949df82e2f2bb2606ea7a3b40029a7f9e2Douglas Gregor} 41