Fix record-shape escapes in pp_write_text_as_dot_label_to_stream

2016-04-17  Tom de Vries  <tom@codesourcery.com>

	* pretty-print.c (pp_write_text_as_dot_label_to_stream): Classify chars
	'{}<> ' as escape-for-record.

From-SVN: r235076

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2bd0d6fb6d08342d4e0f9010071e5d74217c0f0b..9216e7af4df4cf1a3ce2a8a3abdb56a8f71032ac 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2016-04-17  Tom de Vries  <tom@codesourcery.com>
+
+       * pretty-print.c (pp_write_text_as_dot_label_to_stream): Classify chars
+       '{}<> ' as escape-for-record.
+
 2016-04-17  Tom de Vries  <tom@codesourcery.com>
 
        * 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 f6e4b43d9fbcddf1fd7df35c621e8ffa002387c4..c3a90a72752eea3f4591aa61f873d631dc768a39 100644 (file)
--- 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;