ceph/src/boost/libs/safe_numerics/test/test_subtract_automatic_constexpr.cpp

   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/automatic.hpp>
   9 #include "test_subtract_automatic_results.hpp"
  10
  11 template <class T>
  12 using safe_t = boost::safe_numerics::safe<
  13     T,
  14     boost::safe_numerics::automatic
  15 >;
  16
  17 #include "test_subtract_constexpr.hpp"
  18
  19 using namespace boost::mp11;
  20
  21 template<typename First, typename Second>
  22 struct test_pair {
  23     static const std::size_t i = First();
  24     static const std::size_t j = Second();
  25     constexpr static const bool value = test_subtract_constexpr(
  26         mp_at_c<test_values, i>()(),
  27         mp_at_c<test_values, j>()(),
  28         test_subtraction_automatic_result[i][j]
  29     );
  30 };
  31
  32 #include <boost/mp11/list.hpp>
  33 #include <boost/mp11/algorithm.hpp>
  34
  35 int main(){
  36     using namespace boost::mp11;
  37
  38     using value_indices = mp_iota_c<mp_size<test_values>::value>;
  39
  40     static_assert(
  41         mp_all_of<
  42             mp_product<
  43                 test_pair,
  44                 value_indices,
  45                 value_indices
  46             >,
  47             mp_to_bool
  48         >(),
  49         "all values for all integer types correctly subtracted"
  50     );
  51     return 0;
  52 }