[cfe-commits] r68190 - /cfe/trunk/docs/AnalyzerRegions.txt
Zhongxing Xu
xuzhongxing at gmail.com
Tue Mar 31 22:26:39 PDT 2009
Author: zhongxingxu
Date: Wed Apr 1 00:26:39 2009
New Revision: 68190
URL: http://llvm.org/viewvc/llvm-project?rev=68190&view=rev
Log:
Adjust doc format.
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=68190&r1=68189&r2=68190&view=diff
==============================================================================
--- cfe/trunk/docs/AnalyzerRegions.txt (original)
+++ cfe/trunk/docs/AnalyzerRegions.txt Wed Apr 1 00:26:39 2009
@@ -130,36 +130,37 @@
Pointer Casts
-Pointer casts allow people to impose different 'views' onto a chunk of memory.
-
-Usually we have two kinds of casts. One kind of casts cast down with in the type
-hierarchy. It imposes more specific views onto more generic memory regions. The
-other kind of casts cast up with in the type hierarchy. It strips away more
-specific views on top of the more generic memory regions.
-
-We simulate the down casts by layering another TypedViewRegion on top of the
-original region. We simulate the up casts by striping away the top
-TypedViewRegion. Down casts is usually simple. For up casts, if the there is no
-TypedViewRegion to be stripped, we return the original region. If the underlying
-region is of the different type than the cast-to type, we flag an error state.
-
-For toll-free bridging casts, we return the original region.
+ Pointer casts allow people to impose different 'views' onto a chunk of memory.
+
+ Usually we have two kinds of casts. One kind of casts cast down with in the
+ type hierarchy. It imposes more specific views onto more generic memory
+ regions. The other kind of casts cast up with in the type hierarchy. It strips
+ away more specific views on top of the more generic memory regions.
+
+ We simulate the down casts by layering another TypedViewRegion on top of the
+ original region. We simulate the up casts by striping away the top
+ TypedViewRegion. Down casts is usually simple. For up casts, if the there is
+ no TypedViewRegion to be stripped, we return the original region. If the
+ underlying region is of the different type than the cast-to type, we flag an
+ error state.
+
+ For toll-free bridging casts, we return the original region.
Region Bindings
-The following region kinds are boundable: VarRegion, CompoundLiteralRegion,
-StringRegion, ElementRegion, FieldRegion, and ObjCIvarRegion.
+ The following region kinds are boundable: VarRegion, CompoundLiteralRegion,
+ StringRegion, ElementRegion, FieldRegion, and ObjCIvarRegion.
-When binding regions, we perform canonicalization on element regions and field
-regions. This is because we can have different views on the same region, some of
-which are essentially the same view with different sugar type names.
-
-To canonicalize a region, we get the canonical types for all TypedViewRegions
-along the way up to the root region, and make new TypedViewRegions with those
-canonical types.
-
-All bindings and retrievings are done on the canonicalized regions.
-
-Canonicalization is transparent outside the region store manager, and more
-specifically, unaware outside the Bind() and Retrieve() method. We don't need to
-consider region canonicalization when doing pointer cast.
+ When binding regions, we perform canonicalization on element regions and field
+ regions. This is because we can have different views on the same region, some
+ of which are essentially the same view with different sugar type names.
+
+ To canonicalize a region, we get the canonical types for all TypedViewRegions
+ along the way up to the root region, and make new TypedViewRegions with those
+ canonical types.
+
+ All bindings and retrievings are done on the canonicalized regions.
+
+ Canonicalization is transparent outside the region store manager, and more
+ specifically, unaware outside the Bind() and Retrieve() method. We don't need
+ to consider region canonicalization when doing pointer cast.
More information about the cfe-commits
mailing list