diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2019-06-25 02:16:56 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2019-06-25 02:16:56 +0000 |
| commit | 14f4de9bb9dd04bbdf784082b78b25f0d41b186e (patch) | |
| tree | e7b93cf7703c1fe931ae36d145d3128bf31b4fe2 /clang/utils/analyzer/exploded-graph-rewriter.py | |
| parent | beb85ad66de5af11e45bae236a3dd5a6a4762150 (diff) | |
| download | bcm5719-llvm-14f4de9bb9dd04bbdf784082b78b25f0d41b186e.tar.gz bcm5719-llvm-14f4de9bb9dd04bbdf784082b78b25f0d41b186e.zip | |
[analyzer] exploded-graph-rewriter: Fix escaping for bitwise-or.
'|' is a special character in graphviz, so it needs to be properly
escaped and unescaped.
llvm-svn: 364269
Diffstat (limited to 'clang/utils/analyzer/exploded-graph-rewriter.py')
| -rwxr-xr-x | clang/utils/analyzer/exploded-graph-rewriter.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/clang/utils/analyzer/exploded-graph-rewriter.py b/clang/utils/analyzer/exploded-graph-rewriter.py index 4aae72c0da6..668b12110b4 100755 --- a/clang/utils/analyzer/exploded-graph-rewriter.py +++ b/clang/utils/analyzer/exploded-graph-rewriter.py @@ -300,6 +300,7 @@ class ExplodedGraph(object): .replace('\\{', '{') \ .replace('\\}', '}') \ .replace('\\\\', '\\') \ + .replace('\\|', '|') \ .replace('\\<', '\\\\<') \ .replace('\\>', '\\\\>') \ .rstrip(',') @@ -329,7 +330,7 @@ class DotDumpVisitor(object): .replace('\\<', '<') .replace('\\>', '>') .replace('\\l', '<br />') - .replace('|', ''), end='') + .replace('|', '\\|'), end='') @staticmethod def _diff_plus_minus(is_added): |
