diff options
| author | Ville Voutilainen <ville.voutilainen@gmail.com> | 2020-10-09 20:47:01 +0300 |
|---|---|---|
| committer | Ville Voutilainen <ville.voutilainen@gmail.com> | 2020-10-09 20:48:08 +0300 |
| commit | 3427e31331677ca826c5588c87924214f7e5c54b (patch) | |
| tree | 359b6e8b43c4860fa021c3035edc8bd86235775e /gcc | |
| parent | 3ee44d4c518d61c6bbf75fcf280edc6ce5326ce0 (diff) | |
| download | gcc-3427e31331677ca826c5588c87924214f7e5c54b.zip gcc-3427e31331677ca826c5588c87924214f7e5c54b.tar.gz gcc-3427e31331677ca826c5588c87924214f7e5c54b.tar.bz2 | |
libstdc++: Diagnose visitors with different return types [PR95904]
libstdc++-v3/ChangeLog:
PR libstdc++/95904
* include/std/variant (__deduce_visit_result): Add a nested ::type.
(__gen_vtable_impl</*base case*/>::_S_apply):
Check the visitor return type.
(__same_types): New.
(__check_visitor_result): Likewise.
(__check_visitor_results): Likewise.
(visit(_Visitor&&, _Variants&&...)): Use __check_visitor_results
in case we're visiting just one variant.
* testsuite/20_util/variant/visit_neg.cc: Adjust.
Diffstat (limited to 'gcc')
0 files changed, 0 insertions, 0 deletions