Coverage Report

Created: 2024-09-23 06:29

/src/abseil-cpp/absl/base/macros.h
Line
Count
Source (jump to first uncovered line)
1
//
2
// Copyright 2017 The Abseil Authors.
3
//
4
// Licensed under the Apache License, Version 2.0 (the "License");
5
// you may not use this file except in compliance with the License.
6
// You may obtain a copy of the License at
7
//
8
//      https://www.apache.org/licenses/LICENSE-2.0
9
//
10
// Unless required by applicable law or agreed to in writing, software
11
// distributed under the License is distributed on an "AS IS" BASIS,
12
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13
// See the License for the specific language governing permissions and
14
// limitations under the License.
15
//
16
// -----------------------------------------------------------------------------
17
// File: macros.h
18
// -----------------------------------------------------------------------------
19
//
20
// This header file defines the set of language macros used within Abseil code.
21
// For the set of macros used to determine supported compilers and platforms,
22
// see absl/base/config.h instead.
23
//
24
// This code is compiled directly on many platforms, including client
25
// platforms like Windows, Mac, and embedded systems.  Before making
26
// any changes here, make sure that you're not breaking any platforms.
27
28
#ifndef ABSL_BASE_MACROS_H_
29
#define ABSL_BASE_MACROS_H_
30
31
#include <cassert>
32
#include <cstddef>
33
34
#include "absl/base/attributes.h"
35
#include "absl/base/config.h"
36
#include "absl/base/optimization.h"
37
#include "absl/base/options.h"
38
#include "absl/base/port.h"
39
40
// ABSL_ARRAYSIZE()
41
//
42
// Returns the number of elements in an array as a compile-time constant, which
43
// can be used in defining new arrays. If you use this macro on a pointer by
44
// mistake, you will get a compile-time error.
45
#define ABSL_ARRAYSIZE(array) \
46
3.79M
  (sizeof(::absl::macros_internal::ArraySizeHelper(array)))
47
48
namespace absl {
49
ABSL_NAMESPACE_BEGIN
50
namespace macros_internal {
51
// Note: this internal template function declaration is used by ABSL_ARRAYSIZE.
52
// The function doesn't need a definition, as we only use its type.
53
template <typename T, size_t N>
54
auto ArraySizeHelper(const T (&array)[N]) -> char (&)[N];
55
}  // namespace macros_internal
56
ABSL_NAMESPACE_END
57
}  // namespace absl
58
59
// ABSL_BAD_CALL_IF()
60
//
61
// Used on a function overload to trap bad calls: any call that matches the
62
// overload will cause a compile-time error. This macro uses a clang-specific
63
// "enable_if" attribute, as described at
64
// https://clang.llvm.org/docs/AttributeReference.html#enable-if
65
//
66
// Overloads which use this macro should be bracketed by
67
// `#ifdef ABSL_BAD_CALL_IF`.
68
//
69
// Example:
70
//
71
//   int isdigit(int c);
72
//   #ifdef ABSL_BAD_CALL_IF
73
//   int isdigit(int c)
74
//     ABSL_BAD_CALL_IF(c <= -1 || c > 255,
75
//                       "'c' must have the value of an unsigned char or EOF");
76
//   #endif // ABSL_BAD_CALL_IF
77
#if ABSL_HAVE_ATTRIBUTE(enable_if)
78
#define ABSL_BAD_CALL_IF(expr, msg) \
79
  __attribute__((enable_if(expr, "Bad call trap"), unavailable(msg)))
80
#endif
81
82
// ABSL_ASSERT()
83
//
84
// In C++11, `assert` can't be used portably within constexpr functions.
85
// ABSL_ASSERT functions as a runtime assert but works in C++11 constexpr
86
// functions.  Example:
87
//
88
// constexpr double Divide(double a, double b) {
89
//   return ABSL_ASSERT(b != 0), a / b;
90
// }
91
//
92
// This macro is inspired by
93
// https://akrzemi1.wordpress.com/2017/05/18/asserts-in-constexpr-functions/
94
#if defined(NDEBUG)
95
#define ABSL_ASSERT(expr) \
96
  (false ? static_cast<void>(expr) : static_cast<void>(0))
97
#else
98
#define ABSL_ASSERT(expr)                           \
99
537M
  (ABSL_PREDICT_TRUE((expr)) ? static_cast<void>(0) \
100
537M
                             : [] { assert(false && #expr); }())  // NOLINT
Unexecuted instantiation: absl::container_internal::AssertIsValidForComparison(absl::container_internal::ctrl_t const*, unsigned char, unsigned char const*)::{lambda()#1}::operator()() const
Unexecuted instantiation: absl::container_internal::AssertSameContainer(absl::container_internal::ctrl_t const*, absl::container_internal::ctrl_t const*, void const* const&, void const* const&, unsigned char const*, unsigned char const*)::{lambda()#1}::operator()() const
Unexecuted instantiation: absl::Span<char>::remove_prefix(unsigned long)::{lambda()#1}::operator()() const
Unexecuted instantiation: absl::Span<char>::remove_suffix(unsigned long)::{lambda()#1}::operator()() const
Unexecuted instantiation: absl::Span<char>::operator[](unsigned long) const::{lambda()#1}::operator()() const
Unexecuted instantiation: absl::Span<char const>::operator[](unsigned long) const::{lambda()#1}::operator()() const
Unexecuted instantiation: absl::Span<char const>::remove_suffix(unsigned long)::{lambda()#1}::operator()() const
Unexecuted instantiation: absl::Span<char const>::remove_prefix(unsigned long)::{lambda()#1}::operator()() const
Unexecuted instantiation: absl::FixedArray<char, 18446744073709551615ul, std::__1::allocator<char> >::operator[](unsigned long)::{lambda()#1}::operator()() const
Unexecuted instantiation: absl::Span<absl::str_format_internal::FormatArgImpl const>::operator[](unsigned long) const::{lambda()#1}::operator()() const
Unexecuted instantiation: absl::inlined_vector_internal::Storage<absl::str_format_internal::FormatArgImpl, 4ul, std::__1::allocator<absl::str_format_internal::FormatArgImpl> >::Initialize<absl::inlined_vector_internal::IteratorValueAdapter<std::__1::allocator<absl::str_format_internal::FormatArgImpl>, absl::str_format_internal::FormatArgImpl const*> >(absl::inlined_vector_internal::IteratorValueAdapter<std::__1::allocator<absl::str_format_internal::FormatArgImpl>, absl::str_format_internal::FormatArgImpl const*>, unsigned long)::{lambda()#1}::operator()() const
Unexecuted instantiation: absl::inlined_vector_internal::Storage<absl::str_format_internal::FormatArgImpl, 4ul, std::__1::allocator<absl::str_format_internal::FormatArgImpl> >::Initialize<absl::inlined_vector_internal::IteratorValueAdapter<std::__1::allocator<absl::str_format_internal::FormatArgImpl>, absl::str_format_internal::FormatArgImpl const*> >(absl::inlined_vector_internal::IteratorValueAdapter<std::__1::allocator<absl::str_format_internal::FormatArgImpl>, absl::str_format_internal::FormatArgImpl const*>, unsigned long)::{lambda()#2}::operator()() const
Unexecuted instantiation: absl::Span<unsigned int>::operator[](unsigned long) const::{lambda()#1}::operator()() const
101
#endif
102
103
// `ABSL_INTERNAL_HARDENING_ABORT()` controls how `ABSL_HARDENING_ASSERT()`
104
// aborts the program in release mode (when NDEBUG is defined). The
105
// implementation should abort the program as quickly as possible and ideally it
106
// should not be possible to ignore the abort request.
107
#define ABSL_INTERNAL_HARDENING_ABORT()   \
108
  do {                                    \
109
    ABSL_INTERNAL_IMMEDIATE_ABORT_IMPL(); \
110
    ABSL_INTERNAL_UNREACHABLE_IMPL();     \
111
  } while (false)
112
113
// ABSL_HARDENING_ASSERT()
114
//
115
// `ABSL_HARDENING_ASSERT()` is like `ABSL_ASSERT()`, but used to implement
116
// runtime assertions that should be enabled in hardened builds even when
117
// `NDEBUG` is defined.
118
//
119
// When `NDEBUG` is not defined, `ABSL_HARDENING_ASSERT()` is identical to
120
// `ABSL_ASSERT()`.
121
//
122
// See `ABSL_OPTION_HARDENED` in `absl/base/options.h` for more information on
123
// hardened mode.
124
#if (ABSL_OPTION_HARDENED == 1 || ABSL_OPTION_HARDENED == 2) && defined(NDEBUG)
125
#define ABSL_HARDENING_ASSERT(expr)                 \
126
  (ABSL_PREDICT_TRUE((expr)) ? static_cast<void>(0) \
127
                             : [] { ABSL_INTERNAL_HARDENING_ABORT(); }())
128
#else
129
537M
#define ABSL_HARDENING_ASSERT(expr) ABSL_ASSERT(expr)
130
#endif
131
132
// ABSL_HARDENING_ASSERT_SLOW()
133
//
134
// `ABSL_HARDENING_ASSERT()` is like `ABSL_HARDENING_ASSERT()`,
135
//  but specifically for assertions whose predicates are too slow
136
//  to be enabled in many applications.
137
//
138
// When `NDEBUG` is not defined, `ABSL_HARDENING_ASSERT_SLOW()` is identical to
139
// `ABSL_ASSERT()`.
140
//
141
// See `ABSL_OPTION_HARDENED` in `absl/base/options.h` for more information on
142
// hardened mode.
143
#if ABSL_OPTION_HARDENED == 1 && defined(NDEBUG)
144
#define ABSL_HARDENING_ASSERT_SLOW(expr)            \
145
  (ABSL_PREDICT_TRUE((expr)) ? static_cast<void>(0) \
146
                             : [] { ABSL_INTERNAL_HARDENING_ABORT(); }())
147
#else
148
#define ABSL_HARDENING_ASSERT_SLOW(expr) ABSL_ASSERT(expr)
149
#endif
150
151
#ifdef ABSL_HAVE_EXCEPTIONS
152
5.12M
#define ABSL_INTERNAL_TRY try
153
#define ABSL_INTERNAL_CATCH_ANY catch (...)
154
0
#define ABSL_INTERNAL_RETHROW do { throw; } while (false)
155
#else  // ABSL_HAVE_EXCEPTIONS
156
#define ABSL_INTERNAL_TRY if (true)
157
#define ABSL_INTERNAL_CATCH_ANY else if (false)
158
#define ABSL_INTERNAL_RETHROW do {} while (false)
159
#endif  // ABSL_HAVE_EXCEPTIONS
160
161
// ABSL_DEPRECATE_AND_INLINE()
162
//
163
// Marks a function or type alias as deprecated and tags it to be picked up for
164
// automated refactoring by go/cpp-inliner. It can added to inline function
165
// definitions or type aliases. It should only be used within a header file. It
166
// differs from `ABSL_DEPRECATED` in the following ways:
167
//
168
// 1. New uses of the function or type will be discouraged via Tricorder
169
//    warnings.
170
// 2. If enabled via `METADATA`, automated changes will be sent out inlining the
171
//    functions's body or replacing the type where it is used.
172
//
173
// For example:
174
//
175
// ABSL_DEPRECATE_AND_INLINE() inline int OldFunc(int x) {
176
//   return NewFunc(x, 0);
177
// }
178
//
179
// will mark `OldFunc` as deprecated, and the go/cpp-inliner service will
180
// replace calls to `OldFunc(x)` with calls to `NewFunc(x, 0)`. Once all calls
181
// to `OldFunc` have been replaced, `OldFunc` can be deleted.
182
//
183
// See go/cpp-inliner for more information.
184
//
185
// Note: go/cpp-inliner is Google-internal service for automated refactoring.
186
// While open-source users do not have access to this service, the macro is
187
// provided for compatibility, and so that users receive deprecation warnings.
188
#if ABSL_HAVE_CPP_ATTRIBUTE(deprecated) && \
189
    ABSL_HAVE_CPP_ATTRIBUTE(clang::annotate)
190
#define ABSL_DEPRECATE_AND_INLINE() [[deprecated, clang::annotate("inline-me")]]
191
#elif ABSL_HAVE_CPP_ATTRIBUTE(deprecated)
192
#define ABSL_DEPRECATE_AND_INLINE() [[deprecated]]
193
#else
194
#define ABSL_DEPRECATE_AND_INLINE()
195
#endif
196
197
// Requires the compiler to prove that the size of the given object is at least
198
// the expected amount.
199
#if ABSL_HAVE_ATTRIBUTE(diagnose_if) && ABSL_HAVE_BUILTIN(__builtin_object_size)
200
#define ABSL_INTERNAL_NEED_MIN_SIZE(Obj, N)                     \
201
  __attribute__((diagnose_if(__builtin_object_size(Obj, 0) < N, \
202
                             "object size provably too small "  \
203
                             "(this would corrupt memory)",     \
204
                             "error")))
205
#else
206
#define ABSL_INTERNAL_NEED_MIN_SIZE(Obj, N)
207
#endif
208
209
#endif  // ABSL_BASE_MACROS_H_