1 // RUN: %clang_cc1 -std=c++11 %s -verify -triple x86_64-linux-gnu
2 
3 namespace std {
4   typedef decltype(nullptr) nullptr_t;
5 }
6 
7 template<int *ip> struct IP {  // expected-note 5 {{template parameter is declared here}}
8   IP<ip> *ip2;
9 };
10 
11 template<int &ip> struct IR {};
12 
get_nullptr()13 constexpr std::nullptr_t get_nullptr() { return nullptr; }
14 
15 constexpr std::nullptr_t np = nullptr;
16 
17 std::nullptr_t nonconst_np; // expected-note{{declared here}}
18 
19 thread_local int tl; // expected-note {{refers here}}
20 
21 IP<0> ip0; // expected-error{{null non-type template argument must be cast to template parameter type 'int *'}}
22 IP<(0)> ip1; // expected-error{{null non-type template argument must be cast to template parameter type 'int *'}}
23 IP<nullptr> ip2;
24 IP<get_nullptr()> ip3;
25 IP<(int*)0> ip4;
26 IP<np> ip5;
27 IP<nonconst_np> ip5; // expected-error{{non-type template argument of type 'std::nullptr_t' (aka 'nullptr_t') is not a constant expression}} \
28 // expected-note{{read of non-constexpr variable 'nonconst_np' is not allowed in a constant expression}}
29 IP<(float*)0> ip6; // expected-error{{null non-type template argument of type 'float *' does not match template parameter of type 'int *'}}
30 IP<&tl> ip7; // expected-error{{non-type template argument of type 'int *' is not a constant expression}}
31 
32 IR<tl> ir1; // expected-error{{non-type template argument refers to thread-local object}}
33 
34 struct X { };
35 template<int X::*pm> struct PM { // expected-note 2 {{template parameter is declared here}}
36   PM<pm> *pm2;
37 };
38 
39 PM<0> pm0; // expected-error{{null non-type template argument must be cast to template parameter type 'int X::*'}}
40 PM<(0)> pm1; // expected-error{{null non-type template argument must be cast to template parameter type 'int X::*'}}
41 PM<nullptr> pm2;
42 PM<get_nullptr()> pm3;
43 PM<(int X::*)0> pm4;
44 PM<np> pm5;
45 
46 template<int (X::*pmf)(int)> struct PMF { // expected-note 2 {{template parameter is declared here}}
47   PMF<pmf> *pmf2;
48 };
49 
50 PMF<0> pmf0; // expected-error{{null non-type template argument must be cast to template parameter type 'int (X::*)(int)'}}
51 PMF<(0)> pmf1; // expected-error{{null non-type template argument must be cast to template parameter type 'int (X::*)(int)'}}
52 PMF<nullptr> pmf2;
53 PMF<get_nullptr()> pmf3;
54 PMF<(int (X::*)(int))0> pmf4;
55 PMF<np> pmf5;
56 
57 
58 template<std::nullptr_t np> struct NP { // expected-note 2{{template parameter is declared here}}
59   NP<np> *np2;
60 };
61 
62 NP<nullptr> np1;
63 NP<np> np2;
64 NP<get_nullptr()> np3;
65 NP<0> np4; // expected-error{{null non-type template argument must be cast to template parameter type 'std::nullptr_t' (aka 'nullptr_t')}}
66 constexpr int i = 7;
67 NP<i> np5; // expected-error{{non-type template argument of type 'const int' cannot be converted to a value of type 'std::nullptr_t'}}
68