diff options
| author | Marek Polacek <polacek@redhat.com> | 2024-02-10 10:52:18 -0500 |
|---|---|---|
| committer | Marek Polacek <polacek@redhat.com> | 2024-02-13 08:54:08 -0500 |
| commit | ecc119effe1aa445cb973c8cbb5ef3830f256f13 (patch) | |
| tree | 93a9da6e9cff14b42d0d78f116165d7daa5ce470 /gcc/expr.cc | |
| parent | 4a1cd5560b9b545eb848eb1d1e06d345fb606f76 (diff) | |
| download | gcc-ecc119effe1aa445cb973c8cbb5ef3830f256f13.zip gcc-ecc119effe1aa445cb973c8cbb5ef3830f256f13.tar.gz gcc-ecc119effe1aa445cb973c8cbb5ef3830f256f13.tar.bz2 | |
c++: SFINAE-unfriendly error on throwing pointer [PR112436]
On the heels of r14-8903, this patch adds further complain parameters
so that we don't emit "invalid use of incomplete type" from inside
a concept.
PR c++/112436
gcc/cp/ChangeLog:
* except.cc (expand_start_catch_block): Pass tf_warning_or_error to
is_admissible_throw_operand_or_catch_parameter.
(build_throw): Pass complain to
is_admissible_throw_operand_or_catch_parameter.
(complete_ptr_ref_or_void_ptr_p): Add a tsubst_flags_t parameter. Use
it. Return bool. Call complete_type_or_maybe_complain instead of
complete_type_or_else.
(is_admissible_throw_operand_or_catch_parameter): Add a tsubst_flags_t
parameter. Use it. Guard error calls.
gcc/testsuite/ChangeLog:
* g++.dg/cpp2a/concepts-pr112436.C: New test.
Diffstat (limited to 'gcc/expr.cc')
0 files changed, 0 insertions, 0 deletions