Hi, I committed the below.
Thanks, Paolo. /////////////////////
2014-10-15 Paolo Carlini <paolo.carl...@oracle.com> * testsuite/20_util/add_const/requirements/alias_decl.cc: New. * testsuite/20_util/add_cv/requirements/alias_decl.cc: Likewise. * testsuite/20_util/add_pointer/requirements/alias_decl.cc: Likewise. * testsuite/20_util/add_volatile/requirements/alias_decl.cc: Likewise. * testsuite/20_util/aligned_storage/requirements/alias_decl.cc: Likewise. * testsuite/20_util/aligned_union/requirements/alias_decl.cc: Likewise. * testsuite/20_util/remove_all_extents/requirements/alias_decl.cc: Likewise. * testsuite/20_util/remove_const/requirements/alias_decl.cc: Likewise. * testsuite/20_util/remove_cv/requirements/alias_decl.cc: Likewise. * testsuite/20_util/remove_extent/requirements/alias_decl.cc: Likewise. * testsuite/20_util/remove_pointer/requirements/alias_decl.cc: Likewise. * testsuite/20_util/remove_volatile/requirements/alias_decl.cc: Likewise.
Index: testsuite/20_util/add_const/requirements/alias_decl.cc =================================================================== --- testsuite/20_util/add_const/requirements/alias_decl.cc (revision 0) +++ testsuite/20_util/add_const/requirements/alias_decl.cc (working copy) @@ -0,0 +1,33 @@ +// { dg-options "-std=gnu++1y" } +// { dg-do compile } + +// Copyright (C) 2014 Free Software Foundation, Inc. +// +// This file is part of the GNU ISO C++ Library. This library is free +// software; you can redistribute it and/or modify it under the +// terms of the GNU General Public License as published by the +// Free Software Foundation; either version 3, or (at your option) +// any later version. + +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. + +// You should have received a copy of the GNU General Public License along +// with this library; see the file COPYING3. If not see +// <http://www.gnu.org/licenses/>. + +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +using namespace std; + +static_assert (is_same<typename add_const<int>::type, + add_const_t<int>>(), + "add_const_t" ); + +static_assert (is_same<typename add_const<const long>::type, + add_const_t<const long>>(), + "add_const_t" ); Index: testsuite/20_util/add_cv/requirements/alias_decl.cc =================================================================== --- testsuite/20_util/add_cv/requirements/alias_decl.cc (revision 0) +++ testsuite/20_util/add_cv/requirements/alias_decl.cc (working copy) @@ -0,0 +1,33 @@ +// { dg-options "-std=gnu++1y" } +// { dg-do compile } + +// Copyright (C) 2014 Free Software Foundation, Inc. +// +// This file is part of the GNU ISO C++ Library. This library is free +// software; you can redistribute it and/or modify it under the +// terms of the GNU General Public License as published by the +// Free Software Foundation; either version 3, or (at your option) +// any later version. + +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. + +// You should have received a copy of the GNU General Public License along +// with this library; see the file COPYING3. If not see +// <http://www.gnu.org/licenses/>. + +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +using namespace std; + +static_assert (is_same<typename add_cv<int>::type, + add_cv_t<int>>(), + "add_cv_t" ); + +static_assert (is_same<typename add_cv<const volatile long>::type, + add_cv_t<const volatile long>>(), + "add_cv_t" ); Index: testsuite/20_util/add_pointer/requirements/alias_decl.cc =================================================================== --- testsuite/20_util/add_pointer/requirements/alias_decl.cc (revision 0) +++ testsuite/20_util/add_pointer/requirements/alias_decl.cc (working copy) @@ -0,0 +1,33 @@ +// { dg-options "-std=gnu++1y" } +// { dg-do compile } + +// Copyright (C) 2014 Free Software Foundation, Inc. +// +// This file is part of the GNU ISO C++ Library. This library is free +// software; you can redistribute it and/or modify it under the +// terms of the GNU General Public License as published by the +// Free Software Foundation; either version 3, or (at your option) +// any later version. + +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. + +// You should have received a copy of the GNU General Public License along +// with this library; see the file COPYING3. If not see +// <http://www.gnu.org/licenses/>. + +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +using namespace std; + +static_assert (is_same<typename add_pointer<int>::type, + add_pointer_t<int>>(), + "add_pointer_t" ); + +static_assert (is_same<typename add_pointer<long*>::type, + add_pointer_t<long*>>(), + "add_pointer_t" ); Index: testsuite/20_util/add_volatile/requirements/alias_decl.cc =================================================================== --- testsuite/20_util/add_volatile/requirements/alias_decl.cc (revision 0) +++ testsuite/20_util/add_volatile/requirements/alias_decl.cc (working copy) @@ -0,0 +1,33 @@ +// { dg-options "-std=gnu++1y" } +// { dg-do compile } + +// Copyright (C) 2014 Free Software Foundation, Inc. +// +// This file is part of the GNU ISO C++ Library. This library is free +// software; you can redistribute it and/or modify it under the +// terms of the GNU General Public License as published by the +// Free Software Foundation; either version 3, or (at your option) +// any later version. + +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. + +// You should have received a copy of the GNU General Public License along +// with this library; see the file COPYING3. If not see +// <http://www.gnu.org/licenses/>. + +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +using namespace std; + +static_assert (is_same<typename add_volatile<int>::type, + add_volatile_t<int>>(), + "add_volatile_t" ); + +static_assert (is_same<typename add_volatile<volatile long>::type, + add_volatile_t<volatile long>>(), + "add_volatile_t" ); Index: testsuite/20_util/aligned_storage/requirements/alias_decl.cc =================================================================== --- testsuite/20_util/aligned_storage/requirements/alias_decl.cc (revision 0) +++ testsuite/20_util/aligned_storage/requirements/alias_decl.cc (working copy) @@ -0,0 +1,29 @@ +// { dg-options "-std=gnu++1y" } +// { dg-do compile } + +// Copyright (C) 2014 Free Software Foundation, Inc. +// +// This file is part of the GNU ISO C++ Library. This library is free +// software; you can redistribute it and/or modify it under the +// terms of the GNU General Public License as published by the +// Free Software Foundation; either version 3, or (at your option) +// any later version. + +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. + +// You should have received a copy of the GNU General Public License along +// with this library; see the file COPYING3. If not see +// <http://www.gnu.org/licenses/>. + +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +using namespace std; + +static_assert (is_same<typename aligned_storage<4>::type, + aligned_storage_t<4>>(), + "aligned_storage_t" ); Index: testsuite/20_util/aligned_union/requirements/alias_decl.cc =================================================================== --- testsuite/20_util/aligned_union/requirements/alias_decl.cc (revision 0) +++ testsuite/20_util/aligned_union/requirements/alias_decl.cc (working copy) @@ -0,0 +1,29 @@ +// { dg-options "-std=gnu++1y" } +// { dg-do compile } + +// Copyright (C) 2014 Free Software Foundation, Inc. +// +// This file is part of the GNU ISO C++ Library. This library is free +// software; you can redistribute it and/or modify it under the +// terms of the GNU General Public License as published by the +// Free Software Foundation; either version 3, or (at your option) +// any later version. + +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. + +// You should have received a copy of the GNU General Public License along +// with this library; see the file COPYING3. If not see +// <http://www.gnu.org/licenses/>. + +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +using namespace std; + +static_assert (is_same<typename aligned_union<0, char, int>::type, + aligned_union_t<0, char, int>>(), + "aligned_union_t" ); Index: testsuite/20_util/remove_all_extents/requirements/alias_decl.cc =================================================================== --- testsuite/20_util/remove_all_extents/requirements/alias_decl.cc (revision 0) +++ testsuite/20_util/remove_all_extents/requirements/alias_decl.cc (working copy) @@ -0,0 +1,33 @@ +// { dg-options "-std=gnu++1y" } +// { dg-do compile } + +// Copyright (C) 2014 Free Software Foundation, Inc. +// +// This file is part of the GNU ISO C++ Library. This library is free +// software; you can redistribute it and/or modify it under the +// terms of the GNU General Public License as published by the +// Free Software Foundation; either version 3, or (at your option) +// any later version. + +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. + +// You should have received a copy of the GNU General Public License along +// with this library; see the file COPYING3. If not see +// <http://www.gnu.org/licenses/>. + +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +using namespace std; + +static_assert (is_same<typename remove_all_extents<int>::type, + remove_all_extents_t<int>>(), + "remove_all_extents_t" ); + +static_assert (is_same<typename remove_all_extents<long[3][2]>::type, + remove_all_extents_t<long[3][2]>>(), + "remove_all_extents_t" ); Index: testsuite/20_util/remove_const/requirements/alias_decl.cc =================================================================== --- testsuite/20_util/remove_const/requirements/alias_decl.cc (revision 0) +++ testsuite/20_util/remove_const/requirements/alias_decl.cc (working copy) @@ -0,0 +1,33 @@ +// { dg-options "-std=gnu++1y" } +// { dg-do compile } + +// Copyright (C) 2014 Free Software Foundation, Inc. +// +// This file is part of the GNU ISO C++ Library. This library is free +// software; you can redistribute it and/or modify it under the +// terms of the GNU General Public License as published by the +// Free Software Foundation; either version 3, or (at your option) +// any later version. + +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. + +// You should have received a copy of the GNU General Public License along +// with this library; see the file COPYING3. If not see +// <http://www.gnu.org/licenses/>. + +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +using namespace std; + +static_assert (is_same<typename remove_const<int>::type, + remove_const_t<int>>(), + "remove_const_t" ); + +static_assert (is_same<typename remove_const<const long>::type, + remove_const_t<const long>>(), + "remove_const_t" ); Index: testsuite/20_util/remove_cv/requirements/alias_decl.cc =================================================================== --- testsuite/20_util/remove_cv/requirements/alias_decl.cc (revision 0) +++ testsuite/20_util/remove_cv/requirements/alias_decl.cc (working copy) @@ -0,0 +1,33 @@ +// { dg-options "-std=gnu++1y" } +// { dg-do compile } + +// Copyright (C) 2014 Free Software Foundation, Inc. +// +// This file is part of the GNU ISO C++ Library. This library is free +// software; you can redistribute it and/or modify it under the +// terms of the GNU General Public License as published by the +// Free Software Foundation; either version 3, or (at your option) +// any later version. + +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. + +// You should have received a copy of the GNU General Public License along +// with this library; see the file COPYING3. If not see +// <http://www.gnu.org/licenses/>. + +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +using namespace std; + +static_assert (is_same<typename remove_cv<int>::type, + remove_cv_t<int>>(), + "remove_cv_t" ); + +static_assert (is_same<typename remove_cv<const volatile long>::type, + remove_cv_t<const volatile long>>(), + "remove_cv_t" ); Index: testsuite/20_util/remove_extent/requirements/alias_decl.cc =================================================================== --- testsuite/20_util/remove_extent/requirements/alias_decl.cc (revision 0) +++ testsuite/20_util/remove_extent/requirements/alias_decl.cc (working copy) @@ -0,0 +1,33 @@ +// { dg-options "-std=gnu++1y" } +// { dg-do compile } + +// Copyright (C) 2014 Free Software Foundation, Inc. +// +// This file is part of the GNU ISO C++ Library. This library is free +// software; you can redistribute it and/or modify it under the +// terms of the GNU General Public License as published by the +// Free Software Foundation; either version 3, or (at your option) +// any later version. + +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. + +// You should have received a copy of the GNU General Public License along +// with this library; see the file COPYING3. If not see +// <http://www.gnu.org/licenses/>. + +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +using namespace std; + +static_assert (is_same<typename remove_extent<int>::type, + remove_extent_t<int>>(), + "remove_extent_t" ); + +static_assert (is_same<typename remove_extent<long[3]>::type, + remove_extent_t<long[3]>>(), + "remove_extent_t" ); Index: testsuite/20_util/remove_pointer/requirements/alias_decl.cc =================================================================== --- testsuite/20_util/remove_pointer/requirements/alias_decl.cc (revision 0) +++ testsuite/20_util/remove_pointer/requirements/alias_decl.cc (working copy) @@ -0,0 +1,33 @@ +// { dg-options "-std=gnu++1y" } +// { dg-do compile } + +// Copyright (C) 2014 Free Software Foundation, Inc. +// +// This file is part of the GNU ISO C++ Library. This library is free +// software; you can redistribute it and/or modify it under the +// terms of the GNU General Public License as published by the +// Free Software Foundation; either version 3, or (at your option) +// any later version. + +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. + +// You should have received a copy of the GNU General Public License along +// with this library; see the file COPYING3. If not see +// <http://www.gnu.org/licenses/>. + +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +using namespace std; + +static_assert (is_same<typename remove_pointer<int>::type, + remove_pointer_t<int>>(), + "remove_pointer_t" ); + +static_assert (is_same<typename remove_pointer<long*>::type, + remove_pointer_t<long*>>(), + "remove_pointer_t" ); Index: testsuite/20_util/remove_volatile/requirements/alias_decl.cc =================================================================== --- testsuite/20_util/remove_volatile/requirements/alias_decl.cc (revision 0) +++ testsuite/20_util/remove_volatile/requirements/alias_decl.cc (working copy) @@ -0,0 +1,33 @@ +// { dg-options "-std=gnu++1y" } +// { dg-do compile } + +// Copyright (C) 2014 Free Software Foundation, Inc. +// +// This file is part of the GNU ISO C++ Library. This library is free +// software; you can redistribute it and/or modify it under the +// terms of the GNU General Public License as published by the +// Free Software Foundation; either version 3, or (at your option) +// any later version. + +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. + +// You should have received a copy of the GNU General Public License along +// with this library; see the file COPYING3. If not see +// <http://www.gnu.org/licenses/>. + +// NB: This file is for testing type_traits with NO OTHER INCLUDES. + +#include <type_traits> + +using namespace std; + +static_assert (is_same<typename remove_volatile<int>::type, + remove_volatile_t<int>>(), + "remove_volatile_t" ); + +static_assert (is_same<typename remove_volatile<volatile long>::type, + remove_volatile_t<volatile long>>(), + "remove_volatile_t" );