diff options
| -rw-r--r-- | clang/test/Analysis/exploded-graph-rewriter/escapes.c | 7 | ||||
| -rwxr-xr-x | clang/utils/analyzer/exploded-graph-rewriter.py | 3 |
2 files changed, 8 insertions, 2 deletions
diff --git a/clang/test/Analysis/exploded-graph-rewriter/escapes.c b/clang/test/Analysis/exploded-graph-rewriter/escapes.c index bdf308513ea..32a7713561f 100644 --- a/clang/test/Analysis/exploded-graph-rewriter/escapes.c +++ b/clang/test/Analysis/exploded-graph-rewriter/escapes.c @@ -8,7 +8,7 @@ // FIXME: Substitution doesn't seem to work on Windows. // UNSUPPORTED: system-windows -void string_region_escapes() { +void escapes() { // CHECK: <td align="left"><b>Store: </b></td> // CHECK-SAME: <td align="left">foo</td><td align="left">0</td> // CHECK-SAME: <td align="left">&Element\{"foo",0 S64b,char\}</td> @@ -16,4 +16,9 @@ void string_region_escapes() { // CHECK-SAME: <td align="left">"foo"</td> // CHECK-SAME: <td align="left">&Element\{"foo",0 S64b,char\}</td> const char *const foo = "foo"; + + // CHECK: <font color="cyan3">BinaryOperator</font> + // CHECK-SAME: <td align="left">1 \| 2</td> + // CHECK-SAME: <td align="left">3 S32b</td> + int x = 1 | 2; } 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): |
