1// -*- C++ -*-
2//===--------------------------- __debug ----------------------------------===//
3//
4//                     The LLVM Compiler Infrastructure
5//
6// This file is dual licensed under the MIT and the University of Illinois Open
7// Source Licenses. See LICENSE.TXT for details.
8//
9//===----------------------------------------------------------------------===//
10
11#ifndef _LIBCPP_DEBUG_H
12#define _LIBCPP_DEBUG_H
13
14#include <__config>
15
16#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
17#pragma GCC system_header
18#endif
19
20#if _LIBCPP_DEBUG_LEVEL >= 1
21#   include <cstdlib>
22#   include <cstdio>
23#   include <cstddef>
24#   ifndef _LIBCPP_ASSERT
25#      define _LIBCPP_ASSERT(x, m) ((x) ? (void)0 : (_VSTD::fprintf(stderr, "%s\n", m), _VSTD::abort()))
26#   endif
27#endif
28
29#if _LIBCPP_DEBUG_LEVEL >= 2
30#ifndef _LIBCPP_DEBUG_ASSERT
31#define _LIBCPP_DEBUG_ASSERT(x, m) _LIBCPP_ASSERT(x, m)
32#endif
33#define _LIBCPP_DEBUG_MODE(...) __VA_ARGS__
34#endif
35
36#ifndef _LIBCPP_ASSERT
37#   define _LIBCPP_ASSERT(x, m) ((void)0)
38#endif
39#ifndef _LIBCPP_DEBUG_ASSERT
40#   define _LIBCPP_DEBUG_ASSERT(x, m) ((void)0)
41#endif
42#ifndef _LIBCPP_DEBUG_MODE
43#define _LIBCPP_DEBUG_MODE(...) ((void)0)
44#endif
45
46#if _LIBCPP_DEBUG_LEVEL >= 2
47
48_LIBCPP_BEGIN_NAMESPACE_STD
49
50struct _LIBCPP_TYPE_VIS __c_node;
51
52struct _LIBCPP_TYPE_VIS __i_node
53{
54    void* __i_;
55    __i_node* __next_;
56    __c_node* __c_;
57
58#ifndef _LIBCPP_HAS_NO_DELETED_FUNCTIONS
59    __i_node(const __i_node&) = delete;
60    __i_node& operator=(const __i_node&) = delete;
61#else
62private:
63    __i_node(const __i_node&);
64    __i_node& operator=(const __i_node&);
65public:
66#endif
67    _LIBCPP_INLINE_VISIBILITY
68    __i_node(void* __i, __i_node* __next, __c_node* __c)
69        : __i_(__i), __next_(__next), __c_(__c) {}
70    ~__i_node();
71};
72
73struct _LIBCPP_TYPE_VIS __c_node
74{
75    void* __c_;
76    __c_node* __next_;
77    __i_node** beg_;
78    __i_node** end_;
79    __i_node** cap_;
80
81#ifndef _LIBCPP_HAS_NO_DELETED_FUNCTIONS
82    __c_node(const __c_node&) = delete;
83    __c_node& operator=(const __c_node&) = delete;
84#else
85private:
86    __c_node(const __c_node&);
87    __c_node& operator=(const __c_node&);
88public:
89#endif
90    _LIBCPP_INLINE_VISIBILITY
91    __c_node(void* __c, __c_node* __next)
92        : __c_(__c), __next_(__next), beg_(nullptr), end_(nullptr), cap_(nullptr) {}
93    virtual ~__c_node();
94
95    virtual bool __dereferenceable(const void*) const = 0;
96    virtual bool __decrementable(const void*) const = 0;
97    virtual bool __addable(const void*, ptrdiff_t) const = 0;
98    virtual bool __subscriptable(const void*, ptrdiff_t) const = 0;
99
100    void __add(__i_node* __i);
101    _LIBCPP_HIDDEN void __remove(__i_node* __i);
102};
103
104template <class _Cont>
105struct _C_node
106    : public __c_node
107{
108    _C_node(void* __c, __c_node* __n)
109        : __c_node(__c, __n) {}
110
111    virtual bool __dereferenceable(const void*) const;
112    virtual bool __decrementable(const void*) const;
113    virtual bool __addable(const void*, ptrdiff_t) const;
114    virtual bool __subscriptable(const void*, ptrdiff_t) const;
115};
116
117template <class _Cont>
118bool
119_C_node<_Cont>::__dereferenceable(const void* __i) const
120{
121    typedef typename _Cont::const_iterator iterator;
122    const iterator* __j = static_cast<const iterator*>(__i);
123    _Cont* _Cp = static_cast<_Cont*>(__c_);
124    return _Cp->__dereferenceable(__j);
125}
126
127template <class _Cont>
128bool
129_C_node<_Cont>::__decrementable(const void* __i) const
130{
131    typedef typename _Cont::const_iterator iterator;
132    const iterator* __j = static_cast<const iterator*>(__i);
133    _Cont* _Cp = static_cast<_Cont*>(__c_);
134    return _Cp->__decrementable(__j);
135}
136
137template <class _Cont>
138bool
139_C_node<_Cont>::__addable(const void* __i, ptrdiff_t __n) const
140{
141    typedef typename _Cont::const_iterator iterator;
142    const iterator* __j = static_cast<const iterator*>(__i);
143    _Cont* _Cp = static_cast<_Cont*>(__c_);
144    return _Cp->__addable(__j, __n);
145}
146
147template <class _Cont>
148bool
149_C_node<_Cont>::__subscriptable(const void* __i, ptrdiff_t __n) const
150{
151    typedef typename _Cont::const_iterator iterator;
152    const iterator* __j = static_cast<const iterator*>(__i);
153    _Cont* _Cp = static_cast<_Cont*>(__c_);
154    return _Cp->__subscriptable(__j, __n);
155}
156
157class _LIBCPP_TYPE_VIS __libcpp_db
158{
159    __c_node** __cbeg_;
160    __c_node** __cend_;
161    size_t   __csz_;
162    __i_node** __ibeg_;
163    __i_node** __iend_;
164    size_t   __isz_;
165
166    __libcpp_db();
167public:
168#ifndef _LIBCPP_HAS_NO_DELETED_FUNCTIONS
169    __libcpp_db(const __libcpp_db&) = delete;
170    __libcpp_db& operator=(const __libcpp_db&) = delete;
171#else
172private:
173    __libcpp_db(const __libcpp_db&);
174    __libcpp_db& operator=(const __libcpp_db&);
175public:
176#endif
177    ~__libcpp_db();
178
179    class __db_c_iterator;
180    class __db_c_const_iterator;
181    class __db_i_iterator;
182    class __db_i_const_iterator;
183
184    __db_c_const_iterator __c_end() const;
185    __db_i_const_iterator __i_end() const;
186
187    template <class _Cont>
188    _LIBCPP_INLINE_VISIBILITY
189    void __insert_c(_Cont* __c)
190    {
191        __c_node* __n = __insert_c(static_cast<void*>(__c));
192        ::new(__n) _C_node<_Cont>(__n->__c_, __n->__next_);
193    }
194
195    void __insert_i(void* __i);
196    __c_node* __insert_c(void* __c);
197    void __erase_c(void* __c);
198
199    void __insert_ic(void* __i, const void* __c);
200    void __iterator_copy(void* __i, const void* __i0);
201    void __erase_i(void* __i);
202
203    void* __find_c_from_i(void* __i) const;
204    void __invalidate_all(void* __c);
205    __c_node* __find_c_and_lock(void* __c) const;
206    __c_node* __find_c(void* __c) const;
207    void unlock() const;
208
209    void swap(void* __c1, void* __c2);
210
211
212    bool __dereferenceable(const void* __i) const;
213    bool __decrementable(const void* __i) const;
214    bool __addable(const void* __i, ptrdiff_t __n) const;
215    bool __subscriptable(const void* __i, ptrdiff_t __n) const;
216    bool __less_than_comparable(const void* __i, const void* __j) const;
217private:
218    _LIBCPP_HIDDEN
219    __i_node* __insert_iterator(void* __i);
220    _LIBCPP_HIDDEN
221    __i_node* __find_iterator(const void* __i) const;
222
223    friend _LIBCPP_FUNC_VIS __libcpp_db* __get_db();
224};
225
226_LIBCPP_FUNC_VIS __libcpp_db* __get_db();
227_LIBCPP_FUNC_VIS const __libcpp_db* __get_const_db();
228
229
230_LIBCPP_END_NAMESPACE_STD
231
232#endif
233
234#endif  // _LIBCPP_DEBUG_H
235
236