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

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

gcc/cp/ChangeLog:

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

gcc/testsuite/ChangeLog:

* g++.dg/ext/has-builtin-1.C: Test existence of __is_function.
* g++.dg/ext/is_function.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_function.C [new file with mode: 0644]