[cfe-commits] r68773 - /cfe/trunk/docs/AnalyzerRegions.html

[Zhongxing Xu]

Author: zhongxingxu
Date: Fri Apr 10 01:52:49 2009
New Revision: 68773

URL: http://llvm.org/viewvc/llvm-project?rev=68773&view=rev
Log:
update analyzer doc.

Modified:
    cfe/trunk/docs/AnalyzerRegions.html

Modified: cfe/trunk/docs/AnalyzerRegions.html
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/docs/AnalyzerRegions.html?rev=68773&r1=68772&r2=68773&view=diff

==============================================================================
--- cfe/trunk/docs/AnalyzerRegions.html (original)
+++ cfe/trunk/docs/AnalyzerRegions.html Fri Apr 10 01:52:49 2009
@@ -107,6 +107,24 @@
 <p>Thus we need to canonicalize the MemRegion which is used in binding and
 retrieving.</p>
 
+<h3>Regions</h3>
+<p>Region is the entity used to model pointer values. A Region has the following
+properties:</p>
+
+<ul>
+<li>Kind</li>
+
+<li>ObjectType: the type of the object residing on the region.</li>
+
+<li>LocationType: the type of the pointer value that the region corresponds to.
+  Usually this is the pointer to the ObjectType. But sometimes we want to cache
+  this type explicitly, for example, for a CodeTextRegion.</li>
+
+<li>StartLocation</li>
+
+<li>EndLocation</li>
+</ul>
+
 <h3>Symbolic Regions</h3>
 
 <p>A symbolic region is a map of the concept of symbolic values into the domain