summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/tree-pretty-print.c6
2 files changed, 11 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b47cacf2b41..c05092f5169 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+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.
diff --git a/gcc/tree-pretty-print.c b/gcc/tree-pretty-print.c
index 6a1c678df36..93dc9c20610 100644
--- a/gcc/tree-pretty-print.c
+++ b/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);