Fix record-shape escapes in pp_write_text_as_dot_label_to_stream

[thirdparty/gcc.git] / gcc / pretty-print.c

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;