OSDN Git Service

2009-05-28 Benjamin Kosnik <bkoz@redhat.com>
[pf3gnuchains/gcc-fork.git] / libstdc++-v3 / testsuite / ext / mt_allocator / deallocate_local_thread-5.cc
1 // { dg-require-cxa-atexit "" }
2
3 // Copyright (C) 2004, 2005, 2006, 2007, 2008, 2009
4 // 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 // 20.4.1.1 allocator members
22
23 #include <string>
24 #include <stdexcept>
25 #include <cstdio>
26 #include <ext/mt_allocator.h>
27 #include <replacement_memory_operators.h>
28
29 template<bool _Thread>
30   struct cleanup_pool : public __gnu_cxx::__pool<true>
31   {
32     cleanup_pool() : __gnu_cxx::__pool<true>() { }
33
34     cleanup_pool(const __gnu_cxx::__pool_base::_Tune& t) 
35     : __gnu_cxx::__pool<true>(t) { }
36
37     ~cleanup_pool() throw() { this->_M_destroy(); }
38   };
39
40 typedef char value_type;
41 typedef std::char_traits<value_type> traits_type;
42 typedef __gnu_cxx::__common_pool_policy<cleanup_pool, true> policy_type;
43 typedef __gnu_cxx::__mt_alloc<value_type, policy_type> allocator_type;
44 typedef std::basic_string<value_type, traits_type, allocator_type> string_type;
45
46 int main()
47 {
48   // NB: __mt_allocator doesn't clean itself up. Thus, the count will
49   // not be zero.
50   __gnu_test::counter::exceptions(false);
51   string_type s;
52   s += "bayou bend";
53   return 0;
54 }