CVS difference for ai12s/ai12-0001-1.txt

--- ai12s/ai12-0001-1.txt	2011/11/09 01:08:35	1.1
+++ ai12s/ai12-0001-1.txt	2012/07/19 02:42:10	1.2
@@ -1,4 +1,4 @@
-!standard 13.2(6.1/2)                                      11-11-08    AI12-0001-1/01
+!standard 13.2(6.1/2)                                      12-07-05    AI12-0001-1/02
 !standard 13.2(7)
 !standard C.6(10)
 !standard C.6(11)
@@ -44,15 +44,15 @@
 
 13.2 (6.1/2) is moved after 13.2 (7) and changed to:
 
-For a packed type that has a component that is of a by-reference type,
-aliased, volatile, or atomic, the component shall be aligned according to
+For a packed type that has a component that is aliased, volatile, atomic, or is
+of a by-reference type, the component shall be aligned according to
 the alignment of its subtype; in particular it shall be aligned on a
 storage element boundary.
 
 13.2 (9) append:
 
 If the array component is required to be aligned according to its subtype
-and the results of packing are not so aligned, pragma pack should be rejected.
+and the results of packing are not so aligned, the pack aspect should be rejected.
 
 C.6 (10-11)
 
@@ -63,16 +63,16 @@
 !discussion
 
 Addition of atomic (and volatile) to 13.1 (24-26) was discarded because
-neither pragma is confirming.
+neither aspect is confirming.
 
 Making 13.2 (6.1/2) a Recommended Level of Support makes it a requirement
-when Annex C is supported.  This covers volatile and atomic and eliminates
+when Annex C is supported. This covers volatile and atomic and eliminates
 the conflict between the Recommended Level of Support and this rule.
 
 Similarly, C.6(21) conflicts with the Recommended Level of Support. We don't want
 the representation of a packed array of Boolean to depend on other keywords
-(like aliased) or pragmas that apply to the type. (That could cause silent
-representation changes during maintenance.) Thus, this rule is deleted.
+(like aliased) or pragmas/aspects that apply to the type. (That could cause
+silent representation changes during maintenance.) Thus, this rule is deleted.
 
 
 !corrigendum 13.2(6.1/2)
@@ -142,9 +142,10 @@
 
 !ACATS test
 
-ACATS tests confirming rejection of pragma Pack combined with Atomic_Components
+ACATS tests confirming rejection of aspect Pack combined with Atomic_Components
 for small types like Boolean on all targets but bit addressable targets should
-be implemented.
+be implemented. (Test CXC6003 included such a case; this case has been removed
+from the test.)
 
 !appendix