1 files changed, 17 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/init/pmf1.C b/gcc/testsuite/g++.dg/init/pmf1.C
new file mode 100644
index 00000000000..93c67bdd706
--- /dev/null
+++ b/gcc/testsuite/g++.dg/init/pmf1.C
@@ -0,0 +1,17 @@
+// PR c++/14089
+// { dg-do compile }
+//
+// C++ front end generated assignment between types that were not
+// compatible in any sense visible to the optimizers.
+
+struct pair {
+    typedef void (pair::*fp)();
+    int first;
+    pair::fp second;
+    pair(const int& a, const pair::fp& b) : first(a), second(b) {}
+    void f(const int& a, const pair::fp& b) { first = a; second = b; }
+};
+
+void op() {
+    pair(5, pair::fp());
+}