p1-11.cpp revision d2008e2c80d6c9282044ec873a937a17a0f33579 
1// RUN: %clang_cc1 -std=c++11 %s -verify
2
3namespace std {
4  typedef decltype(nullptr) nullptr_t;
5}
6
7template<int *ip> struct IP {  // expected-note 2 {{template parameter is declared here}}
8  IP<ip> *ip2;
9};
10
11constexpr std::nullptr_t get_nullptr() { return nullptr; }
12
13std::nullptr_t np;
14
15IP<0> ip0; // expected-error{{null non-type template argument must be cast to template parameter type 'int *'}}
16IP<(0)> ip1; // expected-error{{null non-type template argument must be cast to template parameter type 'int *'}}
17IP<nullptr> ip2;
18IP<get_nullptr()> ip3;
19IP<(int*)0> ip4;
20IP<np> ip5;
21
22struct X { };
23template<int X::*pm> struct PM { // expected-note 2 {{template parameter is declared here}}
24  PM<pm> *pm2;
25};
26
27PM<0> pm0; // expected-error{{null non-type template argument must be cast to template parameter type 'int X::*'}}
28PM<(0)> pm1; // expected-error{{null non-type template argument must be cast to template parameter type 'int X::*'}}
29PM<nullptr> pm2;
30PM<get_nullptr()> pm3;
31PM<(int X::*)0> pm4;
32PM<np> pm5;
33
34template<int (X::*pmf)(int)> struct PMF { // expected-note 2 {{template parameter is declared here}}
35  PMF<pmf> *pmf2;
36};
37
38PMF<0> pmf0; // expected-error{{null non-type template argument must be cast to template parameter type 'int (X::*)(int)'}}
39PMF<(0)> pmf1; // expected-error{{null non-type template argument must be cast to template parameter type 'int (X::*)(int)'}}
40PMF<nullptr> pmf2;
41PMF<get_nullptr()> pmf3;
42PMF<(int (X::*)(int))0> pmf4;
43PMF<np> pmf5;
44
45
46template<std::nullptr_t np> struct NP { // expected-note 2{{template parameter is declared here}}
47  NP<np> *np2;
48};
49
50NP<nullptr> np1;
51NP<np> np2;
52NP<get_nullptr()> np3;
53NP<0> np4; // expected-error{{null non-type template argument must be cast to template parameter type 'std::nullptr_t' (aka 'nullptr_t')}}
54constexpr int i = 7;
55NP<i> np5; // expected-error{{non-type template argument of type 'const int' cannot be converted to a value of type 'std::nullptr_t'}}
56