xref: /llvm-project/clang/test/CodeGenCXX/thunk-use-after-free.cpp (revision c9bd88e6811fb622cde644a82eac41c0b02c00ee)
1*c9bd88e6SHans Wennborg // RUN: %clang_cc1 -emit-llvm-only -triple %itanium_abi_triple -O1 %s
2e6b4a16dSBenjamin Kramer // This used to crash under asan and valgrind.
3e6b4a16dSBenjamin Kramer // PR12284
4e6b4a16dSBenjamin Kramer 
5e6b4a16dSBenjamin Kramer template < typename _Tp > struct new_allocator
6e6b4a16dSBenjamin Kramer {
7e6b4a16dSBenjamin Kramer   typedef _Tp *pointer;
8e6b4a16dSBenjamin Kramer   template < typename > struct rebind {
9e6b4a16dSBenjamin Kramer     typedef new_allocator other;
10e6b4a16dSBenjamin Kramer   };
11e6b4a16dSBenjamin Kramer };
12e6b4a16dSBenjamin Kramer template < typename _Tp > struct allocator:new_allocator < _Tp > {
13e6b4a16dSBenjamin Kramer };
14e6b4a16dSBenjamin Kramer template < typename _Tp, typename _Alloc > struct _Vector_base {
15e6b4a16dSBenjamin Kramer   typedef typename _Alloc::template rebind < _Tp >::other _Tp_alloc_type;
16e6b4a16dSBenjamin Kramer   struct _Vector_impl {
17e6b4a16dSBenjamin Kramer     typename _Tp_alloc_type::pointer _M_end_of_storage;
18e6b4a16dSBenjamin Kramer   };
_Vector_base_Vector_base19e6b4a16dSBenjamin Kramer   _Vector_base () {
20e6b4a16dSBenjamin Kramer     foo((int *) this->_M_impl._M_end_of_storage);
21e6b4a16dSBenjamin Kramer   }
22e6b4a16dSBenjamin Kramer   void foo(int *);
23e6b4a16dSBenjamin Kramer   _Vector_impl _M_impl;
24e6b4a16dSBenjamin Kramer };
25e6b4a16dSBenjamin Kramer template < typename _Tp, typename _Alloc =
26e6b4a16dSBenjamin Kramer allocator < _Tp > >struct vector:_Vector_base < _Tp, _Alloc > { };
27e6b4a16dSBenjamin Kramer 
28e6b4a16dSBenjamin Kramer 
29e6b4a16dSBenjamin Kramer template < class T> struct HHH {};
30e6b4a16dSBenjamin Kramer struct DDD { int x_;};
31e6b4a16dSBenjamin Kramer struct Data;
32e6b4a16dSBenjamin Kramer struct X1;
33e6b4a16dSBenjamin Kramer struct CCC:DDD {   virtual void xxx (HHH < X1 >); };
34e6b4a16dSBenjamin Kramer template < class SSS > struct EEE:vector < HHH < SSS > > { };
35e6b4a16dSBenjamin Kramer template < class SSS, class = EEE < SSS > >class FFF { };
36e6b4a16dSBenjamin Kramer template < class SSS, class GGG = EEE < SSS > >class AAA:FFF <GGG> { };
37e6b4a16dSBenjamin Kramer class BBB:virtual CCC {
38e6b4a16dSBenjamin Kramer   void xxx (HHH < X1 >);
39e6b4a16dSBenjamin Kramer   vector < HHH < X1 > >aaa;
40e6b4a16dSBenjamin Kramer };
41e6b4a16dSBenjamin Kramer class ZZZ:AAA < Data >, BBB { virtual ZZZ *ppp () ; };
ppp()42e6b4a16dSBenjamin Kramer ZZZ * ZZZ::ppp () { return new ZZZ; }
43