diff options
| author | Antony Polukhin <antoshkka@gmail.com> | 2020-08-19 12:10:57 +0100 |
|---|---|---|
| committer | Jonathan Wakely <jwakely@redhat.com> | 2020-08-19 12:12:40 +0100 |
| commit | 69f571ffc513b689fa26e4c9fceba17c2c989ab3 (patch) | |
| tree | fc2a28c5020330413c5cbd0a0e3aed069ed46c72 /libstdc++-v3/include/std/streambuf | |
| parent | a5a635fc4331b6d5f1a1e688e1153abd2ff194a5 (diff) | |
| download | gcc-69f571ffc513b689fa26e4c9fceba17c2c989ab3.zip gcc-69f571ffc513b689fa26e4c9fceba17c2c989ab3.tar.gz gcc-69f571ffc513b689fa26e4c9fceba17c2c989ab3.tar.bz2 | |
libstdc++: assert that type traits are not misused with incomplete types [PR 71579]
libstdc++-v3/ChangeLog:
2020-08-19 Antony Polukhin <antoshkka@gmail.com>
PR libstdc++/71579
* include/std/type_traits (invoke_result, is_nothrow_invocable_r)
Add static_asserts to make sure that the argument of the type
trait is not misused with incomplete types.
(is_swappable_with, is_nothrow_swappable_with): Add static_asserts
to make sure that the first and second arguments of the type trait
are not misused with incomplete types.
* testsuite/20_util/invoke_result/incomplete_neg.cc: New test.
* testsuite/20_util/is_nothrow_invocable/incomplete_neg.cc: New test.
* testsuite/20_util/is_nothrow_swappable/incomplete_neg.cc: New test.
* testsuite/20_util/is_nothrow_swappable_with/incomplete_neg.cc: New
test.
* testsuite/20_util/is_swappable_with/incomplete_neg.cc: New test.
Diffstat (limited to 'libstdc++-v3/include/std/streambuf')
0 files changed, 0 insertions, 0 deletions