From 3f7eea4411e4b2d8a500d9272b2ed72f73bdd008 Mon Sep 17 00:00:00 2001 From: Jonathan Wakely Date: Tue, 27 Sep 2022 09:51:10 +0100 Subject: c++: Make __is_{,nothrow_}convertible SFINAE on access [PR107049] The is_convertible built-ins should return false if the conversion fails an access check, not report an error. PR c++/107049 gcc/cp/ChangeLog: * method.cc (is_convertible_helper): Use access check sentinel. gcc/testsuite/ChangeLog: * g++.dg/ext/is_convertible4.C: New test. * g++.dg/ext/is_nothrow_convertible4.C: New test. libstdc++-v3/ChangeLog: * testsuite/20_util/is_convertible/requirements/access.cc: New test. --- gcc/cp/method.cc | 1 + 1 file changed, 1 insertion(+) (limited to 'gcc/cp/method.cc') diff --git a/gcc/cp/method.cc b/gcc/cp/method.cc index 9f917f1..55af5c4 100644 --- a/gcc/cp/method.cc +++ b/gcc/cp/method.cc @@ -2246,6 +2246,7 @@ is_convertible_helper (tree from, tree to) return integer_one_node; cp_unevaluated u; tree expr = build_stub_object (from); + deferring_access_check_sentinel acs (dk_no_deferred); return perform_implicit_conversion (to, expr, tf_none); } -- cgit v1.1