diff options
| author | Jonathan Wakely <jwakely@redhat.com> | 2019-06-06 13:13:47 +0100 |
|---|---|---|
| committer | Jonathan Wakely <redi@gcc.gnu.org> | 2019-06-06 13:13:47 +0100 |
| commit | 209ee62421fdeb177bdac29e670bc9b930bef4a3 (patch) | |
| tree | a96dc1ea03015db9f91d556938797031d7cef0ba /gcc | |
| parent | 061a745005d69e44d6ff50e3ee7fd5b21194c6ac (diff) | |
| download | gcc-209ee62421fdeb177bdac29e670bc9b930bef4a3.zip gcc-209ee62421fdeb177bdac29e670bc9b930bef4a3.tar.gz gcc-209ee62421fdeb177bdac29e670bc9b930bef4a3.tar.bz2 | |
Remove redundant static assertions in [meta.unary.prop] traits
The type property predicates that are implemented by a compiler builtin
already do the right checks in the compiler. The checks for complete
type or unbounded arrays were wrong for these types anyway.
* include/std/type_traits (is_empty, is_polymorphic, is_final)
(is_abstract, is_aggregate): Remove static_assert.
* testsuite/20_util/is_abstract/incomplete_neg.cc: Check for error
from builtin only.
* testsuite/20_util/is_aggregate/incomplete_neg.cc: Likewise. Add
missing -std=gnu++17 option.
* testsuite/20_util/is_empty/incomplete_neg.cc: New test.
* testsuite/20_util/is_final/incomplete_neg.cc: New test.
* testsuite/20_util/is_polymorphic/incomplete_neg.cc: Check for error
from builtin only.
From-SVN: r272000
Diffstat (limited to 'gcc')
0 files changed, 0 insertions, 0 deletions