c++: Implement __is_reference built-in trait
commit5bca9af579a06bbf7160613f948ecf2092299437
authorKen Matsui <kmatsui@gcc.gnu.org>
Thu, 7 Dec 2023 05:33:11 +0000 (6 21:33 -0800)
committerJason Merrill <jason@redhat.com>
Sun, 10 Dec 2023 18:11:23 +0000 (10 13:11 -0500)
treed7ba523551e6af7a45b724b21655e6fa0861906e
parentf4007cb78e428c7a82b85b7c1c4104946b98c933
c++: Implement __is_reference built-in trait

This patch implements built-in trait for std::is_reference.

gcc/cp/ChangeLog:

* cp-trait.def: Define __is_reference.
* constraint.cc (diagnose_trait_expr): Handle CPTK_IS_REFERENCE.
* semantics.cc (trait_expr_value): Likewise.
(finish_trait_expr): Likewise.

gcc/testsuite/ChangeLog:

* g++.dg/ext/has-builtin-1.C: Test existence of __is_reference.
* g++.dg/ext/is_reference.C: New test.

Signed-off-by: Ken Matsui <kmatsui@gcc.gnu.org>
gcc/cp/constraint.cc
gcc/cp/cp-trait.def
gcc/cp/semantics.cc
gcc/testsuite/g++.dg/ext/has-builtin-1.C
gcc/testsuite/g++.dg/ext/is_reference.C [new file with mode: 0644]