diff options
author | Iain Sandoe <iain@sandoe.co.uk> | 2020-06-27 08:54:39 +0100 |
---|---|---|
committer | Iain Sandoe <iain@sandoe.co.uk> | 2020-06-27 09:37:43 +0100 |
commit | 9c5ca11a33fa91345fe813d449ddc4a821fc72d5 (patch) | |
tree | ac0363693e1e0cdd789ced435fc875c1cd518cbd /gcc/tree-ssa-dom.c | |
parent | 212475e5757fe3335cba30c9c3eec1707ac0c271 (diff) | |
download | gcc-9c5ca11a33fa91345fe813d449ddc4a821fc72d5.zip gcc-9c5ca11a33fa91345fe813d449ddc4a821fc72d5.tar.gz gcc-9c5ca11a33fa91345fe813d449ddc4a821fc72d5.tar.bz2 |
coroutines: Improve diagnostics for one allocator case.
If the user provides operator new and that is noexcept, this
implies that it can fail with a null return. At that point, we expect
to be able to call get_return_object_on_allocation_failure().
This diagnoses the case where such an operator new has been
provided, but the g-r-o-o-a-f is either missing or unusable.
gcc/cp/ChangeLog:
* coroutines.cc (morph_fn_to_coro): Diagnose unavailable
get_return_object_on_allocation_failure.
gcc/testsuite/ChangeLog:
* g++.dg/coroutines/coro-bad-grooaf-01-grooaf-expected.C: New test.
Diffstat (limited to 'gcc/tree-ssa-dom.c')
0 files changed, 0 insertions, 0 deletions