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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68271 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/docs/AnalyzerRegions.txt b/docs/AnalyzerRegions.txt
index 62f23e4618c18361b50c825c86b741ef2138f7d1..c9c4ab30dff64d79485afa7dddf22e03ba377d63 100644 (file)
--- a/docs/AnalyzerRegions.txt
+++ b/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: