CVS difference for 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 @@
- 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.
-A @fa<prefix> shall not be of an incomplete view.
+A @fa<prefix> that denotes an object shall not be of an incomplete view.
Questions? Ask the ACAA Technical Agent