123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148 |
- #ifndef BOOST_TEST_LEFT_SHIFT_HPP
- #define BOOST_TEST_LEFT_SHIFT_HPP
- // Copyright (c) 2015 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/safe_numerics/safe_integer.hpp>
- #include <boost/safe_numerics/range_value.hpp>
- template<class T1, class T2>
- bool test_left_shift(
- T1 v1,
- T2 v2,
- const char *av1,
- const char *av2,
- char expected_result
- ){
- std::cout
- << "testing "
- << av1 << " << " << av2
- << std::endl;
- {
- safe_t<T1> t1 = v1;
- using result_type = decltype(t1 << v2);
- std::cout << "safe<" << av1 << "> << " << av2 << " -> ";
- static_assert(
- boost::safe_numerics::is_safe<result_type>::value,
- "Expression failed to return safe type"
- );
- try{
- // use auto to avoid checking assignment.
- auto result = t1 << v2;
- std::cout << make_result_display(result);
- if(expected_result == 'x'){
- std::cout
- << " ! = "<< av1 << " << " << av2
- << " failed to detect arithmetic error in left shift"
- << std::endl;
- t1 << v2;
- return false;
- }
- std::cout << std::endl;
- }
- catch(const std::exception & e){
- if(expected_result == '.'){
- std::cout
- << "erroneously detected arithmetic error in left shift"
- << " == "<< av1 << " << " << av2
- << ' ' << e.what()
- << std::endl;
- try{
- t1 << v2;
- }
- catch(const std::exception &){}
- return false;
- }
- std::cout << std::endl;
- }
- }
- {
- safe_t<T2> t2 = v2;
- using result_type = decltype(v1 << t2);
- std::cout << av1 << " << " << "safe<" << av2 << "> -> ";
- static_assert(
- boost::safe_numerics::is_safe<result_type>::value,
- "Expression failed to return safe type"
- );
- try{
- // use auto to avoid checking assignment.
- auto result = v1 << t2;
- std::cout << make_result_display(result);
- if(expected_result == 'x'){
- std::cout
- << " ! = "<< av1 << " << " << av2
- << " failed to detect error in left shift"
- << std::hex << result << "(" << std::dec << result << ")"
- << std::endl;
- v1 << t2;
- return false;
- }
- std::cout << std::endl;
- }
- catch(const std::exception & e){
- if(expected_result == '.'){
- std::cout
- << " == "<< av1 << " << " << av2
- << "erroneously detected error in left shift "
- << ' ' << e.what()
- << std::endl;
- try{
- v1 << t2;
- }
- catch(const std::exception &){}
- return false;
- }
- std::cout << std::endl;
- }
- }
- {
- safe_t<T1> t1 = v1;
- safe_t<T2> t2 = v2;
- using result_type = decltype(t1 << t2);
- std::cout << "safe<" << av1 << "> << " << "safe<" << av2 << "> -> ";
- static_assert(
- boost::safe_numerics::is_safe<result_type>::value,
- "Expression failed to return safe type"
- );
- try{
- // use auto to avoid checking assignment.
- auto result = t1 << t2;
- std::cout << make_result_display(result);
- if(expected_result == 'x'){
- std::cout
- << " ! = "<< av1 << " << " << av2
- << " failed to detect error in left shift"
- << std::endl;
- t1 << t2;
- return false;
- }
- std::cout << std::endl;
- }
- catch(const std::exception & e){
- if(expected_result == '.'){
- std::cout
- << " == "<< av1 << " << " << av2
- << " erroneously detected error in left shift"
- << ' ' << e.what()
- << std::endl;
- try{
- t1 << t2;
- }
- catch(const std::exception &){}
- return false;
- }
- std::cout << std::endl;
- }
- }
- return true; // correct result
- }
- #endif // BOOST_TEST_DIVIDE
|