diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index 04b6971fef76cdc60f867ee36cfc006441096eb4..c740e449383944a59b09330fc24852c7c5742b21 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,8 @@
+2012-10-12  Marc Glisse  <marc.glisse@inria.fr>
+
+	PR c++/53055
+	* c-common.h (enum ref_operator) [RO_ARROW_STAR]: New.
+
 2012-10-11  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* c-ada-spec.c (dump_ada_template): Bail out for template declarations
diff --git a/gcc/c-family/c-common.h b/gcc/c-family/c-common.h
index cb18b4e0747f38c441ea289e56d65ea4f36b8dce..66d90a345709e12a48ba97260234f07ca9602850 100644
--- a/gcc/c-family/c-common.h
+++ b/gcc/c-family/c-common.h
@@ -477,7 +477,9 @@ typedef enum ref_operator {
   /* -> */
   RO_ARROW,
   /* implicit conversion */
-  RO_IMPLICIT_CONVERSION
+  RO_IMPLICIT_CONVERSION,
+  /* ->* */
+  RO_ARROW_STAR
 } ref_operator;
 
 /* Information about a statement tree.  */
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 549ddbdc31980077f119e8ad2fa0efc3d19b671e..ad765412832fc9bc94c6d771748b73d6c8d20fee 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2012-10-12  Marc Glisse  <marc.glisse@inria.fr>
+
+	PR c++/53055
+	* call.c (build_new_op_1): Pass RO_ARROW_STAR to cp_build_indirect_ref.
+	* typeck.c (cp_build_indirect_ref): Handle RO_ARROW_STAR.
+
 2012-10-11  Jason Merrill  <jason@redhat.com>
 
 	* cp-tree.h (DECL_THUNKS): NULL_TREE for non-virtual functions.
diff --git a/gcc/cp/call.c b/gcc/cp/call.c
index 3351a585f2b4588d9a0ce6f17f229c3908a2a45b..c94bbbe3c08d13c75ad1b294c2b8e102a29f4d1a 100644
--- a/gcc/cp/call.c
+++ b/gcc/cp/call.c
@@ -5309,7 +5309,7 @@ build_new_op_1 (location_t loc, enum tree_code code, int flags, tree arg1,
       return cp_build_array_ref (input_location, arg1, arg2, complain);
 
     case MEMBER_REF:
-      return build_m_component_ref (cp_build_indirect_ref (arg1, RO_NULL, 
+      return build_m_component_ref (cp_build_indirect_ref (arg1, RO_ARROW_STAR, 
                                                            complain), 
                                     arg2, complain);
 
diff --git a/gcc/cp/typeck.c b/gcc/cp/typeck.c
index 13e75ab9ebf260e45bd205b46446825fcc9b03df..eaa0935dc98674865aaf1adbb84cea15d221aee2 100644
--- a/gcc/cp/typeck.c
+++ b/gcc/cp/typeck.c
@@ -2908,6 +2908,10 @@ cp_build_indirect_ref (tree ptr, ref_operator errorstring,
          case RO_IMPLICIT_CONVERSION:
            error ("invalid use of implicit conversion on pointer to member");
            break;
+         case RO_ARROW_STAR:
+           error ("left hand operand of %<->*%> must be a pointer to class, "
+		  "but is a pointer to member of type %qT", type);
+           break;
          default:
            gcc_unreachable ();
       }
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 9f3d29906f9abaa6b7fc5661a86fb2e0375ab526..3b9f121baea2516f7f1798cc98a1ca3331d78f39 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2012-10-12  Marc Glisse  <marc.glisse@inria.fr>
+
+	PR c++/53055
+	* g++.dg/pr53055.C: New testcase.
+
 2012-10-12  Paolo Carlini  <paolo.carlini@oracle.com>
 
 	PR c++/52744
diff --git a/gcc/testsuite/g++.dg/pr53055.C b/gcc/testsuite/g++.dg/pr53055.C
new file mode 100644
index 0000000000000000000000000000000000000000..787af9d156f03df66ddf8e4644e96600cf0434c8
--- /dev/null
+++ b/gcc/testsuite/g++.dg/pr53055.C
@@ -0,0 +1,5 @@
+// PR c++/53055
+// { dg-do compile }
+
+struct A A :: * p ;
+int i = p ->* p ; // { dg-error "" }