diff options
author | Artem Dergachev <artem.dergachev@gmail.com> | 2019-10-18 20:15:41 +0000 |
---|---|---|
committer | Artem Dergachev <artem.dergachev@gmail.com> | 2019-10-18 20:15:41 +0000 |
commit | faab8a541436765920f5b83fe8b130857b12ac77 (patch) | |
tree | 519470744c4da6dc78e10fb82278c8ed91cfa990 | |
parent | 15e9d0493a9f62d0a6b68178627dda057d14bbd1 (diff) | |
download | clang-faab8a541436765920f5b83fe8b130857b12ac77.tar.gz |
[analyzer] exploded-graph-rewriter: Rename Environment to Expressions.
It's less confusing for newcomers.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@375282 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | test/Analysis/exploded-graph-rewriter/environment.dot | 2 | ||||
-rw-r--r-- | test/Analysis/exploded-graph-rewriter/escapes.c | 2 | ||||
-rwxr-xr-x | utils/analyzer/exploded-graph-rewriter.py | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/test/Analysis/exploded-graph-rewriter/environment.dot b/test/Analysis/exploded-graph-rewriter/environment.dot index 733aae3036..7b8fc05d3b 100644 --- a/test/Analysis/exploded-graph-rewriter/environment.dot +++ b/test/Analysis/exploded-graph-rewriter/environment.dot @@ -3,7 +3,7 @@ // FIXME: Substitution doesn't seem to work on Windows. // UNSUPPORTED: system-windows -// CHECK: <b>Environment: </b> +// CHECK: <b>Expressions: </b> // CHECK-SAME: <table border="0"> // CHECK-SAME: <tr> // CHECK-SAME: <td align="left"> diff --git a/test/Analysis/exploded-graph-rewriter/escapes.c b/test/Analysis/exploded-graph-rewriter/escapes.c index ea8c899441..e0f8c5047c 100644 --- a/test/Analysis/exploded-graph-rewriter/escapes.c +++ b/test/Analysis/exploded-graph-rewriter/escapes.c @@ -12,7 +12,7 @@ void escapes() { // CHECK: <td align="left"><b>Store: </b> <font color="gray">(0x{{[0-9a-f]*}})</font></td> // CHECK-SAME: <td align="left">foo</td><td align="left">0</td> // CHECK-SAME: <td align="left">&Element\{"foo",0 S64b,char\}</td> - // CHECK: <td align="left"><b>Environment: </b></td> + // CHECK: <td align="left"><b>Expressions: </b></td> // CHECK-SAME: <td align="left">"foo"</td> // CHECK-SAME: <td align="left">&Element\{"foo",0 S64b,char\}</td> const char *const foo = "\x66\x6f\x6f"; diff --git a/utils/analyzer/exploded-graph-rewriter.py b/utils/analyzer/exploded-graph-rewriter.py index 46c0415826..79055b433e 100755 --- a/utils/analyzer/exploded-graph-rewriter.py +++ b/utils/analyzer/exploded-graph-rewriter.py @@ -792,7 +792,7 @@ class DotDumpVisitor(object): def visit_state(self, s, prev_s): self.visit_store_in_state(s, prev_s) - self.visit_environment_in_state('environment', 'Environment', + self.visit_environment_in_state('environment', 'Expressions', s, prev_s) self.visit_generic_map_in_state('constraints', 'Ranges', s, prev_s) |