[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

Author: haoNoQ

clang/test/Analysis/exploded-graph-rewriter/escapes.c

@@ -8,12 +8,17 @@
 // 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">&amp;Element\{"foo",0 S64b,char\}</td>
   // CHECK: <td align="left"><b>Environment: </b></td>
   // CHECK-SAME: <td align="left">"foo"</td>
   // CHECK-SAME: <td align="left">&amp;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;
 }

clang/utils/analyzer/exploded-graph-rewriter.py

@@ -300,6 +300,7 @@ def add_raw_line(self, raw_line):
                                         .replace('\\{', '{') \
                                         .replace('\\}', '}') \
                                         .replace('\\\\', '\\') \
+                                        .replace('\\|', '|') \
                                         .replace('\\<', '\\\\<') \
                                         .replace('\\>', '\\\\>') \
                                         .rstrip(',')
@@ -329,7 +330,7 @@ def _dump(s):
                .replace('\\<', '&lt;')
                .replace('\\>', '&gt;')
                .replace('\\l', '<br />')
-               .replace('|', ''), end='')
+               .replace('|', '\\|'), end='')
 
     @staticmethod
     def _diff_plus_minus(is_added):