Home | History | Annotate | Download | only in temp.spec
      1 // RUN: %clang_cc1 --std=c++1y -fsyntax-only -verify %s
      2 // RUN: cp %s %t
      3 // RUN: not %clang_cc1 --std=c++1y -x c++ -fixit %t -DFIXING
      4 // RUN: %clang_cc1 --std=c++1y -x c++ %t -DFIXING
      5 
      6 template<typename T>
      7 T pi = T(3.1415926535897932385); // expected-note {{template is declared here}}
      8 
      9 template int pi<int>;
     10 
     11 #ifndef FIXING
     12 template float pi; // expected-error {{too few template arguments for template 'pi'}}
     13 template double pi_var0; // expected-error {{explicit instantiation of 'pi_var0' does not refer to a function template, variable template, member function, member class, or static data member}}
     14 #endif
     15 
     16 // Should recover as if definition
     17 template double pi_var = 5; // expected-error {{variable cannot be defined in an explicit instantiation; if this declaration is meant to be a variable definition, remove the 'template' keyword}}
     18 #ifndef FIXING
     19 template<typename T>
     20 T pi0 = T(3.1415926535897932385); // expected-note {{previous definition is here}}
     21 
     22 template int pi0 = 10; // expected-error {{variable cannot be defined in an explicit instantiation; if this declaration is meant to be a variable definition, remove the 'template' keyword}} \
     23                           expected-error{{redefinition of 'pi0' with a different type: 'int' vs 'T'}}
     24 #endif
     25 
     26 template<typename T>
     27 T pi1 = T(3.1415926535897932385);
     28 
     29 // Should recover as if specialization
     30 template float pi1<float> = 1.0;  // expected-error {{explicit template instantiation cannot have a definition; if this definition is meant to be an explicit specialization, add '<>' after the 'template' keyword}}
     31 #ifndef FIXING
     32 namespace expected_global {
     33   template<> double pi1<double> = 1.5;  // expected-error {{no variable template matches specialization}}
     34   template int pi1<int> = 10;  // expected-error {{explicit template instantiation cannot have a definition; if this definition is meant to be an explicit specialization, add '<>' after the 'template' keyword}} \
     35                                   expected-error {{no variable template matches specialization}}
     36 }
     37 #endif
     38