]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/20_util/is_bounded_array/value.cc
4c7d848dcb5d282b02f09fe7a1d50610a7a07ef0
1 // { dg-do compile { target c++20 } }
2 // { dg-add-options no_pch }
4 // Copyright (C) 2019-2023 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>
23 #ifndef __cpp_lib_bounded_array_traits
24 # error "Feature test macro for is_bounded_array is missing in <type_traits>"
25 #elif __cpp_lib_bounded_array_traits < 201902L
26 # error "Feature test macro for is_bounded_array has wrong value in <type_traits>"
29 #include <testsuite_tr1.h>
33 using std::is_bounded_array
;
34 using namespace __gnu_test
;
36 static_assert(test_category
<is_bounded_array
, int[2]>(true), "");
37 static_assert(test_category
<is_bounded_array
, int[]>(false), "");
38 static_assert(test_category
<is_bounded_array
, int[2][3]>(true), "");
39 static_assert(test_category
<is_bounded_array
, int[][3]>(false), "");
40 static_assert(test_category
<is_bounded_array
, float*[2]>(true), "");
41 static_assert(test_category
<is_bounded_array
, float*[]>(false), "");
42 static_assert(test_category
<is_bounded_array
, float*[2][3]>(true), "");
43 static_assert(test_category
<is_bounded_array
, float*[][3]>(false), "");
44 static_assert(test_category
<is_bounded_array
, ClassType
[2]>(true), "");
45 static_assert(test_category
<is_bounded_array
, ClassType
[]>(false), "");
46 static_assert(test_category
<is_bounded_array
, ClassType
[2][3]>(true), "");
47 static_assert(test_category
<is_bounded_array
, ClassType
[][3]>(false), "");
48 static_assert(test_category
<is_bounded_array
, int(*)[2]>(false), "");
49 static_assert(test_category
<is_bounded_array
, int(*)[]>(false), "");
50 static_assert(test_category
<is_bounded_array
, int(&)[2]>(false), "");
51 static_assert(test_category
<is_bounded_array
, int(&)[]>(false), "");
54 static_assert(test_category
<is_bounded_array
, ClassType
>(false), "");
55 static_assert(test_category
<is_bounded_array
, void()>(false), "");
58 template <class... T
> void pos()
60 static_assert((std::is_bounded_array_v
<T
> &&...));
63 template <class... T
> void neg()
65 static_assert((!std::is_bounded_array_v
<T
> &&...));
70 using namespace __gnu_test
;
71 pos
<int[2], int[2][3], float*[2], float*[2][3], ClassType
[2],
73 neg
<int[], int[][3], float*[], float*[][3], ClassType
[],
74 ClassType
[][3], int(*)[2], int(&)[], int(*)[2], int(&)[], ClassType
>();