2f1e8e7c47
* doc/xml/manual/using.xml (_GLIBCXX_ASSERTIONS): Document. * doc/html/manual/using_macros.html: Regenerate. * include/bits/c++config: Define _GLIBCXX_ASSERTIONS when _GLIBCXX_DEBUG is defined. Disable std::string extern templates when (_GLIBCXX_EXTERN_TEMPLATE, __glibcxx_assert): Depend on _GLIBCXX_ASSERTIONS instead of _GLIBCXX_DEBUG. * include/debug/debug.h [!_GLIBCXX_DEBUG]: Define __glibcxx_requires_non_empty_range and __glibcxx_requires_nonempty. * include/backward/auto_ptr.h (auto_ptr::operator*, auto_ptr::operator->): Replace _GLIBCXX_DEBUG_ASSERT with __glibcxx_assert. * include/bits/basic_string.h (basic_string::operator[], basic_string::front, basic_string::back, basic_string::pop_back): Likewise. * include/bits/random.h (uniform_int_distribution::param_type::param_type, uniform_real_distribution::param_type::param_type, normal_distribution::param_type::param_type, gamma_distribution::param_type::param_type, bernoulli_distribution::param_type::param_type, binomial_distribution::param_type::param_type, geometric_distribution::param_type::param_type, negative_binomial_distribution::param_type::param_type, poisson_distribution::param_type::param_type, exponential_distribution::param_type::param_type): Likewise. * include/bits/regex.h (match_results::operator[], match_results::prefix, match_results::suffix): Likewise. * include/bits/regex.tcc (format, regex_iterator::operator++): Likewise. * include/bits/regex_automaton.tcc (_StateSeq::_M_clone): Likewise. * include/bits/regex_compiler.tcc (_Compiler::_Compiler, _Compiler::_M_insert_character_class_matcher): Likewise. * include/bits/regex_executor.tcc (_Executor::_M_dfs): Likewise. * include/bits/regex_scanner.tcc (_Scanner::_M_advance, _Scanner::_M_scan_normal): Likewise. * include/bits/shared_ptr_base.h (__shared_ptr::_M_reset, __shared_ptr::operator*): Likewise. * include/bits/stl_iterator_base_funcs.h (__advance): Likewise. * include/bits/unique_ptr.h (unique_ptr::operator*, unique_ptr::operator[]): Likewise. * include/experimental/fs_path.h (path::path(string_type, _Type), path::iterator::operator++, path::iterator::operator--, path::iterator::operator*): Likewise. * include/experimental/string_view (basic_string_view::operator[], basic_string_view::front, basic_string_view::back, basic_string_view::remove_prefix): Likewise. * include/ext/random (beta_distribution::param_type::param_type, normal_mv_distribution::param_type::param_type, rice_distribution::param_type::param_type, pareto_distribution::param_type::param_type, k_distribution::param_type::param_type, arcsine_distribution::param_type::param_type, hoyt_distribution::param_type::param_type, triangular_distribution::param_type::param_type, von_mises_distribution::param_type::param_type, hypergeometric_distribution::param_type::param_type, logistic_distribution::param_type::param_type): Likewise. * include/ext/vstring.h (__versa_string::operator[]): Likewise. * include/std/complex (polar): Likewise. * include/std/mutex [!_GTHREAD_USE_MUTEX_TIMEDLOCK] (timed_mutex::~timed_mutex, timed_mutex::unlock, (recursive_timed_mutex::~timed_mutex, recursive_timed_mutex::unlock): Likewise. * include/std/shared_mutex [!PTHREAD_RWLOCK_INITIALIZER] (__shared_mutex_pthread::__shared_mutex_pthread, __shared_mutex_pthread::~__shared_mutex_pthread): Likewise. (__shared_mutex_pthread::lock, __shared_mutex_pthread::try_lock, __shared_mutex_pthread::unlock, __shared_mutex_pthread::lock_shared, __shared_mutex_pthread::try_lock_shared): Likewise. (__shared_mutex_cv::~__shared_mutex_cv, __shared_mutex_cv::unlock, __shared_mutex_cv::unlock_shared): Likewise. (shared_timed_mutex::try_lock_until, shared_timed_mutex::try_lock_shared_until): Likewise. * include/std/valarray (valarray::valarray(const _Tp*, size_t), valarray::operator=, valarray::sum, valarray::min, valarray::max, _DEFINE_VALARRAY_AUGMENTED_ASSIGNMENT, _DEFINE_BINARY_OPERATOR): Likewise. From-SVN: r227595
143 lines
5.8 KiB
C++
143 lines
5.8 KiB
C++
// Debugging support implementation -*- C++ -*-
|
|
|
|
// Copyright (C) 2003-2015 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 3, or (at your option)
|
|
// any later version.
|
|
|
|
// This library is distributed in the hope that it will be useful,
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
// GNU General Public License for more details.
|
|
|
|
// 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.
|
|
|
|
// 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/>.
|
|
|
|
/** @file debug/debug.h
|
|
* This file is a GNU debug extension to the Standard C++ Library.
|
|
*/
|
|
|
|
#ifndef _GLIBCXX_DEBUG_MACRO_SWITCH_H
|
|
#define _GLIBCXX_DEBUG_MACRO_SWITCH_H 1
|
|
|
|
/** Macros and namespaces used by the implementation outside of debug
|
|
* wrappers to verify certain properties. The __glibcxx_requires_xxx
|
|
* macros are merely wrappers around the __glibcxx_check_xxx wrappers
|
|
* when we are compiling with debug mode, but disappear when we are
|
|
* in release mode so that there is no checking performed in, e.g.,
|
|
* the standard library algorithms.
|
|
*/
|
|
|
|
#include <debug/assertions.h>
|
|
|
|
// Debug mode namespaces.
|
|
|
|
/**
|
|
* @namespace std::__debug
|
|
* @brief GNU debug code, replaces standard behavior with debug behavior.
|
|
*/
|
|
namespace std
|
|
{
|
|
namespace __debug { }
|
|
}
|
|
|
|
/** @namespace __gnu_debug
|
|
* @brief GNU debug classes for public use.
|
|
*/
|
|
namespace __gnu_debug
|
|
{
|
|
using namespace std::__debug;
|
|
}
|
|
|
|
#ifndef _GLIBCXX_DEBUG
|
|
|
|
# define __glibcxx_requires_cond(_Cond,_Msg)
|
|
# define __glibcxx_requires_valid_range(_First,_Last)
|
|
# define __glibcxx_requires_sorted(_First,_Last)
|
|
# define __glibcxx_requires_sorted_pred(_First,_Last,_Pred)
|
|
# define __glibcxx_requires_sorted_set(_First1,_Last1,_First2)
|
|
# define __glibcxx_requires_sorted_set_pred(_First1,_Last1,_First2,_Pred)
|
|
# define __glibcxx_requires_partitioned_lower(_First,_Last,_Value)
|
|
# define __glibcxx_requires_partitioned_upper(_First,_Last,_Value)
|
|
# define __glibcxx_requires_partitioned_lower_pred(_First,_Last,_Value,_Pred)
|
|
# define __glibcxx_requires_partitioned_upper_pred(_First,_Last,_Value,_Pred)
|
|
# define __glibcxx_requires_heap(_First,_Last)
|
|
# define __glibcxx_requires_heap_pred(_First,_Last,_Pred)
|
|
# define __glibcxx_requires_string(_String)
|
|
# define __glibcxx_requires_string_len(_String,_Len)
|
|
# define __glibcxx_requires_subscript(_N)
|
|
# define __glibcxx_requires_irreflexive(_First,_Last)
|
|
# define __glibcxx_requires_irreflexive2(_First,_Last)
|
|
# define __glibcxx_requires_irreflexive_pred(_First,_Last,_Pred)
|
|
# define __glibcxx_requires_irreflexive_pred2(_First,_Last,_Pred)
|
|
|
|
#ifdef _GLIBCXX_ASSERTIONS
|
|
// Verify that [_First, _Last) forms a non-empty iterator range.
|
|
# define __glibcxx_requires_non_empty_range(_First,_Last) \
|
|
__glibcxx_assert(_First != _Last)
|
|
// Verify that the container is nonempty
|
|
# define __glibcxx_requires_nonempty() \
|
|
__glibcxx_assert(! this->empty())
|
|
#else
|
|
# define __glibcxx_requires_non_empty_range(_First,_Last)
|
|
# define __glibcxx_requires_nonempty()
|
|
#endif
|
|
|
|
#else
|
|
|
|
# include <debug/macros.h>
|
|
|
|
# define __glibcxx_requires_cond(_Cond,_Msg) _GLIBCXX_DEBUG_VERIFY(_Cond,_Msg)
|
|
# define __glibcxx_requires_valid_range(_First,_Last) \
|
|
__glibcxx_check_valid_range(_First,_Last)
|
|
# define __glibcxx_requires_non_empty_range(_First,_Last) \
|
|
__glibcxx_check_non_empty_range(_First,_Last)
|
|
# define __glibcxx_requires_sorted(_First,_Last) \
|
|
__glibcxx_check_sorted(_First,_Last)
|
|
# define __glibcxx_requires_sorted_pred(_First,_Last,_Pred) \
|
|
__glibcxx_check_sorted_pred(_First,_Last,_Pred)
|
|
# define __glibcxx_requires_sorted_set(_First1,_Last1,_First2) \
|
|
__glibcxx_check_sorted_set(_First1,_Last1,_First2)
|
|
# define __glibcxx_requires_sorted_set_pred(_First1,_Last1,_First2,_Pred) \
|
|
__glibcxx_check_sorted_set_pred(_First1,_Last1,_First2,_Pred)
|
|
# define __glibcxx_requires_partitioned_lower(_First,_Last,_Value) \
|
|
__glibcxx_check_partitioned_lower(_First,_Last,_Value)
|
|
# define __glibcxx_requires_partitioned_upper(_First,_Last,_Value) \
|
|
__glibcxx_check_partitioned_upper(_First,_Last,_Value)
|
|
# define __glibcxx_requires_partitioned_lower_pred(_First,_Last,_Value,_Pred) \
|
|
__glibcxx_check_partitioned_lower_pred(_First,_Last,_Value,_Pred)
|
|
# define __glibcxx_requires_partitioned_upper_pred(_First,_Last,_Value,_Pred) \
|
|
__glibcxx_check_partitioned_upper_pred(_First,_Last,_Value,_Pred)
|
|
# define __glibcxx_requires_heap(_First,_Last) \
|
|
__glibcxx_check_heap(_First,_Last)
|
|
# define __glibcxx_requires_heap_pred(_First,_Last,_Pred) \
|
|
__glibcxx_check_heap_pred(_First,_Last,_Pred)
|
|
# define __glibcxx_requires_nonempty() __glibcxx_check_nonempty()
|
|
# define __glibcxx_requires_string(_String) __glibcxx_check_string(_String)
|
|
# define __glibcxx_requires_string_len(_String,_Len) \
|
|
__glibcxx_check_string_len(_String,_Len)
|
|
# define __glibcxx_requires_subscript(_N) __glibcxx_check_subscript(_N)
|
|
# define __glibcxx_requires_irreflexive(_First,_Last) \
|
|
__glibcxx_check_irreflexive(_First,_Last)
|
|
# define __glibcxx_requires_irreflexive2(_First,_Last) \
|
|
__glibcxx_check_irreflexive2(_First,_Last)
|
|
# define __glibcxx_requires_irreflexive_pred(_First,_Last,_Pred) \
|
|
__glibcxx_check_irreflexive_pred(_First,_Last,_Pred)
|
|
# define __glibcxx_requires_irreflexive_pred2(_First,_Last,_Pred) \
|
|
__glibcxx_check_irreflexive_pred2(_First,_Last,_Pred)
|
|
|
|
# include <debug/functions.h>
|
|
|
|
#endif
|
|
|
|
#endif // _GLIBCXX_DEBUG_MACRO_SWITCH_H
|