1// { dg-options "-std=gnu++11" } 2// { dg-do compile } 3 4// Copyright (C) 2013-2015 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_tr1.h> 23 24class EmptyClassOne 25{ typedef int type; }; 26 27class EmptyClassTwo 28{ static int data; }; 29 30class EmptyClassThree 31{ int f(); }; 32 33class NonEmptyClassOne 34{ int data; }; 35 36class NonEmptyClassTwo 37{ 38 virtual int f(); 39 virtual ~NonEmptyClassTwo(); 40}; 41 42void test01() 43{ 44 using std::is_empty; 45 using namespace __gnu_test; 46 47 // Positive tests. 48 static_assert(test_category<is_empty, ClassType>(true), ""); 49 static_assert(test_category<is_empty, EmptyClassOne>(true), ""); 50 static_assert(test_category<is_empty, EmptyClassTwo>(true), ""); 51 static_assert(test_category<is_empty, EmptyClassThree>(true), ""); 52 53 // Negative tests. 54 static_assert(test_category<is_empty, void>(false), ""); 55 static_assert(test_category<is_empty, float>(false), ""); 56 static_assert(test_category<is_empty, int[4]>(false), ""); 57 static_assert(test_category<is_empty, int*>(false), ""); 58 static_assert(test_category<is_empty, int&>(false), ""); 59 static_assert(test_category<is_empty, int (ClassType::*)>(false), ""); 60 static_assert(test_category<is_empty, EnumType>(false), ""); 61 static_assert(test_category<is_empty, int (int)>(false), ""); 62 63 static_assert(test_category<is_empty, AbstractClass>(false), ""); 64 static_assert(test_category<is_empty, NonEmptyClassOne>(false), ""); 65 static_assert(test_category<is_empty, NonEmptyClassTwo>(false), ""); 66} 67