Mercurial > hg > CbC > CbC_llvm
view clang/test/SemaTemplate/undefined-template.cpp @ 236:c4bab56944e8 llvm-original
LLVM 16
author | kono |
---|---|
date | Wed, 09 Nov 2022 17:45:10 +0900 |
parents | 1d019706d866 |
children |
line wrap: on
line source
// RUN: %clang_cc1 -fsyntax-only -verify -std=c++14 -Wundefined-func-template %s #if !defined(INCLUDE) template <class T> struct C1 { static char s_var_1; // expected-note{{forward declaration of template entity is here}} static char s_var_2; // expected-note{{forward declaration of template entity is here}} static void s_func_1(); // expected-note{{forward declaration of template entity is here}} static void s_func_2(); // expected-note{{forward declaration of template entity is here}} void meth_1(); // expected-note2{{forward declaration of template entity is here}} void meth_2(); template <class T1> static char s_tvar_2; // expected-note{{forward declaration of template entity is here}} template <class T1> static void s_tfunc_2(); // expected-note{{forward declaration of template entity is here}} template<typename T1> struct C2 { static char s_var_2; // expected-note{{forward declaration of template entity is here}} static void s_func_2(); // expected-note{{forward declaration of template entity is here}} void meth_2(); // expected-note{{forward declaration of template entity is here}} template <class T2> static char s_tvar_2; // expected-note{{forward declaration of template entity is here}} template <class T2> void tmeth_2(); // expected-note{{forward declaration of template entity is here}} }; }; extern template char C1<int>::s_var_2; extern template void C1<int>::s_func_2(); extern template void C1<int>::meth_2(); extern template char C1<int>::s_tvar_2<char>; extern template void C1<int>::s_tfunc_2<char>(); extern template void C1<int>::C2<long>::s_var_2; extern template void C1<int>::C2<long>::s_func_2(); extern template void C1<int>::C2<long>::meth_2(); extern template char C1<int>::C2<long>::s_tvar_2<char>; extern template void C1<int>::C2<long>::tmeth_2<char>(); char func_01() { return C1<int>::s_var_2; } char func_02() { return C1<int>::s_var_1; // expected-warning{{instantiation of variable 'C1<int>::s_var_1' required here, but no definition is available}} // expected-note@-1{{add an explicit instantiation declaration to suppress this warning if 'C1<int>::s_var_1' is explicitly instantiated in another translation unit}} } char func_03() { return C1<char>::s_var_2; // expected-warning{{instantiation of variable 'C1<char>::s_var_2' required here, but no definition is available}} // expected-note@-1{{add an explicit instantiation declaration to suppress this warning if 'C1<char>::s_var_2' is explicitly instantiated in another translation unit}} } void func_04() { C1<int>::s_func_1(); // expected-warning{{instantiation of function 'C1<int>::s_func_1' required here, but no definition is available}} // expected-note@-1{{add an explicit instantiation declaration to suppress this warning if 'C1<int>::s_func_1' is explicitly instantiated in another translation unit}} } void func_05() { C1<int>::s_func_2(); } void func_06() { C1<char>::s_func_2(); // expected-warning{{instantiation of function 'C1<char>::s_func_2' required here, but no definition is available}} // expected-note@-1{{add an explicit instantiation declaration to suppress this warning if 'C1<char>::s_func_2' is explicitly instantiated in another translation unit}} } void func_07(C1<int> *x) { x->meth_1(); // expected-warning{{instantiation of function 'C1<int>::meth_1' required here, but no definition is available}} // expected-note@-1{{add an explicit instantiation declaration to suppress this warning if 'C1<int>::meth_1' is explicitly instantiated in another translation unit}} } void func_08(C1<int> *x) { x->meth_2(); } void func_09(C1<char> *x) { x->meth_1(); // expected-warning{{instantiation of function 'C1<char>::meth_1' required here, but no definition is available}} // expected-note@-1{{add an explicit instantiation declaration to suppress this warning if 'C1<char>::meth_1' is explicitly instantiated in another translation unit}} } char func_10() { return C1<int>::s_tvar_2<char>; } char func_11() { return C1<int>::s_tvar_2<long>; // expected-warning{{instantiation of variable 'C1<int>::s_tvar_2<long>' required here, but no definition is available}} // expected-note@-1{{add an explicit instantiation declaration to suppress this warning if 'C1<int>::s_tvar_2<long>' is explicitly instantiated in another translation unit}} } void func_12() { C1<int>::s_tfunc_2<char>(); } void func_13() { C1<int>::s_tfunc_2<long>(); // expected-warning{{instantiation of function 'C1<int>::s_tfunc_2<long>' required here, but no definition is available}} // expected-note@-1{{add an explicit instantiation declaration to suppress this warning if 'C1<int>::s_tfunc_2<long>' is explicitly instantiated in another translation unit}} } char func_14() { return C1<int>::C2<long>::s_var_2; } char func_15() { return C1<int>::C2<char>::s_var_2; //expected-warning {{instantiation of variable 'C1<int>::C2<char>::s_var_2' required here, but no definition is available}} // expected-note@-1{{add an explicit instantiation declaration to suppress this warning if 'C1<int>::C2<char>::s_var_2' is explicitly instantiated in another translation unit}} } void func_16() { C1<int>::C2<long>::s_func_2(); } void func_17() { C1<int>::C2<char>::s_func_2(); // expected-warning{{instantiation of function 'C1<int>::C2<char>::s_func_2' required here, but no definition is available}} // expected-note@-1{{add an explicit instantiation declaration to suppress this warning if 'C1<int>::C2<char>::s_func_2' is explicitly instantiated in another translation unit}} } void func_18(C1<int>::C2<long> *x) { x->meth_2(); } void func_19(C1<int>::C2<char> *x) { x->meth_2(); // expected-warning{{instantiation of function 'C1<int>::C2<char>::meth_2' required here, but no definition is available}} // expected-note@-1{{add an explicit instantiation declaration to suppress this warning if 'C1<int>::C2<char>::meth_2' is explicitly instantiated in another translation unit}} } char func_20() { return C1<int>::C2<long>::s_tvar_2<char>; } char func_21() { return C1<int>::C2<long>::s_tvar_2<long>; // expected-warning{{instantiation of variable 'C1<int>::C2<long>::s_tvar_2<long>' required here, but no definition is available}} // expected-note@-1{{add an explicit instantiation declaration to suppress this warning if 'C1<int>::C2<long>::s_tvar_2<long>' is explicitly instantiated in another translation unit}} } void func_22(C1<int>::C2<long> *x) { x->tmeth_2<char>(); } void func_23(C1<int>::C2<long> *x) { x->tmeth_2<int>(); // expected-warning{{instantiation of function 'C1<int>::C2<long>::tmeth_2<int>' required here, but no definition is available}} // expected-note@-1{{add an explicit instantiation declaration to suppress this warning if 'C1<int>::C2<long>::tmeth_2<int>' is explicitly instantiated in another translation unit}} } namespace test_24 { template <typename T> struct X { friend void g(int); operator int() { return 0; } }; void h(X<int> x) { g(x); } // no warning for use of 'g' despite the declaration having been instantiated from a template } #define INCLUDE #include "undefined-template.cpp" void func_25(SystemHeader<char> *x) { x->meth(); } int main() { return 0; } #else #pragma clang system_header template <typename T> struct SystemHeader { T meth(); }; #endif