From c6921379f55ee566fb62ba5aa47b217cf7c5d960 Mon Sep 17 00:00:00 2001 From: Artem Dergachev Date: Fri, 18 Oct 2019 20:15:41 +0000 Subject: [PATCH] [analyzer] exploded-graph-rewriter: Rename Environment to Expressions. It's less confusing for newcomers. llvm-svn: 375282 --- clang/test/Analysis/exploded-graph-rewriter/environment.dot | 2 +- clang/test/Analysis/exploded-graph-rewriter/escapes.c | 2 +- clang/utils/analyzer/exploded-graph-rewriter.py | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/clang/test/Analysis/exploded-graph-rewriter/environment.dot b/clang/test/Analysis/exploded-graph-rewriter/environment.dot index 733aae3036c8..7b8fc05d3bb4 100644 --- a/clang/test/Analysis/exploded-graph-rewriter/environment.dot +++ b/clang/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/clang/utils/analyzer/exploded-graph-rewriter.py b/clang/utils/analyzer/exploded-graph-rewriter.py index 46c0415826a0..79055b433e8d 100755 --- a/clang/utils/analyzer/exploded-graph-rewriter.py +++ b/clang/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)
diff --git a/clang/test/Analysis/exploded-graph-rewriter/escapes.c b/clang/test/Analysis/exploded-graph-rewriter/escapes.c index ea8c8994419a..e0f8c5047ce1 100644 --- a/clang/test/Analysis/exploded-graph-rewriter/escapes.c +++ b/clang/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\}