update docs. Replace 'lattice' with 'tree'.

llvm-svn: 68271

1 files changed, 7 insertions, 6 deletions

diff --git a/clang/docs/AnalyzerRegions.txt b/clang/docs/AnalyzerRegions.txt
index 62f23e4618c..c9c4ab30dff 100644
--- a/clang/docs/AnalyzerRegions.txt
+++ b/clang/docs/AnalyzerRegions.txt
@@ -146,15 +146,16 @@ Pointer Casts
   
   For toll-free bridging casts, we return the original region.
 
-  We can set up a lattice for pointer types, with the most general type 'void*'
-  at the top. The lattice enforces a partial order among types.
+  We can set up a partial order for pointer types, with the most general type
+  'void*' at the top. The partial order forms a tree with 'void*' as its root
+  node.
 
-  Every MemRegion has a root position in the type lattice. For example, the
-  pointee region of 'void *p' has its root position at the top of the lattice.
+  Every MemRegion has a root position in the type tree. For example, the pointee
+  region of 'void *p' has its root position at the root node of the tree.
   VarRegion of 'int x' has its root position at the 'int type' node.
 
-  TypedViewRegion is used to move the region down or up in the lattice. Moving
-  down in the lattice adds a TypedViewRegion. Moving up in the lattice removes a
+  TypedViewRegion is used to move the region down or up in the tree. Moving
+  down in the tree adds a TypedViewRegion. Moving up in the tree removes a
   TypedViewRegion.
 
   Do we want to allow moving up beyond the root position? This happens when: