tree-pretty-print.c (dump_generic_node): Print class type of OBJ_TYPE_REF.

	* tree-pretty-print.c (dump_generic_node): Print class type of
	OBJ_TYPE_REF.

From-SVN: r205017

gcc/ChangeLog

+2013-11-19  Jan Hubicka  <jh@suse.cz>
+
+	* tree-pretty-print.c (dump_generic_node): Print class type of
+	OBJ_TYPE_REF.
+
 2013-11-19  Joey Ye  <joey.ye@arm.com>
 
 	* config/arm/arm.opt (-marm-pic-data-is-text-relative): New option.

gcc/tree-pretty-print.c

@@ -2228,6 +2228,12 @@ dump_generic_node (pretty_printer *buffer, tree node, int spc, int flags,
       pp_string (buffer, "OBJ_TYPE_REF(");
       dump_generic_node (buffer, OBJ_TYPE_REF_EXPR (node), spc, flags, false);
       pp_semicolon (buffer);
+      if (!(flags & TDF_SLIM) && virtual_method_call_p (node))
+	{
+	  pp_string (buffer, "(");
+	  dump_generic_node (buffer, obj_type_ref_class (node), spc, flags, false);
+	  pp_string (buffer, ")");
+	}
       dump_generic_node (buffer, OBJ_TYPE_REF_OBJECT (node), spc, flags, false);
       pp_arrow (buffer);
       dump_generic_node (buffer, OBJ_TYPE_REF_TOKEN (node), spc, flags, false);