diff options
author | Jonathan Wakely <jwakely@redhat.com> | 2021-07-16 20:59:43 +0100 |
---|---|---|
committer | Jonathan Wakely <jwakely@redhat.com> | 2021-07-16 22:24:34 +0100 |
commit | 3dbc7b809a62167b36f217ab5f43207be19e5908 (patch) | |
tree | 03e1db21d551a906f19e2f1bafab5af6b965c635 /gcc/tree-ssa-structalias.c | |
parent | a8b3861496bffae8b813ea196c1c5b27f79fbe69 (diff) | |
download | gcc-3dbc7b809a62167b36f217ab5f43207be19e5908.zip gcc-3dbc7b809a62167b36f217ab5f43207be19e5908.tar.gz gcc-3dbc7b809a62167b36f217ab5f43207be19e5908.tar.bz2 |
libstdc++: Improve diagnostics for std::get with invalid tuple index
This adds a deleted overload of std::get<I>(const tuple<Types...>&).
Invalid calls with an out of range index will match the deleted overload
and give a single, clear error about calling a deleted function, instead
of overload resolution errors for every std::get overload in the
library.
This changes the current output of 15+ errors (plus notes and associated
header context) into just two errors (plus context):
error: static assertion failed: tuple index must be in range
error: use of deleted function 'constexpr std::__enable_if_t<(__i >= sizeof... (_Types))> std::get(const std::tuple<_Types ...>&) [with long unsigned int __i = 1; _Elements = {int}; std::__enable_if_t<(__i >= sizeof... (_Types))> = void]'
This seems like a nice improvement, although PR c++/66968 means that
"_Types" is printed in the signature rather than "_Elements".
Signed-off-by: Jonathan Wakely <jwakely@redhat.com>
libstdc++-v3/ChangeLog:
* include/std/tuple (get<I>): Add deleted overload for bad
index.
* testsuite/20_util/tuple/element_access/get_neg.cc: Adjust
expected errors.
Diffstat (limited to 'gcc/tree-ssa-structalias.c')
0 files changed, 0 insertions, 0 deletions