1// { dg-options "-std=gnu++11" } 2// 3// Copyright (C) 2013-2015 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 3, 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 COPYING3. If not see 18// <http://www.gnu.org/licenses/>. 19 20#include <type_traits> 21#include <testsuite_hooks.h> 22 23void test01() 24{ 25 bool test __attribute__((unused)) = true; 26 using std::true_type; 27 using std::false_type; 28 29 static_assert( true_type::value == true, "" ); 30 static_assert( false_type::value == false, "" ); 31 static_assert( true_type::type::value == true, "" ); 32 static_assert( false_type::type::value == false, "" ); 33 34 VERIFY( true_type::value == true ); 35 VERIFY( false_type::value == false ); 36 VERIFY( true_type::type::value == true ); 37 VERIFY( false_type::type::value == false ); 38} 39 40int main() 41{ 42 test01(); 43 return 0; 44} 45