Patchwork [v3] Add some tests for std::integral_constant

login
register
mail settings
Submitter Paolo Carlini
Date May 2, 2013, 12:04 p.m.
Message ID <5182564F.4020007@oracle.com>
Download mbox | patch
Permalink /patch/240948/
State New
Headers show

Comments

Paolo Carlini - May 2, 2013, 12:04 p.m.
Hi,

committed to mainline.

Thanks,
Paolo.

///////////////////////

Patch

Index: testsuite/20_util/integral_constant/operator_value_type.cc
===================================================================
--- testsuite/20_util/integral_constant/operator_value_type.cc	(revision 0)
+++ testsuite/20_util/integral_constant/operator_value_type.cc	(working copy)
@@ -0,0 +1,36 @@ 
+// { dg-do compile }
+// { dg-options "-std=gnu++11" }
+//
+// Copyright (C) 2013 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/>.
+
+#include <type_traits>
+#include <cassert> //testsuite_hooks.h>
+
+typedef std::integral_constant<int, 1>       ic_one;
+typedef std::integral_constant<int, 0>       ic_zero;
+typedef std::integral_constant<int, -1>      ic_minus_one;
+
+typedef std::integral_constant<bool, true>   ic_true;
+typedef std::integral_constant<bool, false>  ic_false;
+
+static_assert( ic_one() == 1, "" );
+static_assert( ic_zero() == 0, "" );
+static_assert( ic_minus_one() == -1, "" );
+
+static_assert( ic_true() == true, "" );
+static_assert( ic_false() == false, "" );
Index: testsuite/20_util/integral_constant/requirements/constexpr_data.cc
===================================================================
--- testsuite/20_util/integral_constant/requirements/constexpr_data.cc	(revision 0)
+++ testsuite/20_util/integral_constant/requirements/constexpr_data.cc	(working copy)
@@ -0,0 +1,52 @@ 
+// { dg-do compile }
+// { dg-options "-std=gnu++11" }
+
+// Copyright (C) 2013 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/>.
+
+#include <type_traits>
+#include <testsuite_common_types.h>
+
+namespace __gnu_test
+{
+  struct constexpr_member_data
+  {
+    template<typename _Ttesttype>
+      void
+      operator()()
+      {
+	struct _Concept
+	{
+	  void __constraint()
+	  {
+	    constexpr auto v __attribute__((unused)) (_Ttesttype::value);
+	  }
+	};
+
+	_Concept c;
+	c.__constraint();
+      }
+  };
+}
+
+int main()
+{
+  __gnu_test::constexpr_member_data test;
+  test.operator()<std::integral_constant<unsigned short, 69>>();
+  test.operator()<std::integral_constant<bool, true>>();
+  return 0;
+}
Index: testsuite/20_util/integral_constant/requirements/explicit_instantiation.cc
===================================================================
--- testsuite/20_util/integral_constant/requirements/explicit_instantiation.cc	(revision 0)
+++ testsuite/20_util/integral_constant/requirements/explicit_instantiation.cc	(working copy)
@@ -0,0 +1,29 @@ 
+// { dg-options "-std=gnu++11" }
+// { dg-do compile }
+
+// Copyright (C) 2013 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>
+
+namespace std
+{
+  typedef short test_type;
+  template struct integral_constant<test_type, -3>;
+}
Index: testsuite/20_util/integral_constant/requirements/typedefs.cc
===================================================================
--- testsuite/20_util/integral_constant/requirements/typedefs.cc	(revision 0)
+++ testsuite/20_util/integral_constant/requirements/typedefs.cc	(working copy)
@@ -0,0 +1,35 @@ 
+// { dg-options "-std=gnu++11" }
+//
+// Copyright (C) 2013 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>
+
+// { dg-do compile }
+
+void test01()
+{
+  // Check for required typedefs
+  typedef std::integral_constant<int, 1>      test_type;
+  typedef test_type::value_type               value_type;
+  typedef test_type::type                     type;
+  typedef test_type::type::value_type         type_value_type;
+  typedef test_type::type::type               type_type;
+}
Index: testsuite/20_util/integral_constant/static_definition.cc
===================================================================
--- testsuite/20_util/integral_constant/static_definition.cc	(revision 0)
+++ testsuite/20_util/integral_constant/static_definition.cc	(working copy)
@@ -0,0 +1,34 @@ 
+// { dg-options "-std=gnu++11" }
+//
+// Copyright (C) 2013 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/>.
+
+#include <type_traits>
+#include <testsuite_hooks.h>
+
+void test01()
+{
+  bool test __attribute__((unused)) = true;
+  const bool* p = &std::integral_constant<bool, true>::value;
+  VERIFY( p );
+}
+
+int main()
+{
+  test01();
+  return 0;
+}
Index: testsuite/20_util/integral_constant/true_false_type_typedefs.cc
===================================================================
--- testsuite/20_util/integral_constant/true_false_type_typedefs.cc	(revision 0)
+++ testsuite/20_util/integral_constant/true_false_type_typedefs.cc	(working copy)
@@ -0,0 +1,42 @@ 
+// { dg-options "-std=gnu++11" }
+//
+// Copyright (C) 2013 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>
+
+// { dg-do compile }
+
+void test01()
+{
+  // Check for required typedefs
+  typedef std::true_type                      true_type;
+  typedef std::false_type                     false_type;
+
+  typedef true_type::value_type               true_value_type;
+  typedef true_type::type                     true_type;
+  typedef true_type::type::value_type         true_type_value_type;
+  typedef true_type::type::type               true_type_type;
+  
+  typedef false_type::value_type              false_value_type;
+  typedef false_type::type                    false_type;
+  typedef false_type::type::value_type        false_type_value_type;
+  typedef false_type::type::type              false_type_type;
+}
Index: testsuite/20_util/integral_constant/true_false_value.cc
===================================================================
--- testsuite/20_util/integral_constant/true_false_value.cc	(revision 0)
+++ testsuite/20_util/integral_constant/true_false_value.cc	(working copy)
@@ -0,0 +1,44 @@ 
+// { dg-options "-std=gnu++11" }
+//
+// Copyright (C) 2013 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/>.
+
+#include <type_traits>
+#include <testsuite_hooks.h>
+
+void test01()
+{
+  bool test __attribute__((unused)) = true;
+  using std::true_type;
+  using std::false_type;
+
+  static_assert( true_type::value == true, "" );
+  static_assert( false_type::value == false, "" );
+  static_assert( true_type::type::value == true, "" );
+  static_assert( false_type::type::value == false, "" );
+
+  VERIFY( true_type::value == true );
+  VERIFY( false_type::value == false );
+  VERIFY( true_type::type::value == true );
+  VERIFY( false_type::type::value == false );
+}
+
+int main()
+{
+  test01();
+  return 0;
+}
Index: testsuite/tr1/4_metaprogramming/integral_constant/requirements/constexpr_data.cc
===================================================================
--- testsuite/tr1/4_metaprogramming/integral_constant/requirements/constexpr_data.cc	(revision 198511)
+++ testsuite/tr1/4_metaprogramming/integral_constant/requirements/constexpr_data.cc	(working copy)
@@ -1,52 +0,0 @@ 
-// { dg-do compile }
-// { dg-options "-std=gnu++0x" }
-
-// Copyright (C) 2010-2013 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/>.
-
-#include <type_traits>
-#include <testsuite_common_types.h>
-
-namespace __gnu_test
-{
-  struct constexpr_member_data
-  {
-    template<typename _Ttesttype>
-      void
-      operator()()
-      {
-	struct _Concept
-	{
-	  void __constraint()
-	  {
-	    constexpr auto v __attribute__((unused)) (_Ttesttype::value);
-	  }
-	};
-
-	_Concept c;
-	c.__constraint();
-      }
-  };
-}
-
-int main()
-{
-  __gnu_test::constexpr_member_data test;
-  test.operator()<std::integral_constant<unsigned short, 69>>();
-  test.operator()<std::integral_constant<bool, true>>();
-  return 0;
-}