Commit c6921379 authored by Artem Dergachev's avatar Artem Dergachev
Browse files

[analyzer] exploded-graph-rewriter: Rename Environment to Expressions. 

It's less confusing for newcomers.

llvm-svn: 375282
parent 2b4f6df9

clang/test/Analysis/exploded-graph-rewriter/environment.dot

+1 −1
Original line number Diff line number Diff line
@@ -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">

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

+1 −1
Original line number Diff line number Diff line
@@ -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">&amp;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">&amp;Element\{"foo",0 S64b,char\}</td>

  const char *const foo = "\x66\x6f\x6f";

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

+1 −1
Original line number Diff line number Diff line
@@ -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)