Handle backslash in pp_write_text_as_dot_label_to_stream
2016-04-04 Tom de Vries <tom@codesourcery.com>
PR other/70433
* pretty-print.c (pp_write_text_as_dot_label_to_stream): Escape
backslash in label.
---
gcc/pretty-print.c | 6 ++++++
1 file changed, 6 insertions(+)
@@ -182,6 +182,12 @@ pp_write_text_as_dot_label_to_stream (pretty_printer *pp, bool for_record)
/* The following characters always have to be escaped
for use in labels. */
+ case '\\':
+ /* There is a bug in some (f.i. 2.36.0) versions of graphiz
+ ( http://www.graphviz.org/mantisbt/view.php?id=2524 ) related to
+ backslash as last char in label. Let's avoid triggering it. */
+ gcc_assert (*(p + 1) != '\0');
+ /* Fall through. */
case '"':
escape_char = true;
break;