diff options
Diffstat (limited to 'clang/utils/analyzer/exploded-graph-rewriter.py')
| -rwxr-xr-x | clang/utils/analyzer/exploded-graph-rewriter.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/clang/utils/analyzer/exploded-graph-rewriter.py b/clang/utils/analyzer/exploded-graph-rewriter.py index d612cfc3ba7..ced5c36bab5 100755 --- a/clang/utils/analyzer/exploded-graph-rewriter.py +++ b/clang/utils/analyzer/exploded-graph-rewriter.py @@ -644,6 +644,10 @@ class DotDumpVisitor(object): if st is None: self._dump('<i> Nothing!</i>') else: + if self._dark_mode: + self._dump(' <font color="gray30">(%s)</font>' % st.ptr) + else: + self._dump(' <font color="gray">(%s)</font>' % st.ptr) if prev_st is not None: if s.store.is_different(prev_st): self._dump('</td></tr><tr><td align="left">') |
