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