From 795391fb1d64fcab3b7c4002dd15029423420dfc Mon Sep 17 00:00:00 2001 From: Tom de Vries Date: Sun, 17 Apr 2016 05:23:03 +0000 Subject: [PATCH] Fix record-shape escapes in pp_write_text_as_dot_label_to_stream 2016-04-17 Tom de Vries * pretty-print.c (pp_write_text_as_dot_label_to_stream): Classify chars '{}<> ' as escape-for-record. From-SVN: r235076 --- gcc/ChangeLog | 5 +++++ gcc/pretty-print.c | 12 ++++++------ 2 files changed, 11 insertions(+), 6 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2bd0d6fb6d0..9216e7af4df 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2016-04-17 Tom de Vries + + * pretty-print.c (pp_write_text_as_dot_label_to_stream): Classify chars + '{}<> ' as escape-for-record. + 2016-04-17 Tom de Vries * pretty-print.c (pp_write_text_as_dot_label_to_stream): Simplify loop diff --git a/gcc/pretty-print.c b/gcc/pretty-print.c index f6e4b43d9fb..c3a90a72752 100644 --- a/gcc/pretty-print.c +++ b/gcc/pretty-print.c @@ -170,19 +170,19 @@ pp_write_text_as_dot_label_to_stream (pretty_printer *pp, bool for_record) escape_char = true; break; - /* A pipe is only special for record-shape nodes. */ + /* The following characters are only special for record-shape nodes. */ case '|': + case '{': + case '}': + case '<': + case '>': + case ' ': escape_char = for_record; break; /* The following characters always have to be escaped for use in labels. */ - case '{': - case '}': - case '<': - case '>': case '"': - case ' ': escape_char = true; break; -- 2.30.2