maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

PR12884: Add test (bug is already fixed). 

llvm-svn: 347729
This commit is contained in:
Richard Smith 2018-11-28 05:15:46 +00:00
parent 0614cff40d
commit 02a84c8d0c
1 changed files with 56 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

56
clang/test/SemaTemplate/typename-specifier-3.cpp
View File

@ -18,3 +18,59 @@ B c() {
template<class T> struct test2 { T b() { return typename T::a; } }; // expected-error{{expected '(' for function-style cast or type construction}}
template<class T> struct test3 { T b() { return typename a; } }; // expected-error{{expected a qualified name after 'typename'}}
template<class T> struct test4 { T b() { return typename ::a; } }; // expected-error{{refers to non-type member}} expected-error{{expected '(' for function-style cast or type construction}}
// PR12884
namespace PR12884_original {
template <typename T> struct A {
struct B {
template <typename U> struct X {};
typedef int arg;
};
struct C {
typedef B::X<typename B::arg> x; // expected-error {{missing 'typename'}}
};
};
template <> struct A<int>::B {
template <int N> struct X {};
static const int arg = 0;
};
A<int>::C::x a;
}
namespace PR12884_half_fixed {
template <typename T> struct A {
struct B {
template <typename U> struct X {};
typedef int arg;
};
struct C {
typedef typename B::X<typename B::arg> x; // expected-error {{use 'template'}} expected-error {{refers to non-type}}
};
};
template <> struct A<int>::B {
template <int N> struct X {};
static const int arg = 0; // expected-note {{here}}
};
A<int>::C::x a; // expected-note {{here}}
}
namespace PR12884_fixed {
template <typename T> struct A {
struct B {
template <typename U> struct X {};
typedef int arg;
};
struct C {
typedef typename B::template X<B::arg> x;
};
};
template <> struct A<int>::B {
template <int N> struct X {};
static const int arg = 0;
};
A<int>::C::x a; // ok
}