]> git.ipfire.org Git - thirdparty/gcc.git/blobdiff - libstdc++-v3/include/ext/debug_allocator.h
Update copyright years in libstdc++-v3/
[thirdparty/gcc.git] / libstdc++-v3 / include / ext / debug_allocator.h
index e744ab61fae34eba8a4f5015fd41dd3bb63d3c9f..ffdfee6cc12cb079b3be6a7585f858e16917e62a 100644 (file)
@@ -1,11 +1,11 @@
 // Allocators -*- C++ -*-
 
-// Copyright (C) 2001, 2002, 2003 Free Software Foundation, Inc.
+// Copyright (C) 2001-2014 Free Software Foundation, Inc.
 //
 // This file is part of the GNU ISO C++ Library.  This library is free
 // software; you can redistribute it and/or modify it under the
 // terms of the GNU General Public License as published by the
-// Free Software Foundation; either version 2, or (at your option)
+// Free Software Foundation; either version 3, or (at your option)
 // any later version.
 
 // This library is distributed in the hope that it will be useful,
 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 // GNU General Public License for more details.
 
-// You should have received a copy of the GNU General Public License along
-// with this library; see the file COPYING.  If not, write to the Free
-// Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307,
-// USA.
+// Under Section 7 of GPL version 3, you are granted additional
+// permissions described in the GCC Runtime Library Exception, version
+// 3.1, as published by the Free Software Foundation.
 
-// As a special exception, you may use this file as part of a free software
-// library without restriction.  Specifically, if other files instantiate
-// templates or use macros or inline functions from this file, or you compile
-// this file and link it with other files to produce an executable, this
-// file does not by itself cause the resulting executable to be covered by
-// the GNU General Public License.  This exception does not however
-// invalidate any other reasons why the executable file might be covered by
-// the GNU General Public License.
+// You should have received a copy of the GNU General Public License and
+// a copy of the GCC Runtime Library Exception along with this program;
+// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
+// <http://www.gnu.org/licenses/>.
 
 /*
  * Copyright (c) 1996-1997
 
 /** @file ext/debug_allocator.h
  *  This file is a GNU extension to the Standard C++ Library.
- *  You should only include this header if you are using GCC 3 or later.
  */
 
 #ifndef _DEBUG_ALLOCATOR_H
 #define _DEBUG_ALLOCATOR_H 1
 
-#include <memory>
+#include <stdexcept>
+#include <bits/functexcept.h>
+#include <ext/alloc_traits.h>
 
-namespace __gnu_cxx
+namespace __gnu_cxx _GLIBCXX_VISIBILITY(default)
 {
+_GLIBCXX_BEGIN_NAMESPACE_VERSION
+
+  using std::size_t;
+
   /**
-   *  @brief  A meta-allocator with debugging bits, as per [20.4].
+   *  @brief  A meta-allocator with debugging bits.
+   *  @ingroup allocators
    *
-   *  This is precisely the allocator defined in the C++ Standard. 
-   *    - all allocation calls operator new
-   *    - all deallocation calls operator delete
-   *
-   *  (See @link Allocators allocators info @endlink for more.)
+   *  This is precisely the allocator defined in the C++03 Standard.
    */
   template<typename _Alloc>
     class debug_allocator
     {
+      template<typename> friend class debug_allocator;
+
+      typedef __alloc_traits<_Alloc> _Traits;
+
     public:
-      typedef typename _Alloc::size_type               size_type;
-      typedef typename _Alloc::difference_type difference_type;
-      typedef typename _Alloc::pointer         pointer;
-      typedef typename _Alloc::const_pointer    const_pointer;
-      typedef typename _Alloc::reference               reference;
-      typedef typename _Alloc::const_reference  const_reference;
-      typedef typename _Alloc::value_type       value_type;
+      typedef typename _Traits::size_type              size_type;
+      typedef typename _Traits::difference_type        difference_type;
+      typedef typename _Traits::pointer        pointer;
+      typedef typename _Traits::const_pointer    const_pointer;
+      typedef typename _Traits::reference              reference;
+      typedef typename _Traits::const_reference  const_reference;
+      typedef typename _Traits::value_type       value_type;
+
+      template<typename _Up>
+       class rebind
+       {
+         typedef typename _Traits::template rebind<_Up>::other __other;
+
+       public:
+         typedef debug_allocator<__other> other;
+       };
 
     private:
-      // Size of space used to store size.  Note that this must be
-      // large enough to preserve alignment.
-      const size_t             _M_extra;
+      // _M_extra is the number of objects that correspond to the
+      // extra space where debug information is stored.
+      size_type                _M_extra;
       
       _Alloc                   _M_allocator;
 
+      template<typename _Alloc2,
+              typename = typename _Alloc2::template rebind<value_type>::other>
+       struct __convertible
+       { };
+
+      template<typename _Alloc2>
+       struct __convertible<_Alloc2, _Alloc>
+       {
+         typedef void* __type;
+       };
+
+      size_type _S_extra()
+      {
+       const size_t __obj_size = sizeof(value_type);
+       return (sizeof(size_type) + __obj_size - 1) / __obj_size; 
+      }
+
     public:
-      debug_allocator() : _M_extra(8) { }
+      debug_allocator() : _M_extra(_S_extra()) { }
+
+      template<typename _Alloc2>
+       debug_allocator(const debug_allocator<_Alloc2>& __a2,
+                       typename __convertible<_Alloc2>::__type = 0)
+       : _M_allocator(__a2._M_allocator), _M_extra(_S_extra()) { }
+
+      debug_allocator(const _Alloc& __a)
+      : _M_allocator(__a), _M_extra(_S_extra()) { }
 
       pointer
-      allocate(size_type __n, std::allocator<void>::const_pointer = 0)
+      allocate(size_type __n)
       {
-        pointer __result = _M_allocator.allocate(__n + _M_extra);
-        *__result = __n;
-        return __result + _M_extra;
+        pointer __res = _M_allocator.allocate(__n + _M_extra);      
+       size_type* __ps = reinterpret_cast<size_type*>(__res);
+       *__ps = __n;
+        return __res + _M_extra;
+      }
+
+      pointer
+      allocate(size_type __n, const void* __hint)
+      {
+        pointer __res = _M_allocator.allocate(__n + _M_extra, __hint);
+       size_type* __ps = reinterpret_cast<size_type*>(__res);
+       *__ps = __n;
+        return __res + _M_extra;
       }
 
       void
       deallocate(pointer __p, size_type __n)
       {
-        pointer __real_p = __p - _M_extra;
-        if (*__real_p != __n)
-          abort();
-        _M_allocator.deallocate(__real_p, __n + _M_extra);
+       using std::__throw_runtime_error;
+       if (__p)
+         {
+           pointer __real_p = __p - _M_extra;
+           if (*reinterpret_cast<size_type*>(__real_p) != __n)
+             __throw_runtime_error("debug_allocator::deallocate wrong size");
+           _M_allocator.deallocate(__real_p, __n + _M_extra);
+         }
+       else
+         __throw_runtime_error("debug_allocator::deallocate null pointer");
       }
+
+      void
+      construct(pointer __p, const value_type& __val)
+      { _Traits::construct(_M_allocator, __p, __val); }
+
+#if __cplusplus >= 201103L
+      template<typename _Tp, typename... _Args>
+       void
+       construct(_Tp* __p, _Args&&... __args)
+       {
+         _Traits::construct(_M_allocator, __p,
+                            std::forward<_Args>(__args)...);
+       }
+#endif
+
+      template<typename _Tp>
+       void
+       destroy(_Tp* __p)
+       { _Traits::destroy(_M_allocator, __p); }
+
+      size_type
+      max_size() const throw()
+      { return _Traits::max_size(_M_allocator) - _M_extra; }
+
+      friend bool
+      operator==(const debug_allocator& __lhs, const debug_allocator& __rhs)
+      { return __lhs._M_allocator == __rhs._M_allocator; }
     };
-} // namespace __gnu_cxx
+
+  template<typename _Alloc>
+    inline bool
+    operator!=(const debug_allocator<_Alloc>& __lhs,
+              const debug_allocator<_Alloc>& __rhs)
+    { return !(__lhs == __rhs); }
+
+_GLIBCXX_END_NAMESPACE_VERSION
+} // namespace
 
 #endif