2917004aed
In C++11 mode and newer, use real static_asserts. In C++03 mode, min() and max() aren't constexpr, so use plain asserts. One test triggers MSVC's warning C4310 "cast truncates constant value". The code is valid, and yet the warning is valid, so I'm silencing it through push-disable-pop. git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@287391 91177308-0d34-0410-b5e6-96231b3b80d8
58 lines
1.3 KiB
C++
58 lines
1.3 KiB
C++
//===----------------------------------------------------------------------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is dual licensed under the MIT and the University of Illinois Open
|
|
// Source Licenses. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// <random>
|
|
|
|
// template<class Engine, size_t w, class UIntType>
|
|
// class independent_bits_engine
|
|
// {
|
|
// public:
|
|
// // types
|
|
// typedef UIntType result_type;
|
|
//
|
|
// // engine characteristics
|
|
// static constexpr result_type min() { return 0; }
|
|
// static constexpr result_type max() { return 2^w - 1; }
|
|
|
|
#include <random>
|
|
#include <type_traits>
|
|
#include <cassert>
|
|
|
|
void
|
|
test1()
|
|
{
|
|
typedef std::independent_bits_engine<std::ranlux24, 32, unsigned> E;
|
|
#if TEST_STD_VER >= 11
|
|
static_assert((E::min() == 0), "");
|
|
static_assert((E::max() == 0xFFFFFFFF), "");
|
|
#else
|
|
assert((E::min() == 0));
|
|
assert((E::max() == 0xFFFFFFFF));
|
|
#endif
|
|
}
|
|
|
|
void
|
|
test2()
|
|
{
|
|
typedef std::independent_bits_engine<std::ranlux48, 64, unsigned long long> E;
|
|
#if TEST_STD_VER >= 11
|
|
static_assert((E::min() == 0), "");
|
|
static_assert((E::max() == 0xFFFFFFFFFFFFFFFFull), "");
|
|
#else
|
|
assert((E::min() == 0));
|
|
assert((E::max() == 0xFFFFFFFFFFFFFFFFull));
|
|
#endif
|
|
}
|
|
|
|
int main()
|
|
{
|
|
test1();
|
|
test2();
|
|
}
|