1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
|
// Copyright (c) 2012 Robert Ramey
//
// Distributed under the Boost Software License, Version 1.0. (See
// accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
#include <cstdint> // std::int8, ...
#include <boost/safe_numerics/checked_result.hpp>
#include <boost/safe_numerics/checked_result_operations.hpp>
#include <boost/safe_numerics/checked_integer.hpp>
// note: T should be of tyme checked_result<R> for some integer type R
template<class T>
constexpr bool test_checked_divide(
const T & v1,
const T & v2,
char expected_result
){
using namespace boost::safe_numerics;
const T result = v1 / v2;
switch(expected_result){
case '0':
case '.':
return ! result.exception();
case '-':
return safe_numerics_error::negative_overflow_error == result.m_e;
case '+':
return safe_numerics_error::positive_overflow_error == result.m_e;
case '!':
return safe_numerics_error::range_error == result.m_e;
}
return false;
}
#include "test_checked_divide.hpp"
template<typename T, typename First, typename Second>
struct test_signed_pair {
static const std::size_t i = First();
static const std::size_t j = Second();
// note: is constexpr really required here? compilers disagree!
constexpr static const bool value = test_checked_divide(
signed_values<T>[i],
signed_values<T>[j],
signed_division_results[i][j]
);
};
template<typename T, typename First, typename Second>
struct test_unsigned_pair {
static const std::size_t i = First();
static const std::size_t j = Second();
// note: is constexpr really required here? compilers disagree!
constexpr static const bool value = test_checked_divide(
unsigned_values<T>[i],
unsigned_values<T>[j],
unsigned_division_results[i][j]
);
};
#include <boost/mp11/algorithm.hpp>
#include <boost/mp11/function.hpp>
int main(){
using namespace boost::mp11;
static_assert(
mp_all_of<
mp_product<
test_signed_pair,
signed_test_types,
signed_value_indices, signed_value_indices
>,
mp_to_bool
>(),
"all values for all signed types correctly divided"
);
static_assert(
mp_all_of<
mp_product<
test_unsigned_pair,
unsigned_test_types,
unsigned_value_indices, unsigned_value_indices
>,
mp_to_bool
>(),
"all values for all unsigned types correctly divided"
);
return 0;
}
|
