From: vries <vries@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Sun, 17 Apr 2016 05:23:15 +0000 (+0000)
Subject: Handle backslash in pp_write_text_as_dot_label_to_stream
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=ace1bf51e1903870fd2e593e33b07bfb8baf2c70;p=thirdparty%2Fgcc.git

Handle backslash in pp_write_text_as_dot_label_to_stream

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

	PR other/70433
	* pretty-print.c (pp_write_text_as_dot_label_to_stream): Escape
	backslash in label.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@235077 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9216e7af4df4..5dd1b098dac9 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2016-04-17  Tom de Vries  <tom@codesourcery.com>
+
+	PR other/70433
+	* pretty-print.c (pp_write_text_as_dot_label_to_stream): Escape
+	backslash in label.
+
 2016-04-17  Tom de Vries  <tom@codesourcery.com>
 
 	* pretty-print.c (pp_write_text_as_dot_label_to_stream): Classify chars
diff --git a/gcc/pretty-print.c b/gcc/pretty-print.c
index c3a90a72752e..8ac3d347f83f 100644
--- a/gcc/pretty-print.c
+++ b/gcc/pretty-print.c
@@ -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;