OSDN Git Service

2007-03-02 Paolo Carlini <pcarlini@suse.de>
[pf3gnuchains/gcc-fork.git] / libstdc++-v3 / testsuite / ext / new_allocator / deallocate_local.cc
1 //
2 // Copyright (C) 2004, 2005, 2006, 2007 Free Software Foundation, Inc.
3 //
4 // This file is part of the GNU ISO C++ Library.  This library is free
5 // software; you can redistribute it and/or modify it under the
6 // terms of the GNU General Public License as published by the
7 // Free Software Foundation; either version 2, or (at your option)
8 // any later version.
9 //
10 // This library is distributed in the hope that it will be useful,
11 // but WITHOUT ANY WARRANTY; without even the implied warranty of
12 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13 // GNU General Public License for more details.
14 //
15 // You should have received a copy of the GNU General Public License along
16 // with this library; see the file COPYING.  If not, write to the Free
17 // Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
18 // USA.
19
20 // 20.4.1.1 allocator members
21
22 #include <string>
23 #include <stdexcept>
24 #include <cstdlib>
25 #include <ext/new_allocator.h>
26
27 static size_t count;
28
29 struct count_check
30 {
31   count_check() { }
32   ~count_check()
33   {
34     if (count != 0)
35       throw std::runtime_error("allocation/deallocation count isn't zero");
36   }
37 };
38  
39 static count_check check;
40
41 void* operator new(size_t size) throw(std::bad_alloc)
42 {
43   std::printf("operator new is called \n");
44   void* p = std::malloc(size);
45   if (p == NULL)
46     throw std::bad_alloc();
47   count++;
48   return p;
49 }
50  
51 void operator delete(void* p) throw()
52 {
53   std::printf("operator delete is called \n");
54   if (p == NULL)
55     return;
56   count--;
57 }
58
59 typedef char char_t;
60 typedef std::char_traits<char_t> traits_t;
61 typedef __gnu_cxx::new_allocator<char_t> allocator_t;
62 typedef std::basic_string<char_t, traits_t, allocator_t> string_t;
63
64 int main()
65 {
66   string_t s;
67   s += "bayou bend";
68   return 0;
69 }