Viewing file:  pr106922.C (2.76 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
// { dg-require-effective-target c++20 }
// { dg-options "-O2 -fdump-tree-cddce3" }
template <typename> struct __new_allocator {
void deallocate(int *, int) { operator delete(0); }
};
template <typename _Tp> using __allocator_base = __new_allocator<_Tp>;
template <typename> struct allocator : __allocator_base<int> {
[[__gnu__::__always_inline__]] void deallocate(int *__p, int __n) {
__allocator_base<int>::deallocate(__p, __n);
}
};
template <typename> struct allocator_traits;
template <typename _Tp> struct allocator_traits<allocator<_Tp>> {
using allocator_type = allocator<_Tp>;
using pointer = _Tp *;
using size_type = int;
template <typename _Up> using rebind_alloc = allocator<_Up>;
static void deallocate(allocator_type &__a, pointer __p, size_type __n) {
__a.deallocate(__p, __n);
}
};
template <typename _Alloc> struct __alloc_traits : allocator_traits<_Alloc> {
typedef allocator_traits<_Alloc> _Base_type;
template <typename _Tp> struct rebind {
typedef _Base_type::template rebind_alloc<_Tp> other;
};
};
long _M_deallocate___n;
struct _Vector_base {
typedef __alloc_traits<allocator<int>>::rebind<int>::other _Tp_alloc_type;
typedef __alloc_traits<_Tp_alloc_type>::pointer pointer;
struct _Vector_impl_data {
pointer _M_start;
};
struct _Vector_impl : _Tp_alloc_type, _Vector_impl_data {};
~_Vector_base() { _M_deallocate(_M_impl._M_start); }
_Vector_impl _M_impl;
void _M_deallocate(pointer __p) {
if (__p)
__alloc_traits<_Tp_alloc_type>::deallocate(_M_impl, __p,
_M_deallocate___n);
}
};
struct vector : _Vector_base {};
struct aligned_storage {
int dummy_;
int *ptr_ref0;
vector &ref() {
vector *__trans_tmp_2;
void *__trans_tmp_1 = &dummy_;
union {
void *ap_pvoid;
vector *as_ptype;
} caster{__trans_tmp_1};
__trans_tmp_2 = caster.as_ptype;
return *__trans_tmp_2;
}
};
struct optional_base {
optional_base operator=(optional_base &) {
bool __trans_tmp_3 = m_initialized;
if (__trans_tmp_3)
m_initialized = false;
return *this;
}
~optional_base() {
if (m_initialized)
m_storage.ref().~vector();
}
bool m_initialized;
aligned_storage m_storage;
};
struct optional : optional_base {
optional() : optional_base() {}
};
template <class> using Optional = optional;
struct Trans_NS___cxx11_basic_stringstream {};
void operator<<(Trans_NS___cxx11_basic_stringstream, int);
int testfunctionfoo_myStructs[10];
void testfunctionfoo() {
Optional<char> external, internal;
for (auto myStruct : testfunctionfoo_myStructs) {
Trans_NS___cxx11_basic_stringstream address_stream;
address_stream << myStruct;
external = internal;
}
}
// { dg-final { scan-tree-dump-not "m_initialized" "cddce3" } }
|
