[PATCH 2/2] libstdc++: use new built-in trait __is_volatile

2023-03-22 Thread Ken Matsui via Gcc-patches
This patch lets libstdc++ use new built-in trait __is_volatile. libstdc++-v3/ChangeLog: * include/std/type_traits (is_volatile): Use __is_volatile built-in trait. --- libstdc++-v3/include/std/type_traits | 7 +++ 1 file changed, 7 insertions(+) diff --git a/libstdc++-v3/incl

[PATCH v2 1/2] c++: implement __is_unsigned built-in trait

2023-03-22 Thread Ken Matsui via Gcc-patches
This patch implements built-in trait for std::is_unsigned. gcc/cp/ChangeLog: * cp-trait.def: Define __is_unsigned. * constraint.cc (diagnose_trait_expr): Handle CPTK_IS_UNSIGNED. * semantics.cc (trait_expr_value): Likewise. (finish_trait_expr): Likewise. gcc/tests

[PATCH v2 2/2] libstdc++: use new built-in trait __is_unsigned

2023-03-22 Thread Ken Matsui via Gcc-patches
This patch lets libstdc++ use new built-in trait __is_unsigned. libstdc++-v3/ChangeLog: * include/std/type_traits (is_unsigned): Use __is_unsigned built-in trait. --- libstdc++-v3/include/std/type_traits | 7 +++ 1 file changed, 7 insertions(+) diff --git a/libstdc++-v3/incl

[PATCH] libstdc++: use __bool_constant instead of integral_constant

2023-03-22 Thread Ken Matsui via Gcc-patches
In the type_traits header, both integral_constant and __bool_constant are used. This patch unifies those usages into __bool_constant. libstdc++-v3/ChangeLog: * include/std/type_traits: Use __bool_constant instead of integral_constant. --- libstdc++-v3/include/std/type_traits | 32

Re: [PATCH] libstdc++: use __bool_constant instead of integral_constant

2023-03-23 Thread Ken Matsui via Gcc-patches
Thank you so much for your review! This is my first time contributing to GCC, so I do not have a GCC copyright assignment. I googled those two ways, but I am still confused... Is it correct that the DCO sign-off has been getting more common recently? If so, I will put the sign-off into all my patc

Re: [PATCH] libstdc++: use __bool_constant instead of integral_constant

2023-03-23 Thread Ken Matsui via Gcc-patches
On Thu, Mar 23, 2023 at 3:46 AM Ville Voutilainen wrote: > > On Thu, 23 Mar 2023 at 12:18, Ken Matsui via Libstdc++ > wrote: > > > > Thank you so much for your review! > > > > This is my first time contributing to GCC, so I do not have a GCC > > copyright assignment. I googled those two ways, but

Re: [PATCH] libstdc++: use __bool_constant instead of integral_constant

2023-03-23 Thread Ken Matsui via Gcc-patches
On Thu, Mar 23, 2023 at 3:56 AM Ville Voutilainen wrote: > > On Thu, 23 Mar 2023 at 12:53, Ken Matsui wrote: > > > > DCO sign-off is indeed more light-weight, and sure, it's becoming more > > > common > > > since it's relatively new as an option. > > > > Thank you! > > > > To add a DCO sign-off,

[PATCH] libstdc++: use __bool_constant instead of integral_constant

2023-03-23 Thread Ken Matsui via Gcc-patches
In the type_traits header, both integral_constant and __bool_constant are used. This patch unifies those usages into __bool_constant. libstdc++-v3/ChangeLog: * include/std/type_traits: Use __bool_constant instead of integral_constant. Signed-off-by: Ken Matsui --- libstdc++-v3/

[PATCH 00/10] c++, libstdc++: get std::is_object to dispatch to new built-in traits

2023-03-25 Thread Ken Matsui via Gcc-patches
Hi, This patch series gets std::is_object to dispatch to built-in traits and implements the following built-in traits, on which std::object depends. * __is_reference * __is_function * __is_void std::is_object was depending on them with disjunction and negation. __not_<__

[PATCH 02/10] libstdc++: use new built-in trait __is_reference for std::is_reference

2023-03-25 Thread Ken Matsui via Gcc-patches
This patch gets std::is_reference to dispatch to new built-in trait __is_reference. libstdc++-v3/ChangeLog: * include/std/type_traits (is_reference): Use __is_reference built-in trait. Signed-off-by: Ken Matsui --- libstdc++-v3/include/std/type_traits | 7 +++ 1 file change

[PATCH 01/10] c++: implement __is_reference built-in trait

2023-03-25 Thread Ken Matsui via Gcc-patches
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/te

[PATCH 06/10] libstdc++: remove unused __is_void in cpp_type_traits.h

2023-03-25 Thread Ken Matsui via Gcc-patches
This patch removes unused __is_void defined in cpp_type_traits.h libstdc++-v3/ChangeLog: * include/bits/cpp_type_traits.h (__is_void): Remove unused __is_void. Signed-off-by: Ken Matsui --- libstdc++-v3/include/bits/cpp_type_traits.h | 15 --- 1 file changed, 15 deletions(-

[PATCH 07/10] c++: rename __is_void defined in pr46567.C to ____is_void

2023-03-25 Thread Ken Matsui via Gcc-patches
This patch renames __is_void defined in pr46567.C to is_void to avoid conflicts with the __is_void built-in trait to be implemented. gcc/testsuite/ChangeLog: * g++.dg/tm/pr46567.C (__is_void): Rename to ... (is_void): ... this. Signed-off-by: Ken Matsui --- gcc/testsuit

[PATCH 05/10] libstdc++: use std::is_void instead of __is_void in helper_functions.h

2023-03-25 Thread Ken Matsui via Gcc-patches
This patch uses std::is_void in helper_function.h instead of __is_void defined in cpp_type_traits.h to avoid conflicts with the __is_void built-in trait to be implemented. libstdc++-v3/ChangeLog: * include/debug/helper_function.h (_DiffTraits): Use std::void instead of __is_void d

[PATCH 04/10] libstdc++: use new built-in trait __is_function for std::is_function

2023-03-25 Thread Ken Matsui via Gcc-patches
This patch gets std::is_function to dispatch to new built-in trait __is_function. libstdc++-v3/ChangeLog: * include/std/type_traits (is_function): Use __is_function built-in trait. Signed-off-by: Ken Matsui --- libstdc++-v3/include/std/type_traits | 7 +++ 1 file changed, 7

[PATCH 10/10] libstdc++: make std::is_object dispatch to new built-in traits

2023-03-25 Thread Ken Matsui via Gcc-patches
This patch gets std::is_object to dispatch to new built-in traits, __is_function, __is_reference, and __is_void. libstdc++-v3/ChangeLog: * include/std/type_traits (is_object): Use new built-in traits, __is_function, __is_reference, and __is_void. Signed-off-by: Ken Matsui --- l

[PATCH 03/10] c++: implement __is_function built-in trait

2023-03-25 Thread Ken Matsui via Gcc-patches
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/tests

[PATCH 08/10] c++: implement __is_void built-in trait

2023-03-25 Thread Ken Matsui via Gcc-patches
This patch implements built-in trait for std::is_void. gcc/cp/ChangeLog: * cp-trait.def: Define __is_void. * constraint.cc (diagnose_trait_expr): Handle CPTK_IS_VOID. * semantics.cc (trait_expr_value): Likewise. (finish_trait_expr): Likewise. gcc/testsuite/ChangeL

[PATCH 09/10] libstdc++: use new built-in trait __is_void for std::is_void

2023-03-25 Thread Ken Matsui via Gcc-patches
This patch gets std::is_void to dispatch to new built-in trait __is_void. libstdc++-v3/ChangeLog: * include/std/type_traits (is_void): Use __is_void built-in trait. Signed-off-by: Ken Matsui --- libstdc++-v3/include/std/type_traits | 7 +++ 1 file changed, 7 insertions(+) diff --g

[PATCH 0/7] c++, libstdc++: get std::is_object to dispatch to new built-in traits

2023-03-30 Thread Ken Matsui via Gcc-patches
Hi, This patch series gets std::is_object to dispatch to built-in traits and implements the following built-in traits, on which std::object depends. * __is_reference * __is_function * __is_void std::is_object was depending on them with disjunction and negation. __not_<__

[PATCH v2 2/7] libstdc++: use new built-in trait __is_reference for std::is_reference

2023-03-30 Thread Ken Matsui via Gcc-patches
This patch gets std::is_reference to dispatch to new built-in trait __is_reference. libstdc++-v3/ChangeLog: * include/std/type_traits (is_reference): Use __is_reference built-in trait. Signed-off-by: Ken Matsui --- libstdc++-v3/include/std/type_traits | 7 +++ 1 file change

[PATCH v2 0/7] c++, libstdc++: get std::is_object to dispatch to new built-in traits

2023-03-30 Thread Ken Matsui via Gcc-patches
Hi, This patch series gets std::is_object to dispatch to built-in traits and implements the following built-in traits, on which std::object depends. * __is_reference * __is_function * __is_void std::is_object was depending on them with disjunction and negation. __not_<__

[PATCH v2 3/7] c++: implement __is_function built-in trait

2023-03-30 Thread Ken Matsui via Gcc-patches
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/tests

[PATCH v2 1/7] c++: implement __is_reference built-in trait

2023-03-30 Thread Ken Matsui via Gcc-patches
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/te

[PATCH v2 4/7] libstdc++: use new built-in trait __is_function for std::is_function

2023-03-30 Thread Ken Matsui via Gcc-patches
This patch gets std::is_function to dispatch to new built-in trait __is_function. libstdc++-v3/ChangeLog: * include/std/type_traits (is_function): Use __is_function built-in trait. Signed-off-by: Ken Matsui --- libstdc++-v3/include/std/type_traits | 7 +++ 1 file changed, 7

[PATCH v2 6/7] libstdc++: use new built-in trait __is_void for std::is_void

2023-03-30 Thread Ken Matsui via Gcc-patches
This patch gets std::is_void to dispatch to new built-in trait __is_void. libstdc++-v3/ChangeLog: * include/std/type_traits (is_void): Use __is_void built-in trait. Signed-off-by: Ken Matsui --- libstdc++-v3/include/std/type_traits | 7 +++ 1 file changed, 7 insertions(+) diff --g

[PATCH v2 5/7] c++, libstdc++: implement __is_void built-in trait

2023-03-30 Thread Ken Matsui via Gcc-patches
This patch implements built-in trait for std::is_void. Since the new built-in name is __is_void, to avoid unintentional macro replacement, this patch also involves the removal of the existing __is_void in helper_functions.h and cpp_type_traits.h and renaming __is_void to is_void in the test fil

[PATCH v2 7/7] libstdc++: make std::is_object dispatch to new built-in traits

2023-03-30 Thread Ken Matsui via Gcc-patches
This patch gets std::is_object to dispatch to new built-in traits, __is_function, __is_reference, and __is_void. libstdc++-v3/ChangeLog: * include/std/type_traits (is_object): Use new built-in traits, __is_function, __is_reference, and __is_void. Signed-off-by: Ken Matsui --- li

[PATCH v3 0/6] c++, libstdc++: get std::is_object to dispatch to new built-in traits

2023-04-02 Thread Ken Matsui via Gcc-patches
Hi, This patch series gets std::is_object to dispatch to built-in traits and implements the following built-in traits, on which std::object depends. * __is_reference * __is_function * __is_void std::is_object was depending on them with disjunction and negation. __not_<__

[PATCH v3 3/6] c++: implement __is_function built-in trait

2023-04-02 Thread Ken Matsui via Gcc-patches
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/tests

[PATCH v3 2/6] libstdc++: use new built-in trait __is_reference for std::is_reference

2023-04-02 Thread Ken Matsui via Gcc-patches
This patch gets std::is_reference to dispatch to new built-in trait __is_reference. libstdc++-v3/ChangeLog: * include/std/type_traits (is_reference): Use __is_reference built-in trait. Signed-off-by: Ken Matsui --- libstdc++-v3/include/std/type_traits | 7 +++ 1 file change

[PATCH v3 1/6] c++: implement __is_reference built-in trait

2023-04-02 Thread Ken Matsui via Gcc-patches
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/te

[PATCH v3 5/6] c++, libstdc++: implement __is_void built-in trait

2023-04-02 Thread Ken Matsui via Gcc-patches
This patch implements built-in trait for std::is_void. Since the new built-in name is __is_void, to avoid unintentional macro replacement, this patch also involves the removal of the existing __is_void in helper_functions.h and cpp_type_traits.h and renaming __is_void to is_void in the test fil

[PATCH v3 4/6] libstdc++: use new built-in trait __is_function for std::is_function

2023-04-02 Thread Ken Matsui via Gcc-patches
This patch gets std::is_function to dispatch to new built-in trait __is_function. libstdc++-v3/ChangeLog: * include/std/type_traits (is_function): Use __is_function built-in trait. Signed-off-by: Ken Matsui --- libstdc++-v3/include/std/type_traits | 7 +++ 1 file changed, 7

[PATCH v3 6/6] libstdc++: make std::is_object dispatch to new built-in traits

2023-04-02 Thread Ken Matsui via Gcc-patches
This patch gets std::is_object to dispatch to new built-in traits, __is_function, __is_reference, and __is_void. libstdc++-v3/ChangeLog: * include/std/type_traits (is_object): Use new built-in traits, __is_function, __is_reference, and __is_void. Signed-off-by: Ken Matsui --- li

PING: [PATCH] libstdc++: use __bool_constant instead of integral_constant

2023-04-07 Thread Ken Matsui via Gcc-patches
Ping for this patch. On Thu, Mar 23, 2023 at 4:06 AM Ken Matsui wrote: > > In the type_traits header, both integral_constant and __bool_constant > are used. This patch unifies those usages into __bool_constant. > > libstdc++-v3/ChangeLog: > > * include/std/type_traits: Use __bool_constant

Re: [PATCH] libstdc++: use __bool_constant instead of integral_constant

2023-04-08 Thread Ken Matsui via Gcc-patches
I see. Thank you! On Sat, Apr 8, 2023 at 12:52 AM Jonathan Wakely wrote: > > This looks good, thanks, but we're too close to the gcc 13 release now, and > this isn't fixing any bugs. I'll push it after the release. > > > On Thu, 23 Mar 2023, 11:07 Ken Matsui via Libstdc++, > wrote: >> >> In th

<    1   2   3   4   5