OSDN Git Service

69777209ba2e5cb31a184018526a112ae7309b1b
[pf3gnuchains/gcc-fork.git] / libstdc++-v3 / testsuite / tr1 / 4_metaprogramming / primary_type_categories / is_array / is_array.cc
1 // 2004-12-03  Paolo Carlini  <pcarlini@suse.de>
2 //
3 // Copyright (C) 2004 Free Software Foundation, Inc.
4 //
5 // This file is part of the GNU ISO C++ Library.  This library is free
6 // software; you can redistribute it and/or modify it under the
7 // terms of the GNU General Public License as published by the
8 // Free Software Foundation; either version 2, or (at your option)
9 // any later version.
10 //
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14 // GNU General Public License for more details.
15 //
16 // You should have received a copy of the GNU General Public License along
17 // with this library; see the file COPYING.  If not, write to the Free
18 // Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307,
19 // USA.
20
21 // 4.5.1 Primary type categories
22
23 #include <tr1/type_traits>
24 #include <testsuite_hooks.h>
25 #include <testsuite_tr1.h>
26
27 void test01()
28 {
29   bool test __attribute__((unused)) = true;
30   using std::tr1::is_array;
31   using namespace __gnu_test;
32
33   typedef int        int_array[5];
34   typedef int        empty_int_array[];
35   typedef float*     pointer_array[5];
36   typedef float*     empty_pointer_array[];
37   typedef ClassType  ClassType_array[5];
38   typedef ClassType  empty_ClassType_array[];
39
40   VERIFY( (test_category<is_array, int_array, true>()) );
41   VERIFY( (test_category<is_array, empty_int_array, true>()) );
42   VERIFY( (test_category<is_array, pointer_array, true>()) );
43   VERIFY( (test_category<is_array, empty_pointer_array, true>()) );
44   VERIFY( (test_category<is_array, ClassType_array, true>()) );
45   VERIFY( (test_category<is_array, empty_ClassType_array, true>()) );
46
47   // Sanity check.
48   VERIFY( (test_category<is_array, ClassType, false>()) );
49 }
50
51 int main()
52 {
53   test01();
54   return 0;
55 }