xref: /dflybsd-src/contrib/gcc-4.7/libstdc++-v3/include/ext/throw_allocator.h (revision 04febcfb30580676d3e95f58a16c5137ee478b32)
1*e4b17023SJohn Marino // -*- C++ -*-
2*e4b17023SJohn Marino 
3*e4b17023SJohn Marino // Copyright (C) 2005, 2006, 2007, 2008, 2009, 2010, 2011
4*e4b17023SJohn Marino // Free Software Foundation, Inc.
5*e4b17023SJohn Marino //
6*e4b17023SJohn Marino // This file is part of the GNU ISO C++ Library.  This library is free
7*e4b17023SJohn Marino // software; you can redistribute it and/or modify it under the terms
8*e4b17023SJohn Marino // of the GNU General Public License as published by the Free Software
9*e4b17023SJohn Marino // Foundation; either version 3, or (at your option) any later
10*e4b17023SJohn Marino // version.
11*e4b17023SJohn Marino 
12*e4b17023SJohn Marino // This library is distributed in the hope that it will be useful, but
13*e4b17023SJohn Marino // WITHOUT ANY WARRANTY; without even the implied warranty of
14*e4b17023SJohn Marino // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
15*e4b17023SJohn Marino // General Public License for more details.
16*e4b17023SJohn Marino 
17*e4b17023SJohn Marino // Under Section 7 of GPL version 3, you are granted additional
18*e4b17023SJohn Marino // permissions described in the GCC Runtime Library Exception, version
19*e4b17023SJohn Marino // 3.1, as published by the Free Software Foundation.
20*e4b17023SJohn Marino 
21*e4b17023SJohn Marino // You should have received a copy of the GNU General Public License and
22*e4b17023SJohn Marino // a copy of the GCC Runtime Library Exception along with this program;
23*e4b17023SJohn Marino // see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
24*e4b17023SJohn Marino // <http://www.gnu.org/licenses/>.
25*e4b17023SJohn Marino 
26*e4b17023SJohn Marino // Copyright (C) 2004 Ami Tavory and Vladimir Dreizin, IBM-HRL.
27*e4b17023SJohn Marino 
28*e4b17023SJohn Marino // Permission to use, copy, modify, sell, and distribute this software
29*e4b17023SJohn Marino // is hereby granted without fee, provided that the above copyright
30*e4b17023SJohn Marino // notice appears in all copies, and that both that copyright notice
31*e4b17023SJohn Marino // and this permission notice appear in supporting documentation. None
32*e4b17023SJohn Marino // of the above authors, nor IBM Haifa Research Laboratories, make any
33*e4b17023SJohn Marino // representation about the suitability of this software for any
34*e4b17023SJohn Marino // purpose. It is provided "as is" without express or implied
35*e4b17023SJohn Marino // warranty.
36*e4b17023SJohn Marino 
37*e4b17023SJohn Marino /** @file ext/throw_allocator.h
38*e4b17023SJohn Marino  *  This file is a GNU extension to the Standard C++ Library.
39*e4b17023SJohn Marino  *
40*e4b17023SJohn Marino  *  Contains two exception-generating types (throw_value, throw_allocator)
41*e4b17023SJohn Marino  *  intended to be used as value and allocator types while testing
42*e4b17023SJohn Marino  *  exception safety in templatized containers and algorithms. The
43*e4b17023SJohn Marino  *  allocator has additional log and debug features. The exception
44*e4b17023SJohn Marino  *  generated is of type forced_exception_error.
45*e4b17023SJohn Marino  */
46*e4b17023SJohn Marino 
47*e4b17023SJohn Marino #ifndef _THROW_ALLOCATOR_H
48*e4b17023SJohn Marino #define _THROW_ALLOCATOR_H 1
49*e4b17023SJohn Marino 
50*e4b17023SJohn Marino #include <cmath>
51*e4b17023SJohn Marino #include <ctime>
52*e4b17023SJohn Marino #include <map>
53*e4b17023SJohn Marino #include <string>
54*e4b17023SJohn Marino #include <ostream>
55*e4b17023SJohn Marino #include <stdexcept>
56*e4b17023SJohn Marino #include <utility>
57*e4b17023SJohn Marino #include <bits/functexcept.h>
58*e4b17023SJohn Marino #include <bits/move.h>
59*e4b17023SJohn Marino #ifdef __GXX_EXPERIMENTAL_CXX0X__
60*e4b17023SJohn Marino # include <functional>
61*e4b17023SJohn Marino # include <random>
62*e4b17023SJohn Marino #else
63*e4b17023SJohn Marino # include <tr1/functional>
64*e4b17023SJohn Marino # include <tr1/random>
65*e4b17023SJohn Marino #endif
66*e4b17023SJohn Marino 
_GLIBCXX_VISIBILITY(default)67*e4b17023SJohn Marino namespace __gnu_cxx _GLIBCXX_VISIBILITY(default)
68*e4b17023SJohn Marino {
69*e4b17023SJohn Marino _GLIBCXX_BEGIN_NAMESPACE_VERSION
70*e4b17023SJohn Marino 
71*e4b17023SJohn Marino   /**
72*e4b17023SJohn Marino    *  @brief Thown by exception safety machinery.
73*e4b17023SJohn Marino    *  @ingroup exceptions
74*e4b17023SJohn Marino    */
75*e4b17023SJohn Marino   struct forced_error : public std::exception
76*e4b17023SJohn Marino   { };
77*e4b17023SJohn Marino 
78*e4b17023SJohn Marino   // Substitute for forced_error object when -fno-exceptions.
79*e4b17023SJohn Marino   inline void
80*e4b17023SJohn Marino   __throw_forced_error()
81*e4b17023SJohn Marino   {
82*e4b17023SJohn Marino #if __EXCEPTIONS
83*e4b17023SJohn Marino     throw forced_error();
84*e4b17023SJohn Marino #else
85*e4b17023SJohn Marino     __builtin_abort();
86*e4b17023SJohn Marino #endif
87*e4b17023SJohn Marino   }
88*e4b17023SJohn Marino 
89*e4b17023SJohn Marino 
90*e4b17023SJohn Marino   /**
91*e4b17023SJohn Marino    *  @brief Base class for checking address and label information
92*e4b17023SJohn Marino    *  about allocations. Create a std::map between the allocated
93*e4b17023SJohn Marino    *  address (void*) and a datum for annotations, which are a pair of
94*e4b17023SJohn Marino    *  numbers corresponding to label and allocated size.
95*e4b17023SJohn Marino    */
96*e4b17023SJohn Marino   struct annotate_base
97*e4b17023SJohn Marino   {
98*e4b17023SJohn Marino     annotate_base()
99*e4b17023SJohn Marino     {
100*e4b17023SJohn Marino       label();
101*e4b17023SJohn Marino       map();
102*e4b17023SJohn Marino     }
103*e4b17023SJohn Marino 
104*e4b17023SJohn Marino     static void
105*e4b17023SJohn Marino     set_label(size_t l)
106*e4b17023SJohn Marino     { label() = l; }
107*e4b17023SJohn Marino 
108*e4b17023SJohn Marino     static size_t
109*e4b17023SJohn Marino     get_label()
110*e4b17023SJohn Marino     { return label(); }
111*e4b17023SJohn Marino 
112*e4b17023SJohn Marino     void
113*e4b17023SJohn Marino     insert(void* p, size_t size)
114*e4b17023SJohn Marino     {
115*e4b17023SJohn Marino       if (!p)
116*e4b17023SJohn Marino 	{
117*e4b17023SJohn Marino 	  std::string error("annotate_base::insert null insert!\n");
118*e4b17023SJohn Marino 	  log_to_string(error, make_entry(p, size));
119*e4b17023SJohn Marino 	  std::__throw_logic_error(error.c_str());
120*e4b17023SJohn Marino 	}
121*e4b17023SJohn Marino 
122*e4b17023SJohn Marino       const_iterator found = map().find(p);
123*e4b17023SJohn Marino       if (found != map().end())
124*e4b17023SJohn Marino 	{
125*e4b17023SJohn Marino 	  std::string error("annotate_base::insert double insert!\n");
126*e4b17023SJohn Marino 	  log_to_string(error, make_entry(p, size));
127*e4b17023SJohn Marino 	  log_to_string(error, *found);
128*e4b17023SJohn Marino 	  std::__throw_logic_error(error.c_str());
129*e4b17023SJohn Marino 	}
130*e4b17023SJohn Marino 
131*e4b17023SJohn Marino       map().insert(make_entry(p, size));
132*e4b17023SJohn Marino     }
133*e4b17023SJohn Marino 
134*e4b17023SJohn Marino     void
135*e4b17023SJohn Marino     erase(void* p, size_t size)
136*e4b17023SJohn Marino     {
137*e4b17023SJohn Marino       check_allocated(p, size);
138*e4b17023SJohn Marino       map().erase(p);
139*e4b17023SJohn Marino     }
140*e4b17023SJohn Marino 
141*e4b17023SJohn Marino     // See if a particular address and allocation size has been saved.
142*e4b17023SJohn Marino     inline void
143*e4b17023SJohn Marino     check_allocated(void* p, size_t size)
144*e4b17023SJohn Marino     {
145*e4b17023SJohn Marino       const_iterator found = map().find(p);
146*e4b17023SJohn Marino       if (found == map().end())
147*e4b17023SJohn Marino 	{
148*e4b17023SJohn Marino 	  std::string error("annotate_base::check_allocated by value "
149*e4b17023SJohn Marino 			    "null erase!\n");
150*e4b17023SJohn Marino 	  log_to_string(error, make_entry(p, size));
151*e4b17023SJohn Marino 	  std::__throw_logic_error(error.c_str());
152*e4b17023SJohn Marino 	}
153*e4b17023SJohn Marino 
154*e4b17023SJohn Marino       if (found->second.second != size)
155*e4b17023SJohn Marino 	{
156*e4b17023SJohn Marino 	  std::string error("annotate_base::check_allocated by value "
157*e4b17023SJohn Marino 			    "wrong-size erase!\n");
158*e4b17023SJohn Marino 	  log_to_string(error, make_entry(p, size));
159*e4b17023SJohn Marino 	  log_to_string(error, *found);
160*e4b17023SJohn Marino 	  std::__throw_logic_error(error.c_str());
161*e4b17023SJohn Marino 	}
162*e4b17023SJohn Marino     }
163*e4b17023SJohn Marino 
164*e4b17023SJohn Marino     // See if a given label has been allocated.
165*e4b17023SJohn Marino     inline void
166*e4b17023SJohn Marino     check_allocated(size_t label)
167*e4b17023SJohn Marino     {
168*e4b17023SJohn Marino       const_iterator beg = map().begin();
169*e4b17023SJohn Marino       const_iterator end = map().end();
170*e4b17023SJohn Marino       std::string found;
171*e4b17023SJohn Marino       while (beg != end)
172*e4b17023SJohn Marino 	{
173*e4b17023SJohn Marino 	  if (beg->second.first == label)
174*e4b17023SJohn Marino 	    log_to_string(found, *beg);
175*e4b17023SJohn Marino 	  ++beg;
176*e4b17023SJohn Marino 	}
177*e4b17023SJohn Marino 
178*e4b17023SJohn Marino       if (!found.empty())
179*e4b17023SJohn Marino 	{
180*e4b17023SJohn Marino 	  std::string error("annotate_base::check_allocated by label\n");
181*e4b17023SJohn Marino 	  error += found;
182*e4b17023SJohn Marino 	  std::__throw_logic_error(error.c_str());
183*e4b17023SJohn Marino 	}
184*e4b17023SJohn Marino     }
185*e4b17023SJohn Marino 
186*e4b17023SJohn Marino   private:
187*e4b17023SJohn Marino     typedef std::pair<size_t, size_t> 		data_type;
188*e4b17023SJohn Marino     typedef std::map<void*, data_type> 		map_type;
189*e4b17023SJohn Marino     typedef map_type::value_type 		entry_type;
190*e4b17023SJohn Marino     typedef map_type::const_iterator 		const_iterator;
191*e4b17023SJohn Marino     typedef map_type::const_reference 		const_reference;
192*e4b17023SJohn Marino 
193*e4b17023SJohn Marino     friend std::ostream&
194*e4b17023SJohn Marino     operator<<(std::ostream&, const annotate_base&);
195*e4b17023SJohn Marino 
196*e4b17023SJohn Marino     entry_type
197*e4b17023SJohn Marino     make_entry(void* p, size_t size)
198*e4b17023SJohn Marino     { return std::make_pair(p, data_type(get_label(), size)); }
199*e4b17023SJohn Marino 
200*e4b17023SJohn Marino     void
201*e4b17023SJohn Marino     log_to_string(std::string& s, const_reference ref) const
202*e4b17023SJohn Marino     {
203*e4b17023SJohn Marino       char buf[40];
204*e4b17023SJohn Marino       const char tab('\t');
205*e4b17023SJohn Marino       s += "label: ";
206*e4b17023SJohn Marino       unsigned long l = static_cast<unsigned long>(ref.second.first);
207*e4b17023SJohn Marino       __builtin_sprintf(buf, "%lu", l);
208*e4b17023SJohn Marino       s += buf;
209*e4b17023SJohn Marino       s += tab;
210*e4b17023SJohn Marino       s += "size: ";
211*e4b17023SJohn Marino       l = static_cast<unsigned long>(ref.second.second);
212*e4b17023SJohn Marino       __builtin_sprintf(buf, "%lu", l);
213*e4b17023SJohn Marino       s += buf;
214*e4b17023SJohn Marino       s += tab;
215*e4b17023SJohn Marino       s += "address: ";
216*e4b17023SJohn Marino       __builtin_sprintf(buf, "%p", ref.first);
217*e4b17023SJohn Marino       s += buf;
218*e4b17023SJohn Marino       s += '\n';
219*e4b17023SJohn Marino     }
220*e4b17023SJohn Marino 
221*e4b17023SJohn Marino     static size_t&
222*e4b17023SJohn Marino     label()
223*e4b17023SJohn Marino     {
224*e4b17023SJohn Marino       static size_t _S_label(std::numeric_limits<size_t>::max());
225*e4b17023SJohn Marino       return _S_label;
226*e4b17023SJohn Marino     }
227*e4b17023SJohn Marino 
228*e4b17023SJohn Marino     static map_type&
229*e4b17023SJohn Marino     map()
230*e4b17023SJohn Marino     {
231*e4b17023SJohn Marino       static map_type _S_map;
232*e4b17023SJohn Marino       return _S_map;
233*e4b17023SJohn Marino     }
234*e4b17023SJohn Marino   };
235*e4b17023SJohn Marino 
236*e4b17023SJohn Marino   inline std::ostream&
237*e4b17023SJohn Marino   operator<<(std::ostream& os, const annotate_base& __b)
238*e4b17023SJohn Marino   {
239*e4b17023SJohn Marino     std::string error;
240*e4b17023SJohn Marino     typedef annotate_base base_type;
241*e4b17023SJohn Marino     base_type::const_iterator beg = __b.map().begin();
242*e4b17023SJohn Marino     base_type::const_iterator end = __b.map().end();
243*e4b17023SJohn Marino     for (; beg != end; ++beg)
244*e4b17023SJohn Marino       __b.log_to_string(error, *beg);
245*e4b17023SJohn Marino     return os << error;
246*e4b17023SJohn Marino   }
247*e4b17023SJohn Marino 
248*e4b17023SJohn Marino 
249*e4b17023SJohn Marino   /**
250*e4b17023SJohn Marino    *  @brief Base struct for condition policy.
251*e4b17023SJohn Marino    *
252*e4b17023SJohn Marino    * Requires a public member function with the signature
253*e4b17023SJohn Marino    * void throw_conditionally()
254*e4b17023SJohn Marino    */
255*e4b17023SJohn Marino   struct condition_base
256*e4b17023SJohn Marino   {
257*e4b17023SJohn Marino     virtual ~condition_base() { };
258*e4b17023SJohn Marino   };
259*e4b17023SJohn Marino 
260*e4b17023SJohn Marino 
261*e4b17023SJohn Marino   /**
262*e4b17023SJohn Marino    *  @brief Base class for incremental control and throw.
263*e4b17023SJohn Marino    */
264*e4b17023SJohn Marino   struct limit_condition : public condition_base
265*e4b17023SJohn Marino   {
266*e4b17023SJohn Marino     // Scope-level adjustor objects: set limit for throw at the
267*e4b17023SJohn Marino     // beginning of a scope block, and restores to previous limit when
268*e4b17023SJohn Marino     // object is destroyed on exiting the block.
269*e4b17023SJohn Marino     struct adjustor_base
270*e4b17023SJohn Marino     {
271*e4b17023SJohn Marino     private:
272*e4b17023SJohn Marino       const size_t _M_orig;
273*e4b17023SJohn Marino 
274*e4b17023SJohn Marino     public:
275*e4b17023SJohn Marino       adjustor_base() : _M_orig(limit()) { }
276*e4b17023SJohn Marino 
277*e4b17023SJohn Marino       virtual
278*e4b17023SJohn Marino       ~adjustor_base() { set_limit(_M_orig); }
279*e4b17023SJohn Marino     };
280*e4b17023SJohn Marino 
281*e4b17023SJohn Marino     /// Never enter the condition.
282*e4b17023SJohn Marino     struct never_adjustor : public adjustor_base
283*e4b17023SJohn Marino     {
284*e4b17023SJohn Marino       never_adjustor() { set_limit(std::numeric_limits<size_t>::max()); }
285*e4b17023SJohn Marino     };
286*e4b17023SJohn Marino 
287*e4b17023SJohn Marino     /// Always enter the condition.
288*e4b17023SJohn Marino     struct always_adjustor : public adjustor_base
289*e4b17023SJohn Marino     {
290*e4b17023SJohn Marino       always_adjustor() { set_limit(count()); }
291*e4b17023SJohn Marino     };
292*e4b17023SJohn Marino 
293*e4b17023SJohn Marino     /// Enter the nth condition.
294*e4b17023SJohn Marino     struct limit_adjustor : public adjustor_base
295*e4b17023SJohn Marino     {
296*e4b17023SJohn Marino       limit_adjustor(const size_t __l) { set_limit(__l); }
297*e4b17023SJohn Marino     };
298*e4b17023SJohn Marino 
299*e4b17023SJohn Marino     // Increment _S_count every time called.
300*e4b17023SJohn Marino     // If _S_count matches the limit count, throw.
301*e4b17023SJohn Marino     static void
302*e4b17023SJohn Marino     throw_conditionally()
303*e4b17023SJohn Marino     {
304*e4b17023SJohn Marino       if (count() == limit())
305*e4b17023SJohn Marino 	__throw_forced_error();
306*e4b17023SJohn Marino       ++count();
307*e4b17023SJohn Marino     }
308*e4b17023SJohn Marino 
309*e4b17023SJohn Marino     static size_t&
310*e4b17023SJohn Marino     count()
311*e4b17023SJohn Marino     {
312*e4b17023SJohn Marino       static size_t _S_count(0);
313*e4b17023SJohn Marino       return _S_count;
314*e4b17023SJohn Marino     }
315*e4b17023SJohn Marino 
316*e4b17023SJohn Marino     static size_t&
317*e4b17023SJohn Marino     limit()
318*e4b17023SJohn Marino     {
319*e4b17023SJohn Marino       static size_t _S_limit(std::numeric_limits<size_t>::max());
320*e4b17023SJohn Marino       return _S_limit;
321*e4b17023SJohn Marino     }
322*e4b17023SJohn Marino 
323*e4b17023SJohn Marino     // Zero the throw counter, set limit to argument.
324*e4b17023SJohn Marino     static void
325*e4b17023SJohn Marino     set_limit(const size_t __l)
326*e4b17023SJohn Marino     {
327*e4b17023SJohn Marino       limit() = __l;
328*e4b17023SJohn Marino       count() = 0;
329*e4b17023SJohn Marino     }
330*e4b17023SJohn Marino   };
331*e4b17023SJohn Marino 
332*e4b17023SJohn Marino 
333*e4b17023SJohn Marino   /**
334*e4b17023SJohn Marino    *  @brief Base class for random probability control and throw.
335*e4b17023SJohn Marino    */
336*e4b17023SJohn Marino   struct random_condition : public condition_base
337*e4b17023SJohn Marino   {
338*e4b17023SJohn Marino     // Scope-level adjustor objects: set probability for throw at the
339*e4b17023SJohn Marino     // beginning of a scope block, and restores to previous
340*e4b17023SJohn Marino     // probability when object is destroyed on exiting the block.
341*e4b17023SJohn Marino     struct adjustor_base
342*e4b17023SJohn Marino     {
343*e4b17023SJohn Marino     private:
344*e4b17023SJohn Marino       const double _M_orig;
345*e4b17023SJohn Marino 
346*e4b17023SJohn Marino     public:
347*e4b17023SJohn Marino       adjustor_base() : _M_orig(probability()) { }
348*e4b17023SJohn Marino 
349*e4b17023SJohn Marino       virtual ~adjustor_base()
350*e4b17023SJohn Marino       { set_probability(_M_orig); }
351*e4b17023SJohn Marino     };
352*e4b17023SJohn Marino 
353*e4b17023SJohn Marino     /// Group condition.
354*e4b17023SJohn Marino     struct group_adjustor : public adjustor_base
355*e4b17023SJohn Marino     {
356*e4b17023SJohn Marino       group_adjustor(size_t size)
357*e4b17023SJohn Marino       { set_probability(1 - std::pow(double(1 - probability()),
358*e4b17023SJohn Marino 				     double(0.5 / (size + 1))));
359*e4b17023SJohn Marino       }
360*e4b17023SJohn Marino     };
361*e4b17023SJohn Marino 
362*e4b17023SJohn Marino     /// Never enter the condition.
363*e4b17023SJohn Marino     struct never_adjustor : public adjustor_base
364*e4b17023SJohn Marino     {
365*e4b17023SJohn Marino       never_adjustor() { set_probability(0); }
366*e4b17023SJohn Marino     };
367*e4b17023SJohn Marino 
368*e4b17023SJohn Marino     /// Always enter the condition.
369*e4b17023SJohn Marino     struct always_adjustor : public adjustor_base
370*e4b17023SJohn Marino     {
371*e4b17023SJohn Marino       always_adjustor() { set_probability(1); }
372*e4b17023SJohn Marino     };
373*e4b17023SJohn Marino 
374*e4b17023SJohn Marino     random_condition()
375*e4b17023SJohn Marino     {
376*e4b17023SJohn Marino       probability();
377*e4b17023SJohn Marino       engine();
378*e4b17023SJohn Marino     }
379*e4b17023SJohn Marino 
380*e4b17023SJohn Marino     static void
381*e4b17023SJohn Marino     set_probability(double __p)
382*e4b17023SJohn Marino     { probability() = __p; }
383*e4b17023SJohn Marino 
384*e4b17023SJohn Marino     static void
385*e4b17023SJohn Marino     throw_conditionally()
386*e4b17023SJohn Marino     {
387*e4b17023SJohn Marino       if (generate() < probability())
388*e4b17023SJohn Marino 	__throw_forced_error();
389*e4b17023SJohn Marino     }
390*e4b17023SJohn Marino 
391*e4b17023SJohn Marino     void
392*e4b17023SJohn Marino     seed(unsigned long __s)
393*e4b17023SJohn Marino     { engine().seed(__s); }
394*e4b17023SJohn Marino 
395*e4b17023SJohn Marino   private:
396*e4b17023SJohn Marino #ifdef __GXX_EXPERIMENTAL_CXX0X__
397*e4b17023SJohn Marino     typedef std::uniform_real_distribution<double> 	distribution_type;
398*e4b17023SJohn Marino     typedef std::mt19937 				engine_type;
399*e4b17023SJohn Marino #else
400*e4b17023SJohn Marino     typedef std::tr1::uniform_real<double> 		distribution_type;
401*e4b17023SJohn Marino     typedef std::tr1::mt19937 				engine_type;
402*e4b17023SJohn Marino #endif
403*e4b17023SJohn Marino 
404*e4b17023SJohn Marino     static double
405*e4b17023SJohn Marino     generate()
406*e4b17023SJohn Marino     {
407*e4b17023SJohn Marino #ifdef __GXX_EXPERIMENTAL_CXX0X__
408*e4b17023SJohn Marino       const distribution_type distribution(0, 1);
409*e4b17023SJohn Marino       static auto generator = std::bind(distribution, engine());
410*e4b17023SJohn Marino #else
411*e4b17023SJohn Marino       // Use variate_generator to get normalized results.
412*e4b17023SJohn Marino       typedef std::tr1::variate_generator<engine_type, distribution_type> gen_t;
413*e4b17023SJohn Marino       distribution_type distribution(0, 1);
414*e4b17023SJohn Marino       static gen_t generator(engine(), distribution);
415*e4b17023SJohn Marino #endif
416*e4b17023SJohn Marino 
417*e4b17023SJohn Marino       double random = generator();
418*e4b17023SJohn Marino       if (random < distribution.min() || random > distribution.max())
419*e4b17023SJohn Marino 	{
420*e4b17023SJohn Marino 	  std::string __s("random_condition::generate");
421*e4b17023SJohn Marino 	  __s += "\n";
422*e4b17023SJohn Marino 	  __s += "random number generated is: ";
423*e4b17023SJohn Marino 	  char buf[40];
424*e4b17023SJohn Marino 	  __builtin_sprintf(buf, "%f", random);
425*e4b17023SJohn Marino 	  __s += buf;
426*e4b17023SJohn Marino 	  std::__throw_out_of_range(__s.c_str());
427*e4b17023SJohn Marino 	}
428*e4b17023SJohn Marino 
429*e4b17023SJohn Marino       return random;
430*e4b17023SJohn Marino     }
431*e4b17023SJohn Marino 
432*e4b17023SJohn Marino     static double&
433*e4b17023SJohn Marino     probability()
434*e4b17023SJohn Marino     {
435*e4b17023SJohn Marino       static double _S_p;
436*e4b17023SJohn Marino       return _S_p;
437*e4b17023SJohn Marino     }
438*e4b17023SJohn Marino 
439*e4b17023SJohn Marino     static engine_type&
440*e4b17023SJohn Marino     engine()
441*e4b17023SJohn Marino     {
442*e4b17023SJohn Marino       static engine_type _S_e;
443*e4b17023SJohn Marino       return _S_e;
444*e4b17023SJohn Marino     }
445*e4b17023SJohn Marino   };
446*e4b17023SJohn Marino 
447*e4b17023SJohn Marino 
448*e4b17023SJohn Marino   /**
449*e4b17023SJohn Marino    *  @brief Class with exception generation control. Intended to be
450*e4b17023SJohn Marino    *  used as a value_type in templatized code.
451*e4b17023SJohn Marino    *
452*e4b17023SJohn Marino    *  Note: Destructor not allowed to throw.
453*e4b17023SJohn Marino    */
454*e4b17023SJohn Marino   template<typename _Cond>
455*e4b17023SJohn Marino     struct throw_value_base : public _Cond
456*e4b17023SJohn Marino     {
457*e4b17023SJohn Marino       typedef _Cond  				condition_type;
458*e4b17023SJohn Marino 
459*e4b17023SJohn Marino       using condition_type::throw_conditionally;
460*e4b17023SJohn Marino 
461*e4b17023SJohn Marino       std::size_t			       	_M_i;
462*e4b17023SJohn Marino 
463*e4b17023SJohn Marino #ifndef _GLIBCXX_IS_AGGREGATE
464*e4b17023SJohn Marino       throw_value_base() : _M_i(0)
465*e4b17023SJohn Marino       { throw_conditionally(); }
466*e4b17023SJohn Marino 
467*e4b17023SJohn Marino       throw_value_base(const throw_value_base& __v) : _M_i(__v._M_i)
468*e4b17023SJohn Marino       { throw_conditionally(); }
469*e4b17023SJohn Marino 
470*e4b17023SJohn Marino       explicit throw_value_base(const std::size_t __i) : _M_i(__i)
471*e4b17023SJohn Marino       { throw_conditionally(); }
472*e4b17023SJohn Marino #endif
473*e4b17023SJohn Marino 
474*e4b17023SJohn Marino       throw_value_base&
475*e4b17023SJohn Marino       operator=(const throw_value_base& __v)
476*e4b17023SJohn Marino       {
477*e4b17023SJohn Marino 	throw_conditionally();
478*e4b17023SJohn Marino 	_M_i = __v._M_i;
479*e4b17023SJohn Marino 	return *this;
480*e4b17023SJohn Marino       }
481*e4b17023SJohn Marino 
482*e4b17023SJohn Marino       throw_value_base&
483*e4b17023SJohn Marino       operator++()
484*e4b17023SJohn Marino       {
485*e4b17023SJohn Marino 	throw_conditionally();
486*e4b17023SJohn Marino 	++_M_i;
487*e4b17023SJohn Marino 	return *this;
488*e4b17023SJohn Marino       }
489*e4b17023SJohn Marino     };
490*e4b17023SJohn Marino 
491*e4b17023SJohn Marino   template<typename _Cond>
492*e4b17023SJohn Marino     inline void
493*e4b17023SJohn Marino     swap(throw_value_base<_Cond>& __a, throw_value_base<_Cond>& __b)
494*e4b17023SJohn Marino     {
495*e4b17023SJohn Marino       typedef throw_value_base<_Cond> throw_value;
496*e4b17023SJohn Marino       throw_value::throw_conditionally();
497*e4b17023SJohn Marino       throw_value orig(__a);
498*e4b17023SJohn Marino       __a = __b;
499*e4b17023SJohn Marino       __b = orig;
500*e4b17023SJohn Marino     }
501*e4b17023SJohn Marino 
502*e4b17023SJohn Marino   // General instantiable types requirements.
503*e4b17023SJohn Marino   template<typename _Cond>
504*e4b17023SJohn Marino     inline bool
505*e4b17023SJohn Marino     operator==(const throw_value_base<_Cond>& __a,
506*e4b17023SJohn Marino 	       const throw_value_base<_Cond>& __b)
507*e4b17023SJohn Marino     {
508*e4b17023SJohn Marino       typedef throw_value_base<_Cond> throw_value;
509*e4b17023SJohn Marino       throw_value::throw_conditionally();
510*e4b17023SJohn Marino       bool __ret = __a._M_i == __b._M_i;
511*e4b17023SJohn Marino       return __ret;
512*e4b17023SJohn Marino     }
513*e4b17023SJohn Marino 
514*e4b17023SJohn Marino   template<typename _Cond>
515*e4b17023SJohn Marino     inline bool
516*e4b17023SJohn Marino     operator<(const throw_value_base<_Cond>& __a,
517*e4b17023SJohn Marino 	      const throw_value_base<_Cond>& __b)
518*e4b17023SJohn Marino     {
519*e4b17023SJohn Marino       typedef throw_value_base<_Cond> throw_value;
520*e4b17023SJohn Marino       throw_value::throw_conditionally();
521*e4b17023SJohn Marino       bool __ret = __a._M_i < __b._M_i;
522*e4b17023SJohn Marino       return __ret;
523*e4b17023SJohn Marino     }
524*e4b17023SJohn Marino 
525*e4b17023SJohn Marino   // Numeric algorithms instantiable types requirements.
526*e4b17023SJohn Marino   template<typename _Cond>
527*e4b17023SJohn Marino     inline throw_value_base<_Cond>
528*e4b17023SJohn Marino     operator+(const throw_value_base<_Cond>& __a,
529*e4b17023SJohn Marino 	      const throw_value_base<_Cond>& __b)
530*e4b17023SJohn Marino     {
531*e4b17023SJohn Marino       typedef throw_value_base<_Cond> throw_value;
532*e4b17023SJohn Marino       throw_value::throw_conditionally();
533*e4b17023SJohn Marino       throw_value __ret(__a._M_i + __b._M_i);
534*e4b17023SJohn Marino       return __ret;
535*e4b17023SJohn Marino     }
536*e4b17023SJohn Marino 
537*e4b17023SJohn Marino   template<typename _Cond>
538*e4b17023SJohn Marino     inline throw_value_base<_Cond>
539*e4b17023SJohn Marino     operator-(const throw_value_base<_Cond>& __a,
540*e4b17023SJohn Marino 	      const throw_value_base<_Cond>& __b)
541*e4b17023SJohn Marino     {
542*e4b17023SJohn Marino       typedef throw_value_base<_Cond> throw_value;
543*e4b17023SJohn Marino       throw_value::throw_conditionally();
544*e4b17023SJohn Marino       throw_value __ret(__a._M_i - __b._M_i);
545*e4b17023SJohn Marino       return __ret;
546*e4b17023SJohn Marino     }
547*e4b17023SJohn Marino 
548*e4b17023SJohn Marino   template<typename _Cond>
549*e4b17023SJohn Marino     inline throw_value_base<_Cond>
550*e4b17023SJohn Marino     operator*(const throw_value_base<_Cond>& __a,
551*e4b17023SJohn Marino 	      const throw_value_base<_Cond>& __b)
552*e4b17023SJohn Marino     {
553*e4b17023SJohn Marino       typedef throw_value_base<_Cond> throw_value;
554*e4b17023SJohn Marino       throw_value::throw_conditionally();
555*e4b17023SJohn Marino       throw_value __ret(__a._M_i * __b._M_i);
556*e4b17023SJohn Marino       return __ret;
557*e4b17023SJohn Marino     }
558*e4b17023SJohn Marino 
559*e4b17023SJohn Marino 
560*e4b17023SJohn Marino   /// Type throwing via limit condition.
561*e4b17023SJohn Marino   struct throw_value_limit : public throw_value_base<limit_condition>
562*e4b17023SJohn Marino   {
563*e4b17023SJohn Marino     typedef throw_value_base<limit_condition> base_type;
564*e4b17023SJohn Marino 
565*e4b17023SJohn Marino #ifndef _GLIBCXX_IS_AGGREGATE
566*e4b17023SJohn Marino     throw_value_limit() { }
567*e4b17023SJohn Marino 
568*e4b17023SJohn Marino     throw_value_limit(const throw_value_limit& __other)
569*e4b17023SJohn Marino     : base_type(__other._M_i) { }
570*e4b17023SJohn Marino 
571*e4b17023SJohn Marino     explicit throw_value_limit(const std::size_t __i) : base_type(__i) { }
572*e4b17023SJohn Marino #endif
573*e4b17023SJohn Marino   };
574*e4b17023SJohn Marino 
575*e4b17023SJohn Marino   /// Type throwing via random condition.
576*e4b17023SJohn Marino   struct throw_value_random : public throw_value_base<random_condition>
577*e4b17023SJohn Marino   {
578*e4b17023SJohn Marino     typedef throw_value_base<random_condition> base_type;
579*e4b17023SJohn Marino 
580*e4b17023SJohn Marino #ifndef _GLIBCXX_IS_AGGREGATE
581*e4b17023SJohn Marino     throw_value_random() { }
582*e4b17023SJohn Marino 
583*e4b17023SJohn Marino     throw_value_random(const throw_value_random& __other)
584*e4b17023SJohn Marino     : base_type(__other._M_i) { }
585*e4b17023SJohn Marino 
586*e4b17023SJohn Marino 
587*e4b17023SJohn Marino     explicit throw_value_random(const std::size_t __i) : base_type(__i) { }
588*e4b17023SJohn Marino #endif
589*e4b17023SJohn Marino   };
590*e4b17023SJohn Marino 
591*e4b17023SJohn Marino 
592*e4b17023SJohn Marino   /**
593*e4b17023SJohn Marino    *  @brief Allocator class with logging and exception generation control.
594*e4b17023SJohn Marino    * Intended to be used as an allocator_type in templatized code.
595*e4b17023SJohn Marino    *  @ingroup allocators
596*e4b17023SJohn Marino    *
597*e4b17023SJohn Marino    *  Note: Deallocate not allowed to throw.
598*e4b17023SJohn Marino    */
599*e4b17023SJohn Marino   template<typename _Tp, typename _Cond>
600*e4b17023SJohn Marino     class throw_allocator_base
601*e4b17023SJohn Marino     : public annotate_base, public _Cond
602*e4b17023SJohn Marino     {
603*e4b17023SJohn Marino     public:
604*e4b17023SJohn Marino       typedef size_t 				size_type;
605*e4b17023SJohn Marino       typedef ptrdiff_t 			difference_type;
606*e4b17023SJohn Marino       typedef _Tp 				value_type;
607*e4b17023SJohn Marino       typedef value_type* 			pointer;
608*e4b17023SJohn Marino       typedef const value_type* 		const_pointer;
609*e4b17023SJohn Marino       typedef value_type& 			reference;
610*e4b17023SJohn Marino       typedef const value_type& 		const_reference;
611*e4b17023SJohn Marino 
612*e4b17023SJohn Marino     private:
613*e4b17023SJohn Marino       typedef _Cond				condition_type;
614*e4b17023SJohn Marino 
615*e4b17023SJohn Marino       std::allocator<value_type> 		_M_allocator;
616*e4b17023SJohn Marino 
617*e4b17023SJohn Marino       using condition_type::throw_conditionally;
618*e4b17023SJohn Marino 
619*e4b17023SJohn Marino     public:
620*e4b17023SJohn Marino       size_type
621*e4b17023SJohn Marino       max_size() const _GLIBCXX_USE_NOEXCEPT
622*e4b17023SJohn Marino       { return _M_allocator.max_size(); }
623*e4b17023SJohn Marino 
624*e4b17023SJohn Marino       pointer
625*e4b17023SJohn Marino       address(reference __x) const _GLIBCXX_NOEXCEPT
626*e4b17023SJohn Marino       { return std::__addressof(__x); }
627*e4b17023SJohn Marino 
628*e4b17023SJohn Marino       const_pointer
629*e4b17023SJohn Marino       address(const_reference __x) const _GLIBCXX_NOEXCEPT
630*e4b17023SJohn Marino       { return std::__addressof(__x); }
631*e4b17023SJohn Marino 
632*e4b17023SJohn Marino       pointer
633*e4b17023SJohn Marino       allocate(size_type __n, std::allocator<void>::const_pointer hint = 0)
634*e4b17023SJohn Marino       {
635*e4b17023SJohn Marino 	if (__n > this->max_size())
636*e4b17023SJohn Marino 	  std::__throw_bad_alloc();
637*e4b17023SJohn Marino 
638*e4b17023SJohn Marino 	throw_conditionally();
639*e4b17023SJohn Marino 	pointer const a = _M_allocator.allocate(__n, hint);
640*e4b17023SJohn Marino 	insert(a, sizeof(value_type) * __n);
641*e4b17023SJohn Marino 	return a;
642*e4b17023SJohn Marino       }
643*e4b17023SJohn Marino 
644*e4b17023SJohn Marino #ifdef __GXX_EXPERIMENTAL_CXX0X__
645*e4b17023SJohn Marino       template<typename _Up, typename... _Args>
646*e4b17023SJohn Marino         void
647*e4b17023SJohn Marino         construct(_Up* __p, _Args&&... __args)
648*e4b17023SJohn Marino 	{ return _M_allocator.construct(__p, std::forward<_Args>(__args)...); }
649*e4b17023SJohn Marino 
650*e4b17023SJohn Marino       template<typename _Up>
651*e4b17023SJohn Marino         void
652*e4b17023SJohn Marino         destroy(_Up* __p)
653*e4b17023SJohn Marino         { _M_allocator.destroy(__p); }
654*e4b17023SJohn Marino #else
655*e4b17023SJohn Marino       void
656*e4b17023SJohn Marino       construct(pointer __p, const value_type& val)
657*e4b17023SJohn Marino       { return _M_allocator.construct(__p, val); }
658*e4b17023SJohn Marino 
659*e4b17023SJohn Marino       void
660*e4b17023SJohn Marino       destroy(pointer __p)
661*e4b17023SJohn Marino       { _M_allocator.destroy(__p); }
662*e4b17023SJohn Marino #endif
663*e4b17023SJohn Marino 
664*e4b17023SJohn Marino       void
665*e4b17023SJohn Marino       deallocate(pointer __p, size_type __n)
666*e4b17023SJohn Marino       {
667*e4b17023SJohn Marino 	erase(__p, sizeof(value_type) * __n);
668*e4b17023SJohn Marino 	_M_allocator.deallocate(__p, __n);
669*e4b17023SJohn Marino       }
670*e4b17023SJohn Marino 
671*e4b17023SJohn Marino       void
672*e4b17023SJohn Marino       check_allocated(pointer __p, size_type __n)
673*e4b17023SJohn Marino       {
674*e4b17023SJohn Marino 	size_type __t = sizeof(value_type) * __n;
675*e4b17023SJohn Marino 	annotate_base::check_allocated(__p, __t);
676*e4b17023SJohn Marino       }
677*e4b17023SJohn Marino 
678*e4b17023SJohn Marino       void
679*e4b17023SJohn Marino       check_allocated(size_type __n)
680*e4b17023SJohn Marino       { annotate_base::check_allocated(__n); }
681*e4b17023SJohn Marino   };
682*e4b17023SJohn Marino 
683*e4b17023SJohn Marino   template<typename _Tp, typename _Cond>
684*e4b17023SJohn Marino     inline bool
685*e4b17023SJohn Marino     operator==(const throw_allocator_base<_Tp, _Cond>&,
686*e4b17023SJohn Marino 	       const throw_allocator_base<_Tp, _Cond>&)
687*e4b17023SJohn Marino     { return true; }
688*e4b17023SJohn Marino 
689*e4b17023SJohn Marino   template<typename _Tp, typename _Cond>
690*e4b17023SJohn Marino     inline bool
691*e4b17023SJohn Marino     operator!=(const throw_allocator_base<_Tp, _Cond>&,
692*e4b17023SJohn Marino 	       const throw_allocator_base<_Tp, _Cond>&)
693*e4b17023SJohn Marino     { return false; }
694*e4b17023SJohn Marino 
695*e4b17023SJohn Marino   /// Allocator throwing via limit condition.
696*e4b17023SJohn Marino   template<typename _Tp>
697*e4b17023SJohn Marino     struct throw_allocator_limit
698*e4b17023SJohn Marino     : public throw_allocator_base<_Tp, limit_condition>
699*e4b17023SJohn Marino     {
700*e4b17023SJohn Marino       template<typename _Tp1>
701*e4b17023SJohn Marino 	struct rebind
702*e4b17023SJohn Marino 	{ typedef throw_allocator_limit<_Tp1> other; };
703*e4b17023SJohn Marino 
704*e4b17023SJohn Marino       throw_allocator_limit() _GLIBCXX_USE_NOEXCEPT { }
705*e4b17023SJohn Marino 
706*e4b17023SJohn Marino       throw_allocator_limit(const throw_allocator_limit&)
707*e4b17023SJohn Marino       _GLIBCXX_USE_NOEXCEPT { }
708*e4b17023SJohn Marino 
709*e4b17023SJohn Marino       template<typename _Tp1>
710*e4b17023SJohn Marino 	throw_allocator_limit(const throw_allocator_limit<_Tp1>&)
711*e4b17023SJohn Marino 	_GLIBCXX_USE_NOEXCEPT { }
712*e4b17023SJohn Marino 
713*e4b17023SJohn Marino       ~throw_allocator_limit() _GLIBCXX_USE_NOEXCEPT { }
714*e4b17023SJohn Marino     };
715*e4b17023SJohn Marino 
716*e4b17023SJohn Marino   /// Allocator throwing via random condition.
717*e4b17023SJohn Marino   template<typename _Tp>
718*e4b17023SJohn Marino     struct throw_allocator_random
719*e4b17023SJohn Marino     : public throw_allocator_base<_Tp, random_condition>
720*e4b17023SJohn Marino     {
721*e4b17023SJohn Marino       template<typename _Tp1>
722*e4b17023SJohn Marino 	struct rebind
723*e4b17023SJohn Marino 	{ typedef throw_allocator_random<_Tp1> other; };
724*e4b17023SJohn Marino 
725*e4b17023SJohn Marino       throw_allocator_random() _GLIBCXX_USE_NOEXCEPT { }
726*e4b17023SJohn Marino 
727*e4b17023SJohn Marino       throw_allocator_random(const throw_allocator_random&)
728*e4b17023SJohn Marino       _GLIBCXX_USE_NOEXCEPT { }
729*e4b17023SJohn Marino 
730*e4b17023SJohn Marino       template<typename _Tp1>
731*e4b17023SJohn Marino 	throw_allocator_random(const throw_allocator_random<_Tp1>&)
732*e4b17023SJohn Marino 	_GLIBCXX_USE_NOEXCEPT { }
733*e4b17023SJohn Marino 
734*e4b17023SJohn Marino       ~throw_allocator_random() _GLIBCXX_USE_NOEXCEPT { }
735*e4b17023SJohn Marino     };
736*e4b17023SJohn Marino 
737*e4b17023SJohn Marino _GLIBCXX_END_NAMESPACE_VERSION
738*e4b17023SJohn Marino } // namespace
739*e4b17023SJohn Marino 
740*e4b17023SJohn Marino #ifdef __GXX_EXPERIMENTAL_CXX0X__
741*e4b17023SJohn Marino 
742*e4b17023SJohn Marino # include <bits/functional_hash.h>
743*e4b17023SJohn Marino 
_GLIBCXX_VISIBILITY(default)744*e4b17023SJohn Marino namespace std _GLIBCXX_VISIBILITY(default)
745*e4b17023SJohn Marino {
746*e4b17023SJohn Marino   /// Explicit specialization of std::hash for __gnu_cxx::throw_value_limit.
747*e4b17023SJohn Marino   template<>
748*e4b17023SJohn Marino     struct hash<__gnu_cxx::throw_value_limit>
749*e4b17023SJohn Marino     : public std::unary_function<__gnu_cxx::throw_value_limit, size_t>
750*e4b17023SJohn Marino     {
751*e4b17023SJohn Marino       size_t
752*e4b17023SJohn Marino       operator()(const __gnu_cxx::throw_value_limit& __val) const
753*e4b17023SJohn Marino       {
754*e4b17023SJohn Marino 	std::hash<std::size_t> __h;
755*e4b17023SJohn Marino 	size_t __result = __h(__val._M_i);
756*e4b17023SJohn Marino 	return __result;
757*e4b17023SJohn Marino       }
758*e4b17023SJohn Marino     };
759*e4b17023SJohn Marino 
760*e4b17023SJohn Marino   /// Explicit specialization of std::hash for __gnu_cxx::throw_value_limit.
761*e4b17023SJohn Marino   template<>
762*e4b17023SJohn Marino     struct hash<__gnu_cxx::throw_value_random>
763*e4b17023SJohn Marino     : public std::unary_function<__gnu_cxx::throw_value_random, size_t>
764*e4b17023SJohn Marino     {
765*e4b17023SJohn Marino       size_t
766*e4b17023SJohn Marino       operator()(const __gnu_cxx::throw_value_random& __val) const
767*e4b17023SJohn Marino       {
768*e4b17023SJohn Marino 	std::hash<std::size_t> __h;
769*e4b17023SJohn Marino 	size_t __result = __h(__val._M_i);
770*e4b17023SJohn Marino 	return __result;
771*e4b17023SJohn Marino       }
772*e4b17023SJohn Marino     };
773*e4b17023SJohn Marino } // end namespace std
774*e4b17023SJohn Marino #endif
775*e4b17023SJohn Marino 
776*e4b17023SJohn Marino #endif
777