FM / safe_numerics

/usr/include/boost/safe_numerics

Name	Size	Mode	Actions
concept/	-	0755	rm
automatic.hpp	17772	0644	edit dl rm
checked_default.hpp	7134	0644	edit dl rm
checked_float.hpp	5153	0644	edit dl rm
checked_integer.hpp	26535	0644	edit dl rm
checked_result.hpp	4135	0644	edit dl rm
checked_result_operations.hpp	42560	0644	edit dl rm
cpp.hpp	6802	0644	edit dl rm
exception.hpp	6811	0644	edit dl rm
exception_policies.hpp	7462	0644	edit dl rm
interval.hpp	8357	0644	edit dl rm
native.hpp	3183	0644	edit dl rm
range_value.hpp	1491	0644	edit dl rm
safe_base.hpp	9157	0644	edit dl rm
safe_base_operations.hpp	53080	0644	edit dl rm
safe_common.hpp	913	0644	edit dl rm
safe_compare.hpp	4858	0644	edit dl rm
safe_integer.hpp	956	0644	edit dl rm
safe_integer_literal.hpp	7055	0644	edit dl rm
safe_integer_range.hpp	1600	0644	edit dl rm
utility.hpp	8213	0644	edit dl rm

Edit: /usr/include/boost/safe_numerics/native.hpp (3183B)

#ifndef BOOST_NUMERIC_NATIVE_HPP
#define BOOST_NUMERIC_NATIVE_HPP

//  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 <type_traits>
#include <limits>

// policy which creates results types and values equal to that of C++ promotions.
// When used in conjunction with a desired exception policy, traps errors but
// does not otherwise alter the results produced by the program using it.
namespace boost {
namespace safe_numerics {

struct native {
public:
 // arithmetic operators
 template<typename T, typename U>
 struct addition_result {
 using type = decltype(
 typename base_type<T>::type()
 + typename base_type::type()
 );
 };
 template<typename T, typename U>
 struct subtraction_result {
 using type = decltype(
 typename base_type<T>::type()
 - typename base_type::type()
 );
 };
 template<typename T, typename U>
 struct multiplication_result {
 using type = decltype(
 typename base_type<T>::type()
 * typename base_type::type()
 );
 };
 template<typename T, typename U>
 struct division_result {
 using type = decltype(
 typename base_type<T>::type()
 / typename base_type::type()
 );
 };
 template<typename T, typename U>
 struct modulus_result {
 using type = decltype(
 typename base_type<T>::type()
 % typename base_type::type()
 );
 };
 // note: comparison_result (<, >, ...) is special.
 // The return value is always a bool. The type returned here is
 // the intermediate type applied to make the values comparable.
 template<typename T, typename U>
 struct comparison_result {
 using type = decltype(
 typename base_type<T>::type()
 + typename base_type::type()
 );
 };

// shift operators
 template<typename T, typename U>
 struct left_shift_result {
 using type = decltype(
 typename base_type<T>::type()
 << typename base_type::type()
 );
 };
 template<typename T, typename U>
 struct right_shift_result {
 using type = decltype(
 typename base_type<T>::type()
 >> typename base_type::type()
 );
 };
 // bitwise operators
 template<typename T, typename U>
 struct bitwise_or_result {
 using type = decltype(
 typename base_type<T>::type()
 | typename base_type::type()
 );
 };
 template<typename T, typename U>
 struct bitwise_and_result {
 using type = decltype(
 typename base_type<T>::type()
 & typename base_type::type()
 );
 };
 template<typename T, typename U>
 struct bitwise_xor_result {
 using type = decltype(
 typename base_type<T>::type()
 ^ typename base_type::type()
 );
 };
};

} // safe_numerics
} // boost

#endif // BOOST_NUMERIC_NATIVE_HPP

#ifndef BOOST_NUMERIC_NATIVE_HPP #define BOOST_NUMERIC_NATIVE_HPP // 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 #include // policy which creates results types and values equal to that of C++ promotions. // When used in conjunction with a desired exception policy, traps errors but // does not otherwise alter the results produced by the program using it. namespace boost { namespace safe_numerics { struct native { public: // arithmetic operators template struct addition_result { using type = decltype( typename base_type::type() + typename base_type::type() ); }; template struct subtraction_result { using type = decltype( typename base_type::type() - typename base_type::type() ); }; template struct multiplication_result { using type = decltype( typename base_type::type() * typename base_type::type() ); }; template struct division_result { using type = decltype( typename base_type::type() / typename base_type::type() ); }; template struct modulus_result { using type = decltype( typename base_type::type() % typename base_type::type() ); }; // note: comparison_result (<, >, ...) is special. // The return value is always a bool. The type returned here is // the intermediate type applied to make the values comparable. template struct comparison_result { using type = decltype( typename base_type::type() + typename base_type::type() ); }; // shift operators template struct left_shift_result { using type = decltype( typename base_type::type() << typename base_type::type() ); }; template struct right_shift_result { using type = decltype( typename base_type::type() >> typename base_type::type() ); }; // bitwise operators template struct bitwise_or_result { using type = decltype( typename base_type::type() | typename base_type::type() ); }; template struct bitwise_and_result { using type = decltype( typename base_type::type() & typename base_type::type() ); }; template struct bitwise_xor_result { using type = decltype( typename base_type::type() ^ typename base_type::type() ); }; }; } // safe_numerics } // boost #endif // BOOST_NUMERIC_NATIVE_HPP