]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/20_util/is_unbounded_array/value.cc
1 // { dg-options "-std=gnu++2a" }
2 // { dg-do compile { target c++2a } }
4 // Copyright (C) 2019 Free Software Foundation, Inc.
6 // This file is part of the GNU ISO C++ Library. This library is free
7 // software; you can redistribute it and/or modify it under the
8 // terms of the GNU General Public License as published by the
9 // Free Software Foundation; either version 3, or (at your option)
12 // This library is distributed in the hope that it will be useful,
13 // but WITHOUT ANY WARRANTY; without even the implied warranty of
14 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 // GNU General Public License for more details.
17 // You should have received a copy of the GNU General Public License along
18 // with this library; see the file COPYING3. If not see
19 // <http://www.gnu.org/licenses/>.
21 #include <type_traits>
22 #include <testsuite_tr1.h>
24 #ifndef __cpp_lib_bounded_array_traits
25 # error "Feature test macro for is_unbounded_array is missing"
26 #elif __cpp_lib_bounded_array_traits < 201902L
27 # error "Feature test macro for is_unbounded_array has wrong value"
32 using std::is_unbounded_array
;
33 using namespace __gnu_test
;
35 static_assert(test_category
<is_unbounded_array
, int[2]>(false), "");
36 static_assert(test_category
<is_unbounded_array
, int[]>(true), "");
37 static_assert(test_category
<is_unbounded_array
, int[2][3]>(false), "");
38 static_assert(test_category
<is_unbounded_array
, int[][3]>(true), "");
39 static_assert(test_category
<is_unbounded_array
, float*[2]>(false), "");
40 static_assert(test_category
<is_unbounded_array
, float*[]>(true), "");
41 static_assert(test_category
<is_unbounded_array
, float*[2][3]>(false), "");
42 static_assert(test_category
<is_unbounded_array
, float*[][3]>(true), "");
43 static_assert(test_category
<is_unbounded_array
, ClassType
[2]>(false), "");
44 static_assert(test_category
<is_unbounded_array
, ClassType
[]>(true), "");
45 static_assert(test_category
<is_unbounded_array
, ClassType
[2][3]>(false), "");
46 static_assert(test_category
<is_unbounded_array
, ClassType
[][3]>(true), "");
47 static_assert(test_category
<is_unbounded_array
, int(*)[2]>(false), "");
48 static_assert(test_category
<is_unbounded_array
, int(*)[]>(false), "");
49 static_assert(test_category
<is_unbounded_array
, int(&)[2]>(false), "");
50 static_assert(test_category
<is_unbounded_array
, int(&)[]>(false), "");
53 static_assert(test_category
<is_unbounded_array
, ClassType
>(false), "");
56 template <class... T
> void pos()
58 static_assert((std::is_unbounded_array_v
<T
> &&...));
61 template <class... T
> void neg()
63 static_assert((!std::is_unbounded_array_v
<T
> &&...));
68 using namespace __gnu_test
;
69 pos
<int[], int[][3], float*[], float*[][3], ClassType
[],
71 neg
<int[2], int[2][3], float*[2], float*[2][3], ClassType
[2],
72 ClassType
[2][3], int(*)[2], int(&)[], int(*)[2], int(&)[], ClassType
>();