diff options
| author | Marek Polacek <polacek@redhat.com> | 2024-02-15 17:07:43 -0500 |
|---|---|---|
| committer | Marek Polacek <polacek@redhat.com> | 2024-02-17 09:29:02 -0500 |
| commit | 876fa432ef4074053fa65b1855e7d43320515576 (patch) | |
| tree | 6bf53683657a121202f38d5c595100aa881c314a /gcc/d/expr.cc | |
| parent | 9739d7ebf05aefcdd85477900528d8bee69df215 (diff) | |
| download | gcc-876fa432ef4074053fa65b1855e7d43320515576.zip gcc-876fa432ef4074053fa65b1855e7d43320515576.tar.gz gcc-876fa432ef4074053fa65b1855e7d43320515576.tar.bz2 | |
c++: wrong looser excep spec for dep noexcept [PR113158]
Here we find ourselves in maybe_check_overriding_exception_spec in
a template context where we can't instantiate a dependent noexcept.
That's OK, but we have to defer the checking otherwise we give wrong
errors.
PR c++/113158
gcc/cp/ChangeLog:
* search.cc (maybe_check_overriding_exception_spec): Defer checking
when a noexcept couldn't be instantiated & evaluated to false/true.
gcc/testsuite/ChangeLog:
* g++.dg/cpp0x/noexcept83.C: New test.
Diffstat (limited to 'gcc/d/expr.cc')
0 files changed, 0 insertions, 0 deletions