CVS difference for ais/ai-00326.txt

Differences between 1.19 and version 1.20
Log of other versions for file ais/ai-00326.txt

--- ais/ai-00326.txt	2005/10/31 05:18:30	1.19
+++ ais/ai-00326.txt	2006/02/21 04:21:47	1.20
@@ -1,4 +1,4 @@
-!standard 03.02      (04)                            05-09-20  AI95-00326/11
+!standard 03.02      (04)                            06-02-01  AI95-00326/12
 !standard 03.02      (05)
 !standard 03.02.01   (08)
 !standard 03.07      (01)
@@ -207,7 +207,7 @@
 
 Replace 3.10.1(10):
 
-  A prefix shall not be of an incomplete view.
+  A prefix that denotes an object shall not be of an incomplete view.
 
 AARM: We used to disallow all dereferences of an incomplete type.
 Now we only disallow such dereferences when used as a prefix. Dereferences
@@ -215,6 +215,11 @@
 will preclude their use except when the full type is "nearby" as context
 (e.g. as the expected type).
 
+This also disallows prefixes that are directly of an incomplete view.
+For instance, a parameter P can be declared of a tagged incomplete type, but
+we don't want to allow P'Size, P'Alignment, or the like, as representation
+values aren't known for an incomplete view.
+
 Delete 3.10.1(11) (we moved it above)
 
 4.1(9): No change is needed. Note that this differs from the proposed AI-217-6.
@@ -606,7 +611,7 @@
 A dereference (whether implicit or explicit -- see 4.1) shall not be
 of an incomplete type.
 @dby
-A @fa<prefix> shall not be of an incomplete view.
+A @fa<prefix> that denotes an object shall not be of an incomplete view.
 
 !corrigendum 3.10.1(11)
 

Questions? Ask the ACAA Technical Agent