blob: 5affb986e719e5b33720ee1fa9f59f4b11f60189 (
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
|
// Copyright 2022 The Chromium Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
#ifndef IPCZ_SRC_UTIL_SAFE_MATH_
#define IPCZ_SRC_UTIL_SAFE_MATH_
#include <limits>
#include "third_party/abseil-cpp/absl/base/macros.h"
#include "third_party/abseil-cpp/absl/base/optimization.h"
namespace ipcz {
template <typename Dst, typename Src>
constexpr Dst checked_cast(Src value) {
// This throws a compile-time error on evaluating the constexpr if it can be
// determined at compile-time as failing, otherwise it will fail an
// assertion at runtime.
ABSL_HARDENING_ASSERT(
ABSL_PREDICT_TRUE(value <= std::numeric_limits<Dst>::max()));
return static_cast<Dst>(value);
}
template <typename T>
constexpr T CheckAdd(T a, T b) {
T result;
ABSL_HARDENING_ASSERT(
!ABSL_PREDICT_FALSE(__builtin_add_overflow(a, b, &result)));
return result;
}
template <typename T>
constexpr T CheckMul(T a, T b) {
T result;
ABSL_HARDENING_ASSERT(
!ABSL_PREDICT_FALSE(__builtin_mul_overflow(a, b, &result)));
return result;
}
template <typename T>
T SaturatedAdd(T a, T b) {
T result;
if (!__builtin_add_overflow(a, b, &result)) {
return result;
}
return std::numeric_limits<T>::max();
}
} // namespace ipcz
#endif // IPCZ_SRC_UTIL_SAFE_MATH_
|
