diff options
| author | Jannis Christopher Köhl <mail@koehl.dev> | 2022-11-14 15:11:18 +0100 |
|---|---|---|
| committer | Jannis Christopher Köhl <mail@koehl.dev> | 2022-11-14 15:11:18 +0100 |
| commit | c27ddc9a7f606e076aa1751523323f0ada2becbe (patch) | |
| tree | 9ad710dd5394fbeb5ee37e71a40650cbdafff46e | |
| parent | 108790b8dc2298a63214d28abf8354b09878e427 (diff) | |
| download | rust-c27ddc9a7f606e076aa1751523323f0ada2becbe.tar.gz rust-c27ddc9a7f606e076aa1751523323f0ada2becbe.zip | |
Remove redundant graphviz escaping
| -rw-r--r-- | compiler/rustc_middle/src/mir/generic_graphviz.rs | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/compiler/rustc_middle/src/mir/generic_graphviz.rs b/compiler/rustc_middle/src/mir/generic_graphviz.rs index 11ac45943ac..ccae7e159b1 100644 --- a/compiler/rustc_middle/src/mir/generic_graphviz.rs +++ b/compiler/rustc_middle/src/mir/generic_graphviz.rs @@ -126,7 +126,7 @@ impl< write!( w, r#"<tr><td align="left" balign="left">{}</td></tr>"#, - dot::escape_html(§ion).replace('\n', "<br/>") + dot::escape_html(§ion) )?; } @@ -147,7 +147,7 @@ impl< let src = self.node(source); let trg = self.node(target); let escaped_edge_label = if let Some(edge_label) = edge_labels.get(index) { - dot::escape_html(edge_label).replace('\n', r#"<br align="left"/>"#) + dot::escape_html(edge_label) } else { "".to_owned() }; @@ -162,8 +162,7 @@ impl< where W: Write, { - let lines = label.split('\n').map(|s| dot::escape_html(s)).collect::<Vec<_>>(); - let escaped_label = lines.join(r#"<br align="left"/>"#); + let escaped_label = dot::escape_html(label); writeln!(w, r#" label=<<br/><br/>{}<br align="left"/><br/><br/><br/>>;"#, escaped_label) } |
