diff options
| author | Jonathan Wakely <jwakely@redhat.com> | 2022-09-27 09:51:10 +0100 |
|---|---|---|
| committer | Jonathan Wakely <jwakely@redhat.com> | 2022-09-27 11:59:53 +0100 |
| commit | 3f7eea4411e4b2d8a500d9272b2ed72f73bdd008 (patch) | |
| tree | fc4f93a817acae7ac594f73b79031541d20aeaff /gcc/cp | |
| parent | 614e5696d730a65998ff5b0373f905795a758dd6 (diff) | |
| download | gcc-3f7eea4411e4b2d8a500d9272b2ed72f73bdd008.zip gcc-3f7eea4411e4b2d8a500d9272b2ed72f73bdd008.tar.gz gcc-3f7eea4411e4b2d8a500d9272b2ed72f73bdd008.tar.bz2 | |
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.
Diffstat (limited to 'gcc/cp')
| -rw-r--r-- | gcc/cp/method.cc | 1 |
1 files changed, 1 insertions, 0 deletions
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); } |