OSDN Git Service

6f3d109143d0e1f7eaf7f88794bbf3d07e44cf67
[pf3gnuchains/gcc-fork.git] / libstdc++-v3 / testsuite / 20_util / is_pod / value.cc
1 // { dg-options "-std=gnu++0x" }
2 // 2010-02-21  Paolo Carlini  <pcarlini@suse.de>
3 //
4 // Copyright (C) 2010 Free Software Foundation, Inc.
5 //
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)
10 // any later version.
11 //
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.
16 //
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/>.
20
21 #include <type_traits>
22 #include <testsuite_hooks.h>
23 #include <testsuite_tr1.h>
24
25 struct NType   // neither trivial nor standard-layout
26 {
27   int i;
28   int j;
29   virtual ~NType();
30 };
31
32 struct TType   // trivial but not standard-layout
33 {
34   int i;
35
36 private:
37   int j;
38 };
39
40 struct SLType  // standard-layout but not trivial
41 {
42   int i;
43   int j;
44   ~SLType();
45 };
46
47 struct PODType // both trivial and standard-layout
48 {
49   int i;
50   int j;
51 };
52
53 void test01()
54 {
55   bool test __attribute__((unused)) = true;
56   using std::is_pod;
57   using namespace __gnu_test;
58
59   VERIFY( (test_category<is_pod, int>(true)) );
60   VERIFY( (test_category<is_pod, float>(true)) );
61   VERIFY( (test_category<is_pod, EnumType>(true)) );
62   VERIFY( (test_category<is_pod, int*>(true)) );
63   VERIFY( (test_category<is_pod, int(*)(int)>(true)) );
64   VERIFY( (test_category<is_pod, int (ClassType::*)>(true)) );
65   VERIFY( (test_category<is_pod, int (ClassType::*) (int)>(true)) );
66   VERIFY( (test_category<is_pod, int[2]>(true)) );
67   VERIFY( (test_category<is_pod, float[][3]>(true)) );
68   VERIFY( (test_category<is_pod, EnumType[2][3][4]>(true)) );
69   VERIFY( (test_category<is_pod, int*[3]>(true)) );
70   VERIFY( (test_category<is_pod, int(*[][2])(int)>(true)) );
71   VERIFY( (test_category<is_pod, int (ClassType::*[2][3])>(true)) );
72   VERIFY( (test_category<is_pod, int (ClassType::*[][2][3]) (int)>(true)) );
73   VERIFY( (test_category<is_pod, ClassType>(true)) );
74   VERIFY( (test_category<is_pod, PODType>(true)) );
75
76   VERIFY( (test_category<is_pod, void>(false)) );
77   VERIFY( (test_category<is_pod, NType>(false)) );
78   VERIFY( (test_category<is_pod, TType>(false)) );
79   VERIFY( (test_category<is_pod, SLType>(false)) );
80 }
81
82 int main()
83 {
84   test01();
85   return 0;
86 }