1 // Copyright (C) 2017-2018 Free Software Foundation, Inc.
2 //
3 // This file is part of the GNU ISO C++ Library. This library is free
4 // software; you can redistribute it and/or modify it under the
5 // terms of the GNU General Public License as published by the
6 // Free Software Foundation; either version 3, or (at your option)
7 // any later version.
8
9 // This library is distributed in the hope that it will be useful,
10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 // GNU General Public License for more details.
13
14 // You should have received a copy of the GNU General Public License along
15 // with this library; see the file COPYING3. If not see
16 // <http://www.gnu.org/licenses/>.
17
18 // { dg-do run { target c++11 } }
19 // { dg-options "-O0" }
20 // { dg-xfail-run-if "PR c++/65816" { *-*-* } }
21
22 #include <map>
23 #include <testsuite_hooks.h>
24 #include <testsuite_allocator.h>
25
26 #include <ext/aligned_buffer.h>
27
28 using T = int;
29
30 using __gnu_test::default_init_allocator;
31
test01()32 void test01()
33 {
34 typedef default_init_allocator<std::pair<const T, T>> alloc_type;
35 typedef std::map<T, T, std::less<T>, alloc_type> test_type;
36
37 __gnu_cxx::__aligned_buffer<test_type> buf;
38 __builtin_memset(buf._M_addr(), ~0, sizeof(test_type));
39
40 test_type *tmp = ::new(buf._M_addr()) test_type;
41
42 VERIFY( tmp->get_allocator().state == 0 );
43
44 tmp->~test_type();
45 }
46
test02()47 void test02()
48 {
49 typedef default_init_allocator<std::pair<const T, T>> alloc_type;
50 typedef std::map<T, T, std::less<T>, alloc_type> test_type;
51
52 __gnu_cxx::__aligned_buffer<test_type> buf;
53 __builtin_memset(buf._M_addr(), ~0, sizeof(test_type));
54
55 test_type *tmp = ::new(buf._M_addr()) test_type();
56
57 VERIFY( tmp->get_allocator().state == 0 );
58
59 tmp->~test_type();
60 }
61
main()62 int main()
63 {
64 test01();
65 test02();
66 return 0;
67 }
68