aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.4.3/libstdc++-v3/testsuite/20_util/common_type/requirements/typedefs-1.cc
diff options
context:
space:
mode:
Diffstat (limited to 'gcc-4.4.3/libstdc++-v3/testsuite/20_util/common_type/requirements/typedefs-1.cc')
-rw-r--r--gcc-4.4.3/libstdc++-v3/testsuite/20_util/common_type/requirements/typedefs-1.cc117
1 files changed, 0 insertions, 117 deletions
diff --git a/gcc-4.4.3/libstdc++-v3/testsuite/20_util/common_type/requirements/typedefs-1.cc b/gcc-4.4.3/libstdc++-v3/testsuite/20_util/common_type/requirements/typedefs-1.cc
deleted file mode 100644
index 94469d974..000000000
--- a/gcc-4.4.3/libstdc++-v3/testsuite/20_util/common_type/requirements/typedefs-1.cc
+++ /dev/null
@@ -1,117 +0,0 @@
-// { dg-options "-std=gnu++0x" }
-//
-// Copyright (C) 2008, 2009 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>
-
-#define JOIN( X, Y ) DO_JOIN( X, Y )
-#define DO_JOIN( X, Y ) DO_JOIN2(X,Y)
-#define DO_JOIN2( X, Y ) X##Y
-
-#define COMMON_TYPE_TEST_1(type1, uid) \
- typedef common_type<type1>::type JOIN(test_t,uid); \
- VERIFY( (is_same<JOIN(test_t,uid), JOIN(test_t,uid)>::value) ); \
- typedef common_type<const type1>::type JOIN(test_t,JOIN(uid,c)); \
- VERIFY( (is_same<JOIN(test_t,JOIN(uid,c)), \
- JOIN(test_t,JOIN(uid,c))>::value) ); \
- typedef common_type<volatile type1>::type JOIN(test_t,JOIN(uid,v)); \
- VERIFY( (is_same<JOIN(test_t,JOIN(uid,v)), \
- JOIN(test_t,JOIN(uid,v))>::value) ); \
- typedef common_type<const volatile type1>::type JOIN(test_t,JOIN(uid,cv)); \
- VERIFY( (is_same<JOIN(test_t,JOIN(uid,cv)), \
- JOIN(test_t,JOIN(uid,cv))>::value) ); \
- typedef common_type<type1 &>::type JOIN(test_t,JOIN(uid,l)); \
- VERIFY( (is_same<JOIN(test_t,JOIN(uid,l)), \
- JOIN(test_t,JOIN(uid,l))>::value) ); \
- typedef common_type<const type1 &>::type JOIN(test_t,JOIN(uid,lc)); \
- VERIFY( (is_same<JOIN(test_t,JOIN(uid,lc)), \
- JOIN(test_t,JOIN(uid,lc))>::value) ); \
- typedef common_type<volatile type1 &>::type JOIN(test_t,JOIN(uid,lv)); \
- VERIFY( (is_same<JOIN(test_t,JOIN(uid,lv)), \
- JOIN(test_t,JOIN(uid,lv))>::value) ); \
- typedef common_type<const volatile type1 &>::type JOIN(test_t,JOIN(uid,lcv)); \
- VERIFY( (is_same<JOIN(test_t,JOIN(uid,lcv)), \
- JOIN(test_t,JOIN(uid,lcv))>::value) ); \
- typedef common_type<type1 &&>::type JOIN(test_t,JOIN(uid,r)); \
- VERIFY( (is_same<JOIN(test_t,JOIN(uid,r)), \
- JOIN(test_t,JOIN(uid,r))>::value) ); \
- typedef common_type<const type1 &&>::type JOIN(test_t,JOIN(uid,rc)); \
- VERIFY( (is_same<JOIN(test_t,JOIN(uid,rc)), \
- JOIN(test_t,JOIN(uid,rc))>::value) ); \
- typedef common_type<volatile type1 &&>::type JOIN(test_t,JOIN(uid,rv)); \
- VERIFY( (is_same<JOIN(test_t,JOIN(uid,rv)), \
- JOIN(test_t,JOIN(uid,rv))>::value) ); \
- typedef common_type<const volatile type1 &&>::type JOIN(test_t,JOIN(uid,rcv)); \
- VERIFY( (is_same<JOIN(test_t,JOIN(uid,rcv)), \
- JOIN(test_t,JOIN(uid,rcv))>::value) )
-
-struct A { };
-struct B : A { };
-
-void test01()
-{
- bool test __attribute__((unused)) = true;
- using std::common_type;
- using std::is_same;
-
- // Positive tests.
- COMMON_TYPE_TEST_1(int, 1);
- COMMON_TYPE_TEST_1(double, 2);
- COMMON_TYPE_TEST_1(A, 3);
- COMMON_TYPE_TEST_1(B, 4);
-}
-
-#define COMMON_TYPE_TEST_2_IMPL(type1, type2, type3, uid) \
- typedef common_type<type1, type2>::type JOIN(JOIN(test, uid),_t1); \
- typedef common_type<type2, type1>::type JOIN(JOIN(test, uid),_t2); \
- VERIFY( (is_same<JOIN(JOIN(test, uid),_t1), type3>::value) ); \
- VERIFY( (is_same<JOIN(JOIN(test, uid),_t2), type3>::value) )
-
-#define NO_CV
-
-#define COMMON_TYPE_TEST_2(cv_qual, type1, type2, type3, uid) \
- COMMON_TYPE_TEST_2_IMPL(cv_qual type1, type2, type3, uid); \
- COMMON_TYPE_TEST_2_IMPL(cv_qual type1 &, type2, type3, JOIN(uid,l)); \
- COMMON_TYPE_TEST_2_IMPL(cv_qual type1 &&, type2, type3, JOIN(uid,r))
-
-#define COMMON_TYPE_TEST_ALL_2(type1, type2, type3, uid) \
- COMMON_TYPE_TEST_2(NO_CV, type1, type2, type3, uid); \
- COMMON_TYPE_TEST_2(const, type1, type2, type3, uid); \
- COMMON_TYPE_TEST_2(volatile, type1, type2, type3, uid); \
- COMMON_TYPE_TEST_2(const volatile, type1, type2, type3, uid)
-
-void test02()
-{
- bool test __attribute__((unused)) = true;
- using std::common_type;
- using std::is_same;
-
- COMMON_TYPE_TEST_ALL_2(int, int, int, 1);
- COMMON_TYPE_TEST_ALL_2(int, double, double, 2);
- COMMON_TYPE_TEST_2(NO_CV, A, A, A, 3);
- COMMON_TYPE_TEST_2(const, A, A, const A, 4);
- COMMON_TYPE_TEST_2(NO_CV, B, A, A, 5);
-}
-
-int main()
-{
- test01();
- test02();
- return 0;
-}