Skip to content

Commit 0cb2fe5

Browse files
authored
[Clang] Deprecate __is_referenceable (#123185)
`__is_referenceable` is almost unused in the wild, and the few cases I was able to find had checks around them. Since The places in the standard library where `__is_referenceable` is used have bespoke builtins, it doesn't make a ton of sense to keep this builtin around. See #123078
1 parent 7a7d12b commit 0cb2fe5

File tree

2 files changed

+9
-4
lines changed

2 files changed

+9
-4
lines changed

clang/docs/LanguageExtensions.rst

+1-1
Original file line numberDiff line numberDiff line change
@@ -1697,7 +1697,7 @@ The following type trait primitives are supported by Clang. Those traits marked
16971697
* ``__is_referenceable`` (C++, GNU, Microsoft, Embarcadero):
16981698
Returns true if a type is referenceable, and false otherwise. A referenceable
16991699
type is a type that's either an object type, a reference type, or an unqualified
1700-
function type.
1700+
function type. This trait is deprecated and will be removed in Clang 21.
17011701
* ``__is_rvalue_reference`` (C++, Embarcadero)
17021702
* ``__is_same`` (C++, Embarcadero)
17031703
* ``__is_same_as`` (GCC): Synonym for ``__is_same``.

clang/docs/ReleaseNotes.rst

+8-3
Original file line numberDiff line numberDiff line change
@@ -93,6 +93,11 @@ C++ Specific Potentially Breaking Changes
9393
few users and can be written as ``__is_same(__remove_cv(T), decltype(nullptr))``,
9494
which GCC supports as well.
9595

96+
- The type trait builtin ``__is_referenceable`` has been deprecated, since it has
97+
very few users and all the type traits that could benefit from it in the
98+
standard library already have their own bespoke builtins. It will be removed in
99+
Clang 21.
100+
96101
- Clang will now correctly diagnose as ill-formed a constant expression where an
97102
enum without a fixed underlying type is set to a value outside the range of
98103
the enumeration's values.
@@ -310,7 +315,7 @@ C++23 Feature Support
310315

311316
- Extend lifetime of temporaries in mem-default-init for P2718R0. Clang now fully
312317
supports `P2718R0 Lifetime extension in range-based for loops <https://wg21.link/P2718R0>`_.
313-
318+
314319
- ``__cpp_explicit_this_parameter`` is now defined. (#GH82780)
315320

316321
C++20 Feature Support
@@ -717,7 +722,7 @@ Improvements to Clang's diagnostics
717722

718723
- Clang now diagnoses dangling references for C++20's parenthesized aggregate initialization (#101957).
719724

720-
- Fixed a bug where Clang would not emit ``-Wunused-private-field`` warnings when an unrelated class
725+
- Fixed a bug where Clang would not emit ``-Wunused-private-field`` warnings when an unrelated class
721726
defined a defaulted comparison operator (#GH116270).
722727

723728
.. code-block:: c++
@@ -937,7 +942,7 @@ Bug Fixes to C++ Support
937942
- Fixed an assertion failure caused by invalid default argument substitutions in non-defining
938943
friend declarations. (#GH113324)
939944
- Fix a crash caused by incorrect argument position in merging deduced template arguments. (#GH113659)
940-
- Fixed a parser crash when using pack indexing as a nested name specifier. (#GH119072)
945+
- Fixed a parser crash when using pack indexing as a nested name specifier. (#GH119072)
941946
- Fixed a null pointer dereference issue when heuristically computing ``sizeof...(pack)`` expressions. (#GH81436)
942947
- Fixed an assertion failure caused by mangled names with invalid identifiers. (#GH112205)
943948
- Fixed an incorrect lambda scope of generic lambdas that caused Clang to crash when computing potential lambda

0 commit comments

Comments
 (0)