blob: 931d5800caf16aa5dc23b98b3332a0ae8d08ddb6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
|
// Copyright (c) 2006 Johan Rade
// Copyright (c) 2011 Paul A. Bristow To incorporate into Boost.Math
// 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)
#ifdef _MSC_VER
# pragma warning(disable : 4702) // Unreachable code.
# pragma warning(disable : 4127) // expression is constant.
#endif
#define BOOST_TEST_MAIN
#include <iomanip>
#include <locale>
#include <sstream>
#include <limits>
#include <boost/test/auto_unit_test.hpp>
#include <boost/math/special_functions/nonfinite_num_facets.hpp>
#include "almost_equal.ipp"
#include "s_.ipp"
namespace {
// the anonymous namespace resolves ambiguities on platforms
// with fpclassify etc functions at global scope
using namespace boost::math;
using boost::math::signbit;
using boost::math::changesign;
using boost::math::isnan;
//------------------------------------------------------------------------------
template<class CharType, class ValType> void signed_zero_test_impl();
BOOST_AUTO_TEST_CASE(signed_zero_test)
{
signed_zero_test_impl<char, float>();
signed_zero_test_impl<char, double>();
signed_zero_test_impl<char, long double>();
signed_zero_test_impl<wchar_t, float>();
signed_zero_test_impl<wchar_t, double>();
signed_zero_test_impl<wchar_t, long double>();
}
template<class CharType, class ValType> void signed_zero_test_impl()
{
if (signbit(static_cast<CharType>(-1e-6f)/(std::numeric_limits<CharType>::max)()) != -0)
{
BOOST_TEST_MESSAGE("Signed zero is not supported on this platform.");
return;
}
std::locale old_locale;
std::locale tmp_locale(
old_locale, new nonfinite_num_put<CharType>(signed_zero));
std::locale new_locale(tmp_locale, new nonfinite_num_get<CharType>);
std::basic_stringstream<CharType> ss;
ss.imbue(new_locale);
ValType a1 = static_cast<ValType>(0);
ValType a2 = (changesign)(static_cast<ValType>(0));
BOOST_CHECK(!(signbit)(a1));
BOOST_CHECK((signbit)(a2));
ss << a1 << ' ' << a2;
std::basic_string<CharType> s = S_("0 -0");
BOOST_CHECK(ss.str() == s);
ValType b1, b2;
ss >> b1 >> b2;
BOOST_CHECK(b1 == a1);
BOOST_CHECK(b2 == a2);
BOOST_CHECK(!(signbit)(b1));
BOOST_CHECK((signbit)(b2));
BOOST_CHECK(ss.rdstate() == std::ios_base::eofbit);
}
//------------------------------------------------------------------------------
} // anonymous namespace
|
