OSDN Git Service

2011-05-28 Jonathan Wakely <jwakely.gcc@gmail.com>
[pf3gnuchains/gcc-fork.git] / libstdc++-v3 / testsuite / 20_util / allocator_traits / members / destroy.cc
1 // { dg-options "-std=gnu++0x" }
2 // { dg-do compile }
3
4 // Copyright (C) 2011 Free Software Foundation, Inc.
5 //
6 // This file is part of the GNU ISO C++ Library.  This library is free
7 // software; you can redistribute it and/or modify it under the
8 // terms of the GNU General Public License as published by the
9 // Free Software Foundation; either version 3, or (at your option)
10 // any later version.
11
12 // This library is distributed in the hope that it will be useful,
13 // but WITHOUT ANY WARRANTY; without even the implied warranty of
14 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 // GNU General Public License for more details.
16
17 // You should have received a copy of the GNU General Public License along
18 // with this library; see the file COPYING3.  If not see
19 // <http://www.gnu.org/licenses/>.
20
21 #include <memory>
22 #include <new>
23 #include <testsuite_hooks.h>
24
25 struct X
26 {
27   static int counter;
28   ~X() { ++counter; }
29 };
30
31 int X::counter = 0;
32
33 template<typename T>
34 struct allocator_with_destroy
35 {
36   typedef T value_type;
37
38   allocator_with_destroy() : called() { }
39
40   void destroy(T* p) { called = true; }
41
42   int called;
43 };
44
45 template<typename T>
46 struct allocator_without_destroy
47 {
48   typedef T value_type;
49
50   allocator_without_destroy() : called() { }
51
52   int called;
53 };
54
55 void test01()
56 {
57   bool test __attribute__((unused)) = true;
58
59   typedef std::allocator_traits<allocator_with_destroy<X>> traits_type;
60   traits_type::allocator_type a;
61   X* p = 0;
62   traits_type::destroy(a, p);
63   VERIFY( a.called );
64   VERIFY( X::counter == 0 );
65 }
66
67 void test02()
68 {
69   bool test __attribute__((unused)) = true;
70
71   typedef std::allocator_traits<allocator_without_destroy<X>> traits_type;
72   traits_type::allocator_type a;
73   char buf[sizeof(X)];
74   X* p = ::new (static_cast<void*>(buf)) X();
75   traits_type::destroy(a, p);
76   VERIFY( !a.called );
77   VERIFY( X::counter == 1 );
78 }
79
80 int main()
81 {
82   test01();
83   test02();
84 }