1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
| // RUN: %clang_cc1 -fsyntax-only -std=c++11 %s -verify
// rdar://12645424, crash due to a double-free
template<typename _Tp> struct __add_lvalue_reference_helper {};
template<typename _Tp> struct add_lvalue_reference : __add_lvalue_reference_helper<_Tp> {
typedef _Tp type;
};
template<typename... Types> struct type_list;
template<typename , template<typename> class... Funs> struct C;
template<typename T> struct C<T> {
typedef T type;
};
template<typename T, template<typename> class Fun0, template<typename> class... Funs> struct C<T, Fun0, Funs...> {
typedef typename C<typename Fun0<T>::type, Funs...>::type type;
};
template<class , template<typename> class... Funs> struct tl_map;
template<typename... Ts, template<typename> class... Funs> struct tl_map<type_list<Ts...>, Funs...> {
typedef type_list<typename C<Ts, Funs...>::type...> type;
};
template< class Pattern> struct F {
typedef Pattern filtered_pattern;
tl_map< filtered_pattern, add_lvalue_reference > type;
};
template<class, class Pattern> struct get_case {
F<Pattern> type;
};
template<class Pattern> struct rvalue_builder {
template<typename Expr> typename get_case<Expr, Pattern>::type operator>>(Expr ); // expected-note {{candidate template ignored}}
};
template<typename Arg0> rvalue_builder< type_list<Arg0> > on(const Arg0& ) ;
class Z {
int empty = on(0) >> [] {}; // expected-error {{invalid operands to binary expression}}
};
|