* typeck.c (build_binary_op): Fix pmf comparison logic.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@38637 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 26 insertions, 0 deletions

diff --git a/gcc/testsuite/g++.old-deja/g++.other/pmf6.C b/gcc/testsuite/g++.old-deja/g++.other/pmf6.C
new file mode 100644
index 00000000000..cb9da305bf8
--- /dev/null
+++ b/gcc/testsuite/g++.old-deja/g++.other/pmf6.C
@@ -0,0 +1,26 @@
+// Test that we only call f once and that pointers to different subobjects
+// compare as different.
+
+struct A { void f() { } };
+struct B: public A { };
+struct C: public A { };
+struct D : public B, public C { };
+
+typedef void (B::*bp)();
+typedef void (C::*cp)();
+typedef void (D::*dp)();
+
+dp d1;
+
+int call;
+
+dp f () { ++call; return d1; }
+
+int main()
+{
+  bp b = &A::f;
+  cp c = &A::f;
+  d1 = b;
+  dp d2 = c;
+  return (f() == d2 || call != 1);
+}