X-Git-Url: https://oss.titaniummirror.com/gitweb/?a=blobdiff_plain;f=libstdc%2B%2B-v3%2Ftestsuite%2F20_util%2Freference_wrapper%2Ftypedefs.cc;fp=libstdc%2B%2B-v3%2Ftestsuite%2F20_util%2Freference_wrapper%2Ftypedefs.cc;h=56ee29e1af158ec17b6e0b9e41b3ca04e53aff9a;hb=6fed43773c9b0ce596dca5686f37ac3fc0fa11c0;hp=0000000000000000000000000000000000000000;hpb=27b11d56b743098deb193d510b337ba22dc52e5c;p=msp430-gcc.git
diff --git a/libstdc++-v3/testsuite/20_util/reference_wrapper/typedefs.cc b/libstdc++-v3/testsuite/20_util/reference_wrapper/typedefs.cc
new file mode 100644
index 00000000..56ee29e1
--- /dev/null
+++ b/libstdc++-v3/testsuite/20_util/reference_wrapper/typedefs.cc
@@ -0,0 +1,87 @@
+// { 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
+// .
+
+#include
+#include
+#include
+#include
+
+using namespace __gnu_test;
+
+struct X {};
+
+struct int_result_type { typedef int result_type; };
+
+struct derives_unary : std::unary_function {};
+
+struct derives_binary : std::binary_function {};
+
+struct derives_unary_binary
+ : std::unary_function,
+ std::binary_function
+{
+ typedef int result_type;
+};
+
+void test01()
+{
+ bool test __attribute__((unused)) = true;
+
+ using std::reference_wrapper;
+ using std::is_same;
+ using std::is_convertible;
+ using std::unary_function;
+ using std::binary_function;
+
+ // Check result_type typedef
+ VERIFY((is_same::result_type, int>::value));
+ VERIFY((is_same::result_type, int>::value));
+ VERIFY((is_same::result_type, int>::value));
+ VERIFY((is_same::result_type, int>::value));
+ VERIFY((is_same::result_type, int>::value));
+ VERIFY((is_same::result_type, int>::value));
+ VERIFY((is_same::result_type, int>::value));
+ VERIFY((is_same::result_type, int>::value));
+
+ // Check derivation from unary_function
+ VERIFY((is_convertible*, unary_function*>::value));
+ VERIFY((is_convertible*, unary_function*>::value));
+ VERIFY((is_convertible*, unary_function*>::value));
+ VERIFY((is_convertible*, unary_function*>::value));
+ VERIFY((is_convertible*, unary_function< ::X*, int>*>::value));
+ VERIFY((is_convertible*, unary_function*>::value));
+ VERIFY((is_convertible*, unary_function*>::value));
+ VERIFY((is_convertible*, unary_function*>::value));
+
+ // Check derivation from binary_function
+ VERIFY((is_convertible*, binary_function*>::value));
+ VERIFY((is_convertible*, binary_function*>::value));
+ VERIFY((is_convertible*, binary_function*>::value));
+ VERIFY((is_convertible*, binary_function*>::value));
+ VERIFY((is_convertible*, binary_function< ::X*, float, int>*>::value));
+ VERIFY((is_convertible*, binary_function*>::value));
+ VERIFY((is_convertible*, binary_function*>::value));
+ VERIFY((is_convertible*, binary_function*>::value));
+}
+
+int main()
+{
+ test01();
+ return 0;
+}