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