diff options
author | Douglas Gregor <dgregor@apple.com> | 2009-06-13 06:59:07 +0000 |
---|---|---|
committer | Douglas Gregor <dgregor@apple.com> | 2009-06-13 06:59:07 +0000 |
commit | 247baca66ca998de9c415c19019e199f4895e81c (patch) | |
tree | 0ab3101791dedf4f4295d7c07604b1cd723c69c7 /test/CXX/temp/temp.param/p4.cpp | |
parent | cb8845f3e358b8583c41ba9bdb9165670900a8e2 (diff) |
Move a bunch of tests into temp.param, and write a few tests for paragraphs that hadn't been touched before
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@73288 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CXX/temp/temp.param/p4.cpp')
-rw-r--r-- | test/CXX/temp/temp.param/p4.cpp | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/test/CXX/temp/temp.param/p4.cpp b/test/CXX/temp/temp.param/p4.cpp new file mode 100644 index 0000000000..3efff12436 --- /dev/null +++ b/test/CXX/temp/temp.param/p4.cpp @@ -0,0 +1,20 @@ +// RUN: clang-cc -fsyntax-only -verify %s +class X; + +// C++ [temp.param]p4 +typedef int INT; +enum E { enum1, enum2 }; +template<int N> struct A1; +template<INT N, INT M> struct A2; +template<enum E x, E y> struct A3; +template<int &X> struct A4; +template<int *Ptr> struct A5; +template<int (&f)(int, int)> struct A6; +template<int (*fp)(float, double)> struct A7; +template<int X::*pm> struct A8; +template<float (X::*pmf)(float, int)> struct A9; +template<typename T, T x> struct A10; + +template<float f> struct A11; // expected-error{{a non-type template parameter cannot have type 'float'}} + +template<void *Ptr> struct A12; // expected-error{{a non-type template parameter cannot have type 'void *'}} |