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 25void test01() 26{ 27 bool test __attribute__((unused)) = true; 28 using std::is_pod; 29 using namespace __gnu_test; 30 31 VERIFY( (test_category<is_pod, int>(true)) ); 32 VERIFY( (test_category<is_pod, float>(true)) ); 33 VERIFY( (test_category<is_pod, EnumType>(true)) ); 34 VERIFY( (test_category<is_pod, int*>(true)) ); 35 VERIFY( (test_category<is_pod, int(*)(int)>(true)) ); 36 VERIFY( (test_category<is_pod, int (ClassType::*)>(true)) ); 37 VERIFY( (test_category<is_pod, int (ClassType::*) (int)>(true)) ); 38 VERIFY( (test_category<is_pod, int[2]>(true)) ); 39 VERIFY( (test_category<is_pod, float[][3]>(true)) ); 40 VERIFY( (test_category<is_pod, EnumType[2][3][4]>(true)) ); 41 VERIFY( (test_category<is_pod, int*[3]>(true)) ); 42 VERIFY( (test_category<is_pod, int(*[][2])(int)>(true)) ); 43 VERIFY( (test_category<is_pod, int (ClassType::*[2][3])>(true)) ); 44 VERIFY( (test_category<is_pod, int (ClassType::*[][2][3]) (int)>(true)) ); 45 VERIFY( (test_category<is_pod, ClassType>(true)) ); 46 VERIFY( (test_category<is_pod, PODType>(true)) ); 47 48 VERIFY( (test_category<is_pod, void>(false)) ); 49 VERIFY( (test_category<is_pod, NType>(false)) ); 50 VERIFY( (test_category<is_pod, TType>(false)) ); 51 VERIFY( (test_category<is_pod, SLType>(false)) ); 52} 53 54int main() 55{ 56 test01(); 57 return 0; 58} 59