CVS difference for ai22s/ai22-0009-1.html
--- ai22s/ai22-0009-1.html 2022/10/25 00:06:54 1.2
+++ ai22s/ai22-0009-1.html 2022/11/17 06:22:54 1.3
@@ -1,7 +1,8 @@
-<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0009-1/04</title>
+<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0009-1/05</title>
<style type="text/css">
table td,table th{padding:0}
-.c16{background-color:#ffffff;max-width:468pt;padding:72pt 72pt 72pt 72pt}
+.c16{max-width:468pt;padding:72pt 72pt 72pt 72pt}
+.c15{background-color:#ffffff}
P.head{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:0pt; color:#000000; font-size:14pt; padding-bottom:0pt; font-family:"Arial","Liberation Sans",sans-serif; line-height:1.15; orphans:2; widows:2; text-align:left; font-weight:
400; text-decoration:none; vertical-align:baseline; font-style:normal}
H2.head{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:12pt; color:#000000; font-size:14pt; padding-bottom:6pt; font-family:"Arial","Liberation Sans",sans-serif; line-height:1.15; page-break-after:avoid; orphans:2; widows:2; tex
t-align:left; font-weight:400; text-decoration:none; vertical-align:baseline; font-style:normal}
P.inst{margin-bottom:0; margin-top:0; margin-left:18pt; margin-right:0; padding-top:9pt; color:#000000; font-size:12pt; padding-bottom:6pt; font-family:"Arial","Liberation Sans",sans-serif;line-height:1.15; orphans:2; widows:2; text-align:left; font-weigh
t:400; text-decoration:none; vertical-align:baseline; font-style:normal}
@@ -16,10 +17,10 @@
SPAN.ntrm{font-family:"Arial","Liberation Sans",sans-serif}
P.a1{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0;color:#000000;font-size:26pt;font-family:"Arial","Liberation Sans",sans-serif; padding-top:0pt; padding-bottom:3pt; line-height:1.15; page-break-after:avoid; orphans:2; widows:2; text-align
:left; font-weight:400; text-decoration:none; vertical-align:baseline; font-style:normal}
</style>
-</head><body class="c16 doc-content"><p class="a1">AI22-0009-1</p>
+</head><body class="c15 c16 doc-content"><p class="a1">AI22-0009-1</p>
<p class="head">!standard C.6(12/5)
- 22-10-19
- AI22-0009-1/04</p>
+ 22-11-10
+ AI22-0009-1/05</p>
<p class="head">!standard C.6(12.1/5)</p>
<p class="head">!class binding interpretation 21-11-11</p>
<p class="head">!status work item 21-11-11</p>
@@ -58,12 +59,10 @@
be atomic.}</span> Corresponding rules apply to volatile objects and to full access objects.</p>
<p class="inst">Add new paragraph after C.6(12.1/5):</p>
<p class="word">In evaluating a type conversion, a new object is created [redundant: (as opposed to
-a new view of the operand object)] if the atomicity of the target type (that is, whether or not it
-is an atomic type) does not match the atomicity of the operand object (that is, whether or not it
-is an atomic object). An analogous rule applies with respect to volatility ("volatility"
-is defined analogously to "atomicity"). In the case of an array conversion, an analogous
-rule applies if the Atomic_Components or Volatile_Components aspects of the array types do not
-match.</p>
+a new view of the operand object)] if one but not both of the target type and the operand object is
+atomic. A corresponding rule applies in the case of volatile. In the case of an array conversion,
+corresponding rules apply if the Atomic_Components or Volatile_Components aspects of the array
+types do not match.</p>
<p class="text"> </p>
<p class="head">!discussion</p>
<p class="txts">We cannot have volatile (and atomic) objects that are operated on in a nonvolatile
@@ -88,9 +87,9 @@
implementation can use the "unspecified" case to make a copy if this is a problem, but it
is not required if in fact the nonatomic object happens to be aligned correctly.</p>
<h2 class="head">!ACATS test</h2>
-<p class="text">An ACATS B-Tests is needed for the type extension rule. The type conversion rule
+<p class="text">An ACATS B-Test is needed for the type extension rule. The type conversion rule
would be difficult to test, given the usage-oriented requirement for ACATS C-Tests. In particular,
-the only way to reliably tell if an object if copied is to use a controlled type, but combining
+the only way to reliably tell if an object is copied is to use a controlled type, but combining
that with volatility would be unusual.</p>
<h2 class="head">!appendix</h2>
<p class="from">From:<span class="name"> Steve Baird</span></p>
Questions? Ask the ACAA Technical Agent