summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.old-deja/g++.robertl/eb43.C
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/g++.old-deja/g++.robertl/eb43.C')
-rw-r--r--gcc/testsuite/g++.old-deja/g++.robertl/eb43.C44
1 files changed, 44 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.old-deja/g++.robertl/eb43.C b/gcc/testsuite/g++.old-deja/g++.robertl/eb43.C
new file mode 100644
index 000000000..1dc43284c
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.robertl/eb43.C
@@ -0,0 +1,44 @@
+// { dg-do assemble }
+// All the pointer_to_binary_function cases used to fail because g++
+// couldn't handle converting an overloaded function to a class type.
+// The first one should still fail because it requires an implicit conversion
+// to pointer_to_binary_function, which has an `explicit' constructor.
+
+// { dg-prune-output "note" }
+
+#include <vector>
+#include <algorithm>
+#include <functional>
+
+using namespace std;
+
+template <class T> class Expr
+{
+public :
+ Expr(){}
+ Expr(const T&){}
+};
+
+template <class T >
+inline bool compare(const Expr<T> a, const Expr<T> b){ return true; }
+
+int main()
+{
+ vector<int> a(3);
+ sort( a.begin(), a.end(),
+ static_cast<bool (*)(const Expr<int>,const Expr<int>)>(compare) );
+ sort( a.begin(), a.end(), compare<int> );
+ sort<vector<int>::iterator,
+ pointer_to_binary_function<const Expr<int>, const Expr<int>, bool> >
+ ( a.begin(), a.end(), compare ); // { dg-error "" } constructor is explicit
+ sort( a.begin(), a.end(),
+ ptr_fun<const Expr<int>, const Expr<int>, bool> (compare) );
+ sort( a.begin(), a.end(),
+ ptr_fun(compare<int>) );
+ sort( a.begin(), a.end(),
+ pointer_to_binary_function<const Expr<int>, const Expr<int>, bool>(compare) );
+ sort( a.begin(), a.end(),
+ pointer_to_binary_function<const Expr<int>, const Expr<int>, bool>(compare<int>) );
+ sort( a.begin(), a.end(),
+ pointer_to_binary_function<const Expr<int>, const Expr<int>, bool>(compare<>) );
+}