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