head 1.1; branch 1.1.1; access; symbols netbsd-11-0-RC4:1.1.1.2 netbsd-11-0-RC3:1.1.1.2 netbsd-11-0-RC2:1.1.1.2 netbsd-11-0-RC1:1.1.1.2 perseant-exfatfs-base-20250801:1.1.1.2 netbsd-11:1.1.1.2.0.10 netbsd-11-base:1.1.1.2 netbsd-10-1-RELEASE:1.1.1.2 perseant-exfatfs-base-20240630:1.1.1.2 perseant-exfatfs:1.1.1.2.0.8 perseant-exfatfs-base:1.1.1.2 netbsd-8-3-RELEASE:1.1.1.1 netbsd-9-4-RELEASE:1.1.1.1 netbsd-10-0-RELEASE:1.1.1.2 netbsd-10-0-RC6:1.1.1.2 netbsd-10-0-RC5:1.1.1.2 netbsd-10-0-RC4:1.1.1.2 netbsd-10-0-RC3:1.1.1.2 netbsd-10-0-RC2:1.1.1.2 netbsd-10-0-RC1:1.1.1.2 netbsd-10:1.1.1.2.0.6 netbsd-10-base:1.1.1.2 netbsd-9-3-RELEASE:1.1.1.1 cjep_sun2x:1.1.1.2.0.4 cjep_sun2x-base:1.1.1.2 cjep_staticlib_x-base1:1.1.1.2 netbsd-9-2-RELEASE:1.1.1.1 cjep_staticlib_x:1.1.1.2.0.2 cjep_staticlib_x-base:1.1.1.2 netbsd-9-1-RELEASE:1.1.1.1 phil-wifi-20200421:1.1.1.2 phil-wifi-20200411:1.1.1.2 phil-wifi-20200406:1.1.1.2 netbsd-8-2-RELEASE:1.1.1.1 netbsd-9-0-RELEASE:1.1.1.1 netbsd-9-0-RC2:1.1.1.1 netbsd-9-0-RC1:1.1.1.1 netbsd-9:1.1.1.1.0.32 netbsd-9-base:1.1.1.1 phil-wifi-20190609:1.1.1.1 netbsd-8-1-RELEASE:1.1.1.1 netbsd-8-1-RC1:1.1.1.1 pgoyette-compat-merge-20190127:1.1.1.1 pgoyette-compat-20190127:1.1.1.1 pgoyette-compat-20190118:1.1.1.1 pgoyette-compat-1226:1.1.1.1 pgoyette-compat-1126:1.1.1.1 pgoyette-compat-1020:1.1.1.1 pgoyette-compat-0930:1.1.1.1 pgoyette-compat-0906:1.1.1.1 netbsd-7-2-RELEASE:1.1.1.1 pgoyette-compat-0728:1.1.1.1 clang-337282:1.1.1.1 netbsd-8-0-RELEASE:1.1.1.1 phil-wifi:1.1.1.1.0.30 phil-wifi-base:1.1.1.1 pgoyette-compat-0625:1.1.1.1 netbsd-8-0-RC2:1.1.1.1 pgoyette-compat-0521:1.1.1.1 pgoyette-compat-0502:1.1.1.1 pgoyette-compat-0422:1.1.1.1 netbsd-8-0-RC1:1.1.1.1 pgoyette-compat-0415:1.1.1.1 pgoyette-compat-0407:1.1.1.1 pgoyette-compat-0330:1.1.1.1 pgoyette-compat-0322:1.1.1.1 pgoyette-compat-0315:1.1.1.1 netbsd-7-1-2-RELEASE:1.1.1.1 pgoyette-compat:1.1.1.1.0.28 pgoyette-compat-base:1.1.1.1 netbsd-7-1-1-RELEASE:1.1.1.1 clang-319952:1.1.1.1 matt-nb8-mediatek:1.1.1.1.0.26 matt-nb8-mediatek-base:1.1.1.1 clang-309604:1.1.1.1 perseant-stdc-iso10646:1.1.1.1.0.24 perseant-stdc-iso10646-base:1.1.1.1 netbsd-8:1.1.1.1.0.22 netbsd-8-base:1.1.1.1 prg-localcount2-base3:1.1.1.1 prg-localcount2-base2:1.1.1.1 prg-localcount2-base1:1.1.1.1 prg-localcount2:1.1.1.1.0.20 prg-localcount2-base:1.1.1.1 pgoyette-localcount-20170426:1.1.1.1 bouyer-socketcan-base1:1.1.1.1 pgoyette-localcount-20170320:1.1.1.1 netbsd-7-1:1.1.1.1.0.18 netbsd-7-1-RELEASE:1.1.1.1 netbsd-7-1-RC2:1.1.1.1 clang-294123:1.1.1.1 netbsd-7-nhusb-base-20170116:1.1.1.1 bouyer-socketcan:1.1.1.1.0.16 bouyer-socketcan-base:1.1.1.1 clang-291444:1.1.1.1 pgoyette-localcount-20170107:1.1.1.1 netbsd-7-1-RC1:1.1.1.1 pgoyette-localcount-20161104:1.1.1.1 netbsd-7-0-2-RELEASE:1.1.1.1 localcount-20160914:1.1.1.1 netbsd-7-nhusb:1.1.1.1.0.14 netbsd-7-nhusb-base:1.1.1.1 clang-280599:1.1.1.1 pgoyette-localcount-20160806:1.1.1.1 pgoyette-localcount-20160726:1.1.1.1 pgoyette-localcount:1.1.1.1.0.12 pgoyette-localcount-base:1.1.1.1 netbsd-7-0-1-RELEASE:1.1.1.1 clang-261930:1.1.1.1 netbsd-7-0:1.1.1.1.0.10 netbsd-7-0-RELEASE:1.1.1.1 netbsd-7-0-RC3:1.1.1.1 netbsd-7-0-RC2:1.1.1.1 netbsd-7-0-RC1:1.1.1.1 clang-237755:1.1.1.1 clang-232565:1.1.1.1 clang-227398:1.1.1.1 tls-maxphys-base:1.1.1.1 tls-maxphys:1.1.1.1.0.8 netbsd-7:1.1.1.1.0.6 netbsd-7-base:1.1.1.1 clang-215315:1.1.1.1 clang-209886:1.1.1.1 yamt-pagecache:1.1.1.1.0.4 yamt-pagecache-base9:1.1.1.1 tls-earlyentropy:1.1.1.1.0.2 tls-earlyentropy-base:1.1.1.1 riastradh-xf86-video-intel-2-7-1-pre-2-21-15:1.1.1.1 riastradh-drm2-base3:1.1.1.1 clang-202566:1.1.1.1 clang-201163:1.1.1.1 clang-199312:1.1.1.1 clang-198450:1.1.1.1 clang-196603:1.1.1.1 clang-195771:1.1.1.1 LLVM:1.1.1; locks; strict; comment @// @; 1.1 date 2013.11.28.14.14.55; author joerg; state Exp; branches 1.1.1.1; next ; commitid ow8OybrawrB1f3fx; 1.1.1.1 date 2013.11.28.14.14.55; author joerg; state Exp; branches 1.1.1.1.4.1 1.1.1.1.8.1 1.1.1.1.30.1; next 1.1.1.2; commitid ow8OybrawrB1f3fx; 1.1.1.2 date 2019.11.13.22.22.59; author joerg; state dead; branches; next ; commitid QD8YATxuNG34YJKB; 1.1.1.1.4.1 date 2013.11.28.14.14.55; author yamt; state dead; branches; next 1.1.1.1.4.2; commitid WSrDtL5nYAUyiyBx; 1.1.1.1.4.2 date 2014.05.22.16.19.45; author yamt; state Exp; branches; next ; commitid WSrDtL5nYAUyiyBx; 1.1.1.1.8.1 date 2013.11.28.14.14.55; author tls; state dead; branches; next 1.1.1.1.8.2; commitid jTnpym9Qu0o4R1Nx; 1.1.1.1.8.2 date 2014.08.19.23.49.24; author tls; state Exp; branches; next ; commitid jTnpym9Qu0o4R1Nx; 1.1.1.1.30.1 date 2020.04.13.07.50.27; author martin; state dead; branches; next ; commitid X01YhRUPVUDaec4C; desc @@ 1.1 log @Initial revision @ text @// RUN: %clang_cc1 -fcxx-exceptions -fexceptions -fsyntax-only -verify %s template struct X0 { void f(T x, U y) { (void)(x + y); // expected-error{{invalid operands}} } }; struct X1 { }; template struct X0; template struct X0; template struct X0; // expected-note{{instantiation of}} template struct X2 { void f(T); T g(T x, T y) { /* DeclStmt */; T *xp = &x, &yr = y; // expected-error{{pointer to a reference}} /* NullStmt */; } }; template struct X2; template struct X2; // expected-note{{instantiation of}} template struct X3 { void f(T) { Label: T x; goto Label; } }; template struct X3; template struct X4 { T f() const { return; // expected-error{{non-void function 'f' should return a value}} } T g() const { return 1; // expected-error{{void function 'g' should not return a value}} } }; template struct X4; // expected-note{{in instantiation of}} template struct X4; // expected-note{{in instantiation of}} struct Incomplete; // expected-note 2{{forward declaration}} template struct X5 { T f() { } // expected-error{{incomplete result type}} }; void test_X5(X5 x5); // okay! template struct X5; // expected-note{{instantiation}} template struct X6 { U f(T t, U u, V v) { // IfStmt if (t > 0) return u; else { if (t < 0) return v; // expected-error{{cannot initialize return object of type}} } if (T x = t) { t = x; } return v; // expected-error{{cannot initialize return object of type}} } }; struct ConvertibleToInt { operator int() const; }; template struct X6; template struct X6; // expected-note{{instantiation}} template struct X7 { void f() { void *v = this; } }; template struct X7; template struct While0 { void f(T t) { while (t) { } while (T t2 = T()) ; } }; template struct While0; template struct Do0 { void f(T t) { do { } while (t); // expected-error{{not contextually}} } }; struct NotConvertibleToBool { }; template struct Do0; template struct Do0; // expected-note{{instantiation}} template struct For0 { void f(T f, T l) { for (; f != l; ++f) { if (*f) continue; else if (*f == 17) break; } } }; template struct For0; template struct Member0 { void f(T t) { t; t.f; t->f; T* tp; tp.f; // expected-error{{member reference base type 'T *' is not a structure or union}} tp->f; this->f; this.f; // expected-error{{member reference base type 'Member0 *' is not a structure or union}} } }; template struct Switch0 { U f(T value, U v0, U v1, U v2) { switch (value) { case 0: return v0; case 1: return v1; case 2: // fall through default: return v2; } } }; template struct Switch0; template struct Switch1 { T f(T x, T y, T z) { switch (x) { case I1: return y; // expected-note{{previous}} case I2: return z; // expected-error{{duplicate}} default: return x; } } }; template struct Switch1; template struct Switch1; // expected-note{{instantiation}} template struct IndirectGoto0 { void f(T x) { // FIXME: crummy error message below goto *x; // expected-error{{incompatible}} prior: T prior_label; prior_label = &&prior; // expected-error{{assigning to 'int'}} T later_label; later_label = &&later; // expected-error{{assigning to 'int'}} later: (void)(1+1); } }; template struct IndirectGoto0; template struct IndirectGoto0; // expected-note{{instantiation}} template struct TryCatch0 { void f() { try { } catch (T t) { // expected-error{{incomplete type}} \ // expected-error{{abstract class}} } catch (...) { } } }; struct Abstract { virtual void foo() = 0; // expected-note{{pure virtual}} }; template struct TryCatch0; // okay template struct TryCatch0; // expected-note{{instantiation}} template struct TryCatch0; // expected-note{{instantiation}} // PR4383 template struct X; template struct Y : public X { Y& x() { return *this; } }; // Make sure our assertions don't get too uppity. namespace test0 { template class A { void foo(T array[10]); }; template class A; } namespace PR7016 { template void f() { T x = x; } template void f(); } namespace PR9880 { struct lua_State; struct no_tag { char a; }; // (A) struct yes_tag { long a; long b; }; // (A) template struct HasIndexMetamethod { template static no_tag check(...); template static yes_tag check(char[sizeof(&U::luaIndex)]); enum { value = sizeof(check(0)) == sizeof(yes_tag) }; }; class SomeClass { public: int luaIndex(lua_State* L); }; int i = HasIndexMetamethod::value; } @ 1.1.1.1 log @Import Clang 3.4rc1 r195771. @ text @@ 1.1.1.1.30.1 log @Mostly merge changes from HEAD upto 20200411 @ text @@ 1.1.1.2 log @Mark old LLVM instance as dead. @ text @@ 1.1.1.1.8.1 log @file instantiate-function-1.cpp was added on branch tls-maxphys on 2014-08-19 23:49:24 +0000 @ text @d1 249 @ 1.1.1.1.8.2 log @Rebase to HEAD as of a few days ago. @ text @a0 249 // RUN: %clang_cc1 -fcxx-exceptions -fexceptions -fsyntax-only -verify %s template struct X0 { void f(T x, U y) { (void)(x + y); // expected-error{{invalid operands}} } }; struct X1 { }; template struct X0; template struct X0; template struct X0; // expected-note{{instantiation of}} template struct X2 { void f(T); T g(T x, T y) { /* DeclStmt */; T *xp = &x, &yr = y; // expected-error{{pointer to a reference}} /* NullStmt */; } }; template struct X2; template struct X2; // expected-note{{instantiation of}} template struct X3 { void f(T) { Label: T x; goto Label; } }; template struct X3; template struct X4 { T f() const { return; // expected-error{{non-void function 'f' should return a value}} } T g() const { return 1; // expected-error{{void function 'g' should not return a value}} } }; template struct X4; // expected-note{{in instantiation of}} template struct X4; // expected-note{{in instantiation of}} struct Incomplete; // expected-note 2{{forward declaration}} template struct X5 { T f() { } // expected-error{{incomplete result type}} }; void test_X5(X5 x5); // okay! template struct X5; // expected-note{{instantiation}} template struct X6 { U f(T t, U u, V v) { // IfStmt if (t > 0) return u; else { if (t < 0) return v; // expected-error{{cannot initialize return object of type}} } if (T x = t) { t = x; } return v; // expected-error{{cannot initialize return object of type}} } }; struct ConvertibleToInt { operator int() const; }; template struct X6; template struct X6; // expected-note{{instantiation}} template struct X7 { void f() { void *v = this; } }; template struct X7; template struct While0 { void f(T t) { while (t) { } while (T t2 = T()) ; } }; template struct While0; template struct Do0 { void f(T t) { do { } while (t); // expected-error{{not contextually}} } }; struct NotConvertibleToBool { }; template struct Do0; template struct Do0; // expected-note{{instantiation}} template struct For0 { void f(T f, T l) { for (; f != l; ++f) { if (*f) continue; else if (*f == 17) break; } } }; template struct For0; template struct Member0 { void f(T t) { t; t.f; t->f; T* tp; tp.f; // expected-error{{member reference base type 'T *' is not a structure or union}} tp->f; this->f; this.f; // expected-error{{member reference base type 'Member0 *' is not a structure or union}} } }; template struct Switch0 { U f(T value, U v0, U v1, U v2) { switch (value) { case 0: return v0; case 1: return v1; case 2: // fall through default: return v2; } } }; template struct Switch0; template struct Switch1 { T f(T x, T y, T z) { switch (x) { case I1: return y; // expected-note{{previous}} case I2: return z; // expected-error{{duplicate}} default: return x; } } }; template struct Switch1; template struct Switch1; // expected-note{{instantiation}} template struct IndirectGoto0 { void f(T x) { // FIXME: crummy error message below goto *x; // expected-error{{incompatible}} prior: T prior_label; prior_label = &&prior; // expected-error{{assigning to 'int'}} T later_label; later_label = &&later; // expected-error{{assigning to 'int'}} later: (void)(1+1); } }; template struct IndirectGoto0; template struct IndirectGoto0; // expected-note{{instantiation}} template struct TryCatch0 { void f() { try { } catch (T t) { // expected-error{{incomplete type}} \ // expected-error{{abstract class}} } catch (...) { } } }; struct Abstract { virtual void foo() = 0; // expected-note{{pure virtual}} }; template struct TryCatch0; // okay template struct TryCatch0; // expected-note{{instantiation}} template struct TryCatch0; // expected-note{{instantiation}} // PR4383 template struct X; template struct Y : public X { Y& x() { return *this; } }; // Make sure our assertions don't get too uppity. namespace test0 { template class A { void foo(T array[10]); }; template class A; } namespace PR7016 { template void f() { T x = x; } template void f(); } namespace PR9880 { struct lua_State; struct no_tag { char a; }; // (A) struct yes_tag { long a; long b; }; // (A) template struct HasIndexMetamethod { template static no_tag check(...); template static yes_tag check(char[sizeof(&U::luaIndex)]); enum { value = sizeof(check(0)) == sizeof(yes_tag) }; }; class SomeClass { public: int luaIndex(lua_State* L); }; int i = HasIndexMetamethod::value; } @ 1.1.1.1.4.1 log @file instantiate-function-1.cpp was added on branch yamt-pagecache on 2014-05-22 16:19:45 +0000 @ text @d1 249 @ 1.1.1.1.4.2 log @sync with head. for a reference, the tree before this commit was tagged as yamt-pagecache-tag8. this commit was splitted into small chunks to avoid a limitation of cvs. ("Protocol error: too many arguments") @ text @a0 249 // RUN: %clang_cc1 -fcxx-exceptions -fexceptions -fsyntax-only -verify %s template struct X0 { void f(T x, U y) { (void)(x + y); // expected-error{{invalid operands}} } }; struct X1 { }; template struct X0; template struct X0; template struct X0; // expected-note{{instantiation of}} template struct X2 { void f(T); T g(T x, T y) { /* DeclStmt */; T *xp = &x, &yr = y; // expected-error{{pointer to a reference}} /* NullStmt */; } }; template struct X2; template struct X2; // expected-note{{instantiation of}} template struct X3 { void f(T) { Label: T x; goto Label; } }; template struct X3; template struct X4 { T f() const { return; // expected-error{{non-void function 'f' should return a value}} } T g() const { return 1; // expected-error{{void function 'g' should not return a value}} } }; template struct X4; // expected-note{{in instantiation of}} template struct X4; // expected-note{{in instantiation of}} struct Incomplete; // expected-note 2{{forward declaration}} template struct X5 { T f() { } // expected-error{{incomplete result type}} }; void test_X5(X5 x5); // okay! template struct X5; // expected-note{{instantiation}} template struct X6 { U f(T t, U u, V v) { // IfStmt if (t > 0) return u; else { if (t < 0) return v; // expected-error{{cannot initialize return object of type}} } if (T x = t) { t = x; } return v; // expected-error{{cannot initialize return object of type}} } }; struct ConvertibleToInt { operator int() const; }; template struct X6; template struct X6; // expected-note{{instantiation}} template struct X7 { void f() { void *v = this; } }; template struct X7; template struct While0 { void f(T t) { while (t) { } while (T t2 = T()) ; } }; template struct While0; template struct Do0 { void f(T t) { do { } while (t); // expected-error{{not contextually}} } }; struct NotConvertibleToBool { }; template struct Do0; template struct Do0; // expected-note{{instantiation}} template struct For0 { void f(T f, T l) { for (; f != l; ++f) { if (*f) continue; else if (*f == 17) break; } } }; template struct For0; template struct Member0 { void f(T t) { t; t.f; t->f; T* tp; tp.f; // expected-error{{member reference base type 'T *' is not a structure or union}} tp->f; this->f; this.f; // expected-error{{member reference base type 'Member0 *' is not a structure or union}} } }; template struct Switch0 { U f(T value, U v0, U v1, U v2) { switch (value) { case 0: return v0; case 1: return v1; case 2: // fall through default: return v2; } } }; template struct Switch0; template struct Switch1 { T f(T x, T y, T z) { switch (x) { case I1: return y; // expected-note{{previous}} case I2: return z; // expected-error{{duplicate}} default: return x; } } }; template struct Switch1; template struct Switch1; // expected-note{{instantiation}} template struct IndirectGoto0 { void f(T x) { // FIXME: crummy error message below goto *x; // expected-error{{incompatible}} prior: T prior_label; prior_label = &&prior; // expected-error{{assigning to 'int'}} T later_label; later_label = &&later; // expected-error{{assigning to 'int'}} later: (void)(1+1); } }; template struct IndirectGoto0; template struct IndirectGoto0; // expected-note{{instantiation}} template struct TryCatch0 { void f() { try { } catch (T t) { // expected-error{{incomplete type}} \ // expected-error{{abstract class}} } catch (...) { } } }; struct Abstract { virtual void foo() = 0; // expected-note{{pure virtual}} }; template struct TryCatch0; // okay template struct TryCatch0; // expected-note{{instantiation}} template struct TryCatch0; // expected-note{{instantiation}} // PR4383 template struct X; template struct Y : public X { Y& x() { return *this; } }; // Make sure our assertions don't get too uppity. namespace test0 { template class A { void foo(T array[10]); }; template class A; } namespace PR7016 { template void f() { T x = x; } template void f(); } namespace PR9880 { struct lua_State; struct no_tag { char a; }; // (A) struct yes_tag { long a; long b; }; // (A) template struct HasIndexMetamethod { template static no_tag check(...); template static yes_tag check(char[sizeof(&U::luaIndex)]); enum { value = sizeof(check(0)) == sizeof(yes_tag) }; }; class SomeClass { public: int luaIndex(lua_State* L); }; int i = HasIndexMetamethod::value; } @