diff options
author | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2012-11-14 19:16:13 +0000 |
---|---|---|
committer | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2012-11-14 19:16:13 +0000 |
commit | b6ad9b163d50827d4cd7eccadb20432cd3c089d5 (patch) | |
tree | 2453fbde5d1934fc998df9860a8d31836d118c36 /test/SemaCXX/crash-lambda-12645424.cpp | |
parent | 70cd619e74306b1599d5579e6fd6a14bd9592281 (diff) |
In ExpressionEvaluationContextRecord manage LambdaMangle with a shared
pointer, otherwise we will double free it when ExpressionEvaluationContextRecord
gets copied.
Fixes crash in rdar://12645424 & http://llvm.org/PR14252
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@167946 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/SemaCXX/crash-lambda-12645424.cpp')
-rw-r--r-- | test/SemaCXX/crash-lambda-12645424.cpp | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/test/SemaCXX/crash-lambda-12645424.cpp b/test/SemaCXX/crash-lambda-12645424.cpp new file mode 100644 index 0000000000..8317e7c0db --- /dev/null +++ b/test/SemaCXX/crash-lambda-12645424.cpp @@ -0,0 +1,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}} +}; |