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

Differences between 1.5 and version 1.6
Log of other versions for file ai12s/ai12-0363-1.txt

--- ai12s/ai12-0363-1.txt	2020/06/17 00:20:22	1.5
+++ ai12s/ai12-0363-1.txt	2020/06/17 02:35:02	1.6
@@ -1381,3 +1381,21 @@
 Yup, that's what I was thinking. Didn't have a good name for it though.
+From: Tucker Taft
+Sent: Saturday, June 13, 2020  1:01 PM
+After a bit of thought, I conclude this paragraph about formal array types:
+  If a type with volatile components is used as an actual for a generic
+  formal array type, then the components of the formal type shall be
+  volatile. Furthermore, if the actual type has atomic components and
+  the formal array type has aliased components, then the
+  components of the formal array type shall also be atomic.
+Needs to have the following added at the end:
+   A corresponding rule applies when the actual type has volatile full access
+   components.

Questions? Ask the ACAA Technical Agent