a06d9f7a69
added tests for check result < and == operations correct implementation of some checked result types added constexpr example
119 lines
3.0 KiB
C++
119 lines
3.0 KiB
C++
// 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 <iostream>
|
|
#include <boost/logic/tribool_io.hpp>
|
|
|
|
#include <boost/core/demangle.hpp>
|
|
#include <boost/safe_numerics/checked_result_operations.hpp>
|
|
#include <boost/safe_numerics/checked_integer.hpp>
|
|
|
|
// works for both GCC and clang
|
|
#pragma GCC diagnostic push
|
|
#pragma GCC diagnostic ignored "-Wunused-value"
|
|
|
|
// note: T should be of type checked_result<R> for some integer type R
|
|
template<class T>
|
|
bool test_checked_equal_to(
|
|
T v1,
|
|
T v2,
|
|
char expected_result
|
|
){
|
|
using namespace boost::safe_numerics;
|
|
const boost::logic::tribool result = (v1 == v2);
|
|
std::cout
|
|
<< std::boolalpha << v1 << " == " << v2 << " -> " << result
|
|
<< std::endl;
|
|
|
|
switch(expected_result){
|
|
case '<':
|
|
case '>':
|
|
if(! result)
|
|
return true;
|
|
break;
|
|
case '=':
|
|
if(result)
|
|
return true;
|
|
break;
|
|
case '!':
|
|
if(indeterminate(result))
|
|
return true;
|
|
break;
|
|
}
|
|
std::cout
|
|
<< "failed to detect error in addition "
|
|
<< std::hex << result << "(" << std::dec << result << ")"
|
|
<< " != "<< v1 << " == " << v2
|
|
<< std::endl;
|
|
v1 == v2;
|
|
return false;
|
|
}
|
|
|
|
#pragma GCC diagnostic pop
|
|
|
|
#include "test_checked_comparison.hpp"
|
|
|
|
template<typename T, typename First, typename Second>
|
|
struct test_signed_pair {
|
|
bool operator()() const {
|
|
std::size_t i = First();
|
|
std::size_t j = Second();
|
|
std::cout << std::dec << i << ',' << j << ','
|
|
<< "testing " << boost::core::demangle(typeid(T).name()) << ' ';
|
|
return test_checked_equal_to(
|
|
signed_values<T>[i],
|
|
signed_values<T>[j],
|
|
signed_comparison_results[i][j]
|
|
);
|
|
};
|
|
};
|
|
|
|
template<typename T, typename First, typename Second>
|
|
struct test_unsigned_pair {
|
|
bool operator()() const {
|
|
std::size_t i = First();
|
|
std::size_t j = Second();
|
|
std::cout << std::dec << i << ',' << j << ','
|
|
<< "testing " << boost::core::demangle(typeid(T).name()) << ' ';
|
|
return test_checked_equal_to(
|
|
unsigned_values<T>[i],
|
|
unsigned_values<T>[j],
|
|
unsigned_comparison_results[i][j]
|
|
);
|
|
};
|
|
};
|
|
|
|
#include <boost/mp11/algorithm.hpp>
|
|
|
|
int main(){
|
|
using namespace boost::mp11;
|
|
bool rval = true;
|
|
|
|
mp_for_each<
|
|
mp_product<
|
|
test_signed_pair,
|
|
signed_test_types,
|
|
signed_value_indices,
|
|
signed_value_indices
|
|
>
|
|
>([&](auto I){
|
|
rval &= I();
|
|
});
|
|
|
|
mp_for_each<
|
|
mp_product<
|
|
test_unsigned_pair,
|
|
unsigned_test_types,
|
|
unsigned_value_indices, unsigned_value_indices
|
|
>
|
|
>([&](auto I){
|
|
rval &= I();
|
|
});
|
|
|
|
std::cout << (rval ? "success!" : "failure") << std::endl;
|
|
return rval ? 0 : 1;
|
|
}
|