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 24void test01() 25{ 26 using std::add_const; 27 using std::is_same; 28 using namespace __gnu_test; 29 30 static_assert(is_same<add_const<int>::type, const int>::value, ""); 31 static_assert(is_same<add_const<volatile int>::type, 32 const volatile int>::value, ""); 33 static_assert(is_same<add_const<int*>::type, int* const>::value, ""); 34 static_assert(is_same<add_const<int&>::type, int&>::value, ""); 35 static_assert(is_same<add_const<int (int)>::type, int (int)>::value, ""); 36 static_assert(is_same<add_const<const int>::type, const int>::value, ""); 37 static_assert(is_same<add_const<ClassType>::type, 38 const ClassType>::value, ""); 39 static_assert(is_same<add_const<volatile ClassType>::type, 40 const volatile ClassType>::value, ""); 41 static_assert(is_same<add_const<ClassType*>::type, 42 ClassType* const>::value, ""); 43 static_assert(is_same<add_const<ClassType&>::type, ClassType&>::value, ""); 44 static_assert(is_same<add_const<ClassType (ClassType)>::type, 45 ClassType (ClassType)>::value, ""); 46 static_assert(is_same<add_const<const ClassType>::type, 47 const ClassType>::value, ""); 48} 49