1 // Copyright (c) 2019 Robert Ramey
2 //
3 // Distributed under the Boost Software License, Version 1.0. (See
4 // accompanying file LICENSE_1_0.txt or copy at
5 // http://www.boost.org/LICENSE_1_0.txt)
6
7 #include <boost/safe_numerics/safe_integer.hpp>
8 #include <boost/safe_numerics/native.hpp>
9
10 #include "test_add_native_results.hpp"
11
12 template <class T>
13 using safe_t = boost::safe_numerics::safe<
14 T,
15 boost::safe_numerics::native
16 >;
17
18 #include "test_add_constexpr.hpp"
19
20 using namespace boost::mp11;
21
22 template<typename First, typename Second>
23 struct test_pair {
24 static const std::size_t i = First();
25 static const std::size_t j = Second();
26 constexpr static const bool value = test_add_constexpr(
27 mp_at_c<test_values, i>()(),
28 mp_at_c<test_values, j>()(),
29 test_addition_native_result[i][j]
30 );
31 };
32
33 #include <boost/mp11/list.hpp>
34 #include <boost/mp11/algorithm.hpp>
35 #include "check_symmetry.hpp"
36
main()37 int main(){
38 using namespace boost::mp11;
39
40 // sanity check on test matrix - should be symetrical
41 check_symmetry(test_addition_native_result);
42
43 using value_indices = mp_iota_c<mp_size<test_values>::value>;
44
45 static_assert(
46 mp_all_of<
47 mp_product<
48 test_pair,
49 value_indices,
50 value_indices
51 >,
52 mp_to_bool
53 >(),
54 "all values for all integer types correctly added"
55 );
56 return 0;
57 }
58