mathieu/granite-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Remove redundant graphviz escaping

Browse source
This commit is contained in:
Jannis Christopher Köhl 2022-11-14 15:11:18 +01:00
parent 108790b8dc
commit c27ddc9a7f
1 changed files with 3 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
compiler/rustc_middle/src/mir/generic_graphviz.rs
View file

@ -126,7 +126,7 @@ impl<
write!(
w,
r#"<tr><td align="left" balign="left">{}</td></tr>"#,
dot::escape_html(&section).replace('\n', "<br/>")
dot::escape_html(&section)
)?;
}
@ -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)
}