[cfe-commits] r68271 - /cfe/trunk/docs/AnalyzerRegions.txt
Zhongxing Xu
xuzhongxing at gmail.com
Wed Apr 1 18:14:57 PDT 2009
Author: zhongxingxu
Date: Wed Apr 1 20:14:56 2009
New Revision: 68271
URL: http://llvm.org/viewvc/llvm-project?rev=68271&view=rev
Log:
update docs. Replace 'lattice' with 'tree'.
Modified:
cfe/trunk/docs/AnalyzerRegions.txt
Modified: cfe/trunk/docs/AnalyzerRegions.txt
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/docs/AnalyzerRegions.txt?rev=68271&r1=68270&r2=68271&view=diff
==============================================================================
--- cfe/trunk/docs/AnalyzerRegions.txt (original)
+++ cfe/trunk/docs/AnalyzerRegions.txt Wed Apr 1 20:14:56 2009
@@ -146,15 +146,16 @@
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:
More information about the cfe-commits
mailing list