From faab8a541436765920f5b83fe8b130857b12ac77 Mon Sep 17 00:00:00 2001 From: Artem Dergachev Date: Fri, 18 Oct 2019 20:15:41 +0000 Subject: [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 --- test/Analysis/exploded-graph-rewriter/environment.dot | 2 +- test/Analysis/exploded-graph-rewriter/escapes.c | 2 +- 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: Environment: +// CHECK: Expressions: // CHECK-SAME: // CHECK-SAME: // CHECK-SAME: // CHECK-SAME: // CHECK-SAME: - // CHECK: + // CHECK: // CHECK-SAME: // CHECK-SAME: 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) -- cgit v1.2.1
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: Store: (0x{{[0-9a-f]*}})foo0&Element\{"foo",0 S64b,char\}Environment: Expressions: "foo"&Element\{"foo",0 S64b,char\}