CVS difference for ai22s/ai22-0009-1.html

Differences between 1.2 and version 1.3
Log of other versions for file 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) &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
-&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;22-10-19
-&nbsp;AI22-0009-1/04</p>
+&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;22-11-10
+&nbsp;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 (&quot;volatility&quot;
-is defined analogously to &quot;atomicity&quot;). 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">&nbsp; &nbsp;</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 &quot;unspecified&quot; 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