2
0
mirror of https://github.com/boostorg/icl.git synced 2026-01-19 04:12:13 +00:00

Merge pull request #38 from alexiprof/feature/fix-unused-in-release

fix unused typedef in release mode
This commit is contained in:
jofaber
2023-05-09 17:18:37 +02:00
committed by GitHub

View File

@@ -9,6 +9,7 @@ Copyright (c) 2010-2010: Joachim Faulhaber
#define BOOST_ICL_CONCEPT_INTERVAL_HPP_JOFA_100323
#include <boost/assert.hpp>
#include <boost/core/ignore_unused.hpp>
#include <boost/utility/enable_if.hpp>
#include <boost/mpl/and.hpp>
#include <boost/mpl/or.hpp>
@@ -112,6 +113,7 @@ singleton(const typename interval_traits<Type>::domain_type& value)
typedef typename interval_traits<Type>::domain_compare domain_compare;
BOOST_ASSERT((numeric_minimum<domain_type, domain_compare, is_numeric<domain_type>::value>
::is_less_than(value) ));
boost::ignore_unused<domain_type, domain_compare>();
return interval_traits<Type>::construct(domain_prior<Type>(value), value);
}
@@ -125,6 +127,7 @@ singleton(const typename interval_traits<Type>::domain_type& value)
typedef typename interval_traits<Type>::domain_compare domain_compare;
BOOST_ASSERT((numeric_minimum<domain_type, domain_compare, is_numeric<domain_type>::value>
::is_less_than(value)));
boost::ignore_unused<domain_type, domain_compare>();
return interval_traits<Type>::construct( domain_prior<Type>(value)
, domain_next<Type>(value));
@@ -181,6 +184,7 @@ unit_trail(const typename interval_traits<Type>::domain_type& value)
typedef typename interval_traits<Type>::domain_compare domain_compare;
BOOST_ASSERT((numeric_minimum<domain_type, domain_compare, is_numeric<domain_type>::value>
::is_less_than(value) ));
boost::ignore_unused<domain_type, domain_compare>();
return interval_traits<Type>::construct(domain_prior<Type>(value), value);
}
@@ -198,6 +202,7 @@ unit_trail(const typename interval_traits<Type>::domain_type& value)
typedef typename interval_traits<Type>::domain_compare domain_compare;
BOOST_ASSERT((numeric_minimum<domain_type, domain_compare, is_numeric<domain_type>::value>
::is_less_than(value)));
boost::ignore_unused<domain_type, domain_compare>();
return interval_traits<Type>::construct( domain_prior<Type>(value)
, domain_next<Type>(value));
@@ -292,6 +297,8 @@ hull(const typename interval_traits<Type>::domain_type& left,
{
typedef typename interval_traits<Type>::domain_type domain_type;
typedef typename interval_traits<Type>::domain_compare domain_compare;
boost::ignore_unused<domain_type>();
if(domain_compare()(left,right))
{
BOOST_ASSERT((numeric_minimum<domain_type, domain_compare, is_numeric<domain_type>::value>
@@ -325,6 +332,8 @@ hull(const typename interval_traits<Type>::domain_type& left,
{
typedef typename interval_traits<Type>::domain_type domain_type;
typedef typename interval_traits<Type>::domain_compare domain_compare;
boost::ignore_unused<domain_type>();
if(domain_compare()(left,right))
{
BOOST_ASSERT((numeric_minimum<domain_type, domain_compare, is_numeric<domain_type>::value>
@@ -425,6 +434,8 @@ last(const Type& object)
typedef typename interval_traits<Type>::domain_compare domain_compare;
BOOST_ASSERT((numeric_minimum<domain_type, domain_compare, is_numeric<domain_type>::value>
::is_less_than(upper(object)) ));
boost::ignore_unused<domain_type, domain_compare>();
return domain_prior<Type>(upper(object));
}
@@ -437,6 +448,8 @@ last(const Type& object)
typedef typename interval_traits<Type>::domain_compare domain_compare;
BOOST_ASSERT((numeric_minimum<domain_type, domain_compare, is_numeric<domain_type>::value>
::is_less_than_or(upper(object), is_right_closed(object.bounds())) ));
boost::ignore_unused<domain_type, domain_compare>();
return is_right_closed(object.bounds()) ?
upper(object) :
domain_prior<Type>(upper(object));