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

From-SVN: r38637

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 (file)
index 0000000..cb9da30
--- /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);
+}