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
@@ -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.
@@ -63,16 +63,16 @@
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.
@@ -142,9 +142,10 @@
-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. (Test CXC6003 included such a case; this case has been removed
+from the test.)
Questions? Ask the ACAA Technical Agent