CVS difference for ai22s/ai22-0046-1.html
--- ai22s/ai22-0046-1.html 2022/06/17 06:12:01 1.1
+++ ai22s/ai22-0046-1.html 2022/06/24 04:08:54 1.2
@@ -1,12 +1,12 @@
-<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0046-1/01</title>
+<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0046-1/02</title>
<style type="text/css">
table td,table th{padding:0}
-.c22{border-right-style:solid;padding:5pt 5pt 5pt 5pt;border-bottom-color:#000000;border-top-width:0pt;border-right-width:0pt;border-left-color:#000000;vertical-align:top;border-right-color:#000000;border-left-width:0pt;border-top-style:solid;background-c
olor:#f0f0f0;border-left-style:solid;border-bottom-width:0pt;width:468pt;border-top-color:#000000;border-bottom-style:solid}
+.c6{border-right-style:solid;padding:5pt 5pt 5pt 5pt;border-bottom-color:#000000;border-top-width:0pt;border-right-width:0pt;border-left-color:#000000;vertical-align:top;border-right-color:#000000;border-left-width:0pt;border-top-style:solid;background-co
lor:#f0f0f0;border-left-style:solid;border-bottom-width:0pt;width:468pt;border-top-color:#000000;border-bottom-style:solid}
.c20{text-decoration-skip-ink:none;-webkit-text-decoration-skip:none;color:#1155cc;text-decoration:underline}
-.c17{border-spacing:0;border-collapse:collapse;margin-right:auto}
-.c16{background-color:#ffffff;max-width:468pt;padding:72pt 72pt 72pt 72pt}
+.c15{border-spacing:0;border-collapse:collapse;margin-right:auto}
+.c21{background-color:#ffffff;max-width:468pt;padding:72pt 72pt 72pt 72pt}
.c13{color:inherit;text-decoration:inherit}
-.c15{height:0pt}
+.c22{height:0pt}
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}
@@ -21,11 +21,13 @@
SPAN.ntrm{font-family:"Arial","Liberation Sans",sans-serif}
P.a3{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"><p class="a3">AI22-0046-1</p>
+</head><body class="c21"><p class="a3">AI22-0046-1</p>
<p class="head">!standard 4.9(17.3/5)
- 22-06-16
- AI22-0046-1/01</p>
+ 22-06-23
+ AI22-0046-1/02</p>
<p class="head">!class binding interpretation 22-03-25</p>
+<p class="head">!status Corrigendum 1-2022 22-06-23</p>
+<p class="head">!status ARG Approved 15-0-0 22-06-23</p>
<p class="head">!status work item 22-03-25</p>
<p class="head">!status received 22-03-25</p>
<p class="head">!priority Low</p>
@@ -45,12 +47,12 @@
<p class="txts">Specifically, in:</p>
-<a id="t.cd89f776226a0fcd55b50015bd47566ec4845605"></a><a id="t.0"></a><table class="c17"><tr class="c15"><td class="c22">
+<a id="t.cd89f776226a0fcd55b50015bd47566ec4845605"></a><a id="t.0"></a><table class="c15"><tr class="c22"><td class="c6">
<p class="codt">A := @ + 1;</p>
</td></tr></table><p class="text"> </p>
<p class="txts">@ statically denotes the object A. However, in:</p>
-<a id="t.c3694f0b0c94c7c3850fd8b86628137d38b36a41"></a><a id="t.1"></a><table class="c17"><tr class="c15"><td class="c22">
+<a id="t.c3694f0b0c94c7c3850fd8b86628137d38b36a41"></a><a id="t.1"></a><table class="c15"><tr class="c22"><td class="c6">
<p class="codt">A.B := @ + 1;</p>
</td></tr></table><p class="text"> </p>
<p class="txts">@ does not statically name an object, even if A statically denotes an object, and B
@@ -69,17 +71,17 @@
<h2 class="head">!wording</h2>
<p class="inst">Modify 4.9(17.3/5):</p>
-<ul class="wbl"><li><span class="ins">{It is a <span class="ntrm">target_name</span> in an
+<ul class="wbl"><li><span class="ins">{is a <span class="ntrm">target_name</span> in an
<span class="ntrm">assignment_statement</span> whose <span class="ntrm">variable_name</span>
statically names some entity;</span></li>
</ul>
-<ul class="wbl"><li><span class="ins">It denotes a <span class="ntrm">renaming_declaration</span>
-with a <span class="ntrm">name</span> that statically names the renamed entity;</span></li>
+<ul class="wbl"><li><span class="ins">denotes a <span class="ntrm">renaming_declaration</span> with
+a <span class="ntrm">name</span> that statically names the renamed entity;</span></li>
</ul>
<ul class="wbls"><li><span class="ins"> }</span> is a <span class="ntrm">selected_component</span>
whose prefix statically names an object, there is no implicit dereference of the prefix, and the
<span class="ntrm">selector_name </span>does not denote a <span class="ntrm">component_declaration
-</span>ocurring within a <span class="ntrm">variant_part</span>; or</li>
+</span>occurring within a <span class="ntrm">variant_part</span>; or</li>
</ul>
<p class="inst">Add an AARM Note after 4.9(17.4/5):</p>
@@ -91,10 +93,10 @@
introduction of yet another term.</p>
<h2 class="head">!discussion</h2>
<p class="text">A similar problem occurs for renames. So, for instance, if we have:</p>
-<a id="t.84c43fe1445352ad2e4082338c11ccbbe6720690"></a><a id="t.2"></a><table class="c17"><tr class="c15"><td class="c22">
+<a id="t.84c43fe1445352ad2e4082338c11ccbbe6720690"></a><a id="t.2"></a><table class="c15"><tr class="c22"><td class="c6">
<p class="codt">C : renames A.B;</p>
</td></tr></table><p class="text">C does not statically name an object. While if we had:</p>
-<a id="t.57357ffc8409795b65fccc462c4a40fe827a97ea"></a><a id="t.3"></a><table class="c17"><tr class="c15"><td class="c22">
+<a id="t.57357ffc8409795b65fccc462c4a40fe827a97ea"></a><a id="t.3"></a><table class="c15"><tr class="c22"><td class="c6">
<p class="codt">D : renames A;</p>
</td></tr></table><p class="txts">then D.B <i>does</i> statically name an object.</p>
@@ -143,6 +145,19 @@
</ul>
<h2 class="head">!example</h2>
<p class="text">(See Issue and Discussion.)</p>
+<h2 class="head">!corrigendum 4.9(17.3/5)</h2>
+<p class="text">@drepl</p>
+<p class="text">@xbullet{is a @fa{selected_component} whose prefix statically names an object,
+there is no implicit dereference of the prefix, and the @fa{selector_name} does not denote a
+@fa{component_declaration} occurring within a @fa{variant_part}; or}</p>
+<p class="text">@dby</p>
+<p class="text">@xbullet{is a @fa{target_name} in an @fa{assignment_statement} whose
+@fa{variable_name} statically names some entity;}</p>
+<p class="text">@xbullet{denotes a @fa{renaming_declaration} with a @fa{name} that statically names
+the renamed entity;}</p>
+<p class="text">@xbullet{is a @fa{selected_component} whose prefix statically names an object,
+there is no implicit dereference of the prefix, and the @fa{selector_name} does not denote a
+@fa{component_declaration} occurring within a @fa{variant_part}; or}</p>
<h2 class="head">!ACATS test</h2>
<p class="text">An ACATS B-Test could be constructed using the target name symbol and an illegal
order dependence. Probably some other rules could be tested using renames of statically named
Questions? Ask the ACAA Technical Agent