45 lines
1.2 KiB
C++
45 lines
1.2 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)
|
|
|
|
// testing trap
|
|
|
|
// this is a compile only test - but since many build systems
|
|
// can't handle a compile-only test - make sure it passes trivially.
|
|
|
|
#include <boost/safe_numerics/exception_policies.hpp>
|
|
#include <boost/safe_numerics/safe_integer.hpp>
|
|
|
|
using namespace boost::safe_numerics;
|
|
template <typename T> // T is char, int, etc data type
|
|
using safe_t = safe<
|
|
T,
|
|
native,
|
|
loose_trap_policy // use for compiling and running tests
|
|
>;
|
|
|
|
template<typename T, typename U>
|
|
void test(){
|
|
safe_t<T> t;
|
|
safe_t<U> u;
|
|
t + u;
|
|
t - u;
|
|
t * u;
|
|
t / u; // could fail regardless of data type
|
|
t % u; // could fail regardless of data type
|
|
t << u;
|
|
t >> u;
|
|
t | u;
|
|
t & u;
|
|
t ^ u;
|
|
}
|
|
int main(int, char *[]){
|
|
test<std::int8_t, std::int8_t>(); // should compile
|
|
test<std::int16_t, std::int16_t>(); // should compile
|
|
test<std::int32_t, std::int32_t>(); // should fail to compile
|
|
test<std::int64_t, std::int64_t>(); // should fail to compile
|
|
return 0;
|
|
}
|