diff options
| author | Antony Polukhin <antoshkka@gmail.com> | 2020-09-24 18:51:37 +0100 |
|---|---|---|
| committer | Jonathan Wakely <jwakely@redhat.com> | 2020-09-24 18:51:37 +0100 |
| commit | c1fc9f6e10e646f01194c8f150affbc1cfbc404a (patch) | |
| tree | 95e8dc4ec6086c2f7be3711c4a562eb47ff925ca /libgo/runtime/go-varargs.c | |
| parent | 42907ca9a495a4a535bbd995fa126afb76012023 (diff) | |
| download | gcc-c1fc9f6e10e646f01194c8f150affbc1cfbc404a.zip gcc-c1fc9f6e10e646f01194c8f150affbc1cfbc404a.tar.gz gcc-c1fc9f6e10e646f01194c8f150affbc1cfbc404a.tar.bz2 | |
libstdc++: assert that type traits are not misused with incomplete types [PR 71579]
libstdc++-v3/ChangeLog:
PR libstdc++/71579
* include/std/type_traits (invoke_result, is_invocable)
(is_invocable_r, is_nothrow_invocable, is_nothrow_invocable_r):
Add static_asserts to make sure that the arguments of the type
traits are not misused with incomplete types.
* testsuite/20_util/invoke_result/incomplete_args_neg.cc: New test.
* testsuite/20_util/is_invocable/incomplete_args_neg.cc: New test.
* testsuite/20_util/is_invocable/incomplete_neg.cc: New test.
* testsuite/20_util/is_nothrow_invocable/incomplete_args_neg.cc:
New test.
* testsuite/20_util/is_nothrow_invocable/incomplete_neg.cc: Check
for error on incomplete type usage in trait.
Diffstat (limited to 'libgo/runtime/go-varargs.c')
0 files changed, 0 insertions, 0 deletions