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
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
|
// OpenVPN -- An application to securely tunnel IP networks
// over a single port, with support for SSL/TLS-based
// session authentication and key exchange,
// packet encryption, packet authentication, and
// packet compression.
//
// Copyright (C) 2023 OpenVPN Inc.
//
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU Affero General Public License Version 3
// as published by the Free Software Foundation.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU Affero General Public License for more details.
//
// You should have received a copy of the GNU Affero General Public License
// along with this program in the COPYING file.
// If not, see <http://www.gnu.org/licenses/>.
#pragma once
#include <cstdint>
#include <limits>
#include <type_traits>
#include <functional>
namespace openvpn::numeric_util {
// Evaluates true if both template args are integral.
template <typename OutT, typename InT>
constexpr bool is_int_conversion()
{
return std::is_integral_v<InT> && std::is_integral_v<OutT>;
}
// Returns true if the in param is an unsigned integral type and out param is a signed integral type.
template <typename OutT, typename InT>
constexpr bool is_int_u2s()
{
return is_int_conversion<OutT, InT>() && std::is_unsigned_v<InT> && std::is_signed_v<OutT>;
}
// Returns true if the in param is a signed integral type and out param is an unsigned integral type.
template <typename OutT, typename InT>
constexpr bool is_int_s2u()
{
return is_int_conversion<OutT, InT>() && std::is_signed_v<InT> && std::is_unsigned_v<OutT>;
}
// Returns true if both args are integral and the range of OutT can contain the range of InT
template <typename OutT, typename InT>
constexpr bool is_int_rangesafe()
{
constexpr auto out_digits = std::numeric_limits<OutT>::digits;
constexpr auto in_digits = std::numeric_limits<InT>::digits;
return is_int_conversion<OutT, InT>() && !is_int_s2u<OutT, InT>() && out_digits >= in_digits;
}
/* ============================================================================================================= */
// is_safe_conversion
/* ============================================================================================================= */
/**
* @brief Returns true if the given value can be contained by the out type
*
* @tparam OutT Output type
* @tparam InT Input type
* @param inVal Input value
* @return true | false
*/
template <typename OutT, typename InT>
bool is_safe_conversion(InT inVal)
{
if constexpr (!numeric_util::is_int_rangesafe<OutT, InT>())
{
if constexpr (numeric_util::is_int_u2s<OutT, InT>())
{
auto unsignedInVal = static_cast<uintmax_t>(inVal);
auto outMax = static_cast<uintmax_t>(std::numeric_limits<OutT>::max());
if (outMax < unsignedInVal)
return false;
}
else if constexpr (numeric_util::is_int_s2u<OutT, InT>())
{
auto lowerVal = static_cast<uintmax_t>(std::max(inVal, InT(0)));
auto upperLimit = static_cast<uintmax_t>(std::numeric_limits<OutT>::max());
if (inVal < 0 || lowerVal > upperLimit)
return false;
}
else
{
auto outMin = static_cast<InT>(std::numeric_limits<OutT>::min());
auto outMax = static_cast<InT>(std::numeric_limits<OutT>::max());
if (inVal < outMin || inVal > outMax)
return false;
}
}
return true;
}
} // namespace openvpn::numeric_util
|
