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

Differences between 1.1 and version 1.2
Log of other versions for file ai22s/ai22-0060-1.html

--- ai22s/ai22-0060-1.html	2023/03/21 08:32:22	1.1
+++ ai22s/ai22-0060-1.html	2023/04/07 06:37:00	1.2
@@ -1,24 +1,30 @@
-<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0060-1/01</title>
+<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0060-1/02</title>
 <style type="text/css">
 table td,table th{padding:0}
 BODY.body{background-color:#ffffff; max-width:468pt; padding:72pt 72pt 72pt 72pt}
 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}
+P.word{margin-bottom:0; margin-top:0; margin-left:36pt; margin-right:0; padding-top:0pt; color:#000000; font-size:11pt; padding-bottom:3pt; font-family:"Times New Roman","Times",serif; line-height:1.15; orphans:2; widows:2; text-align:left; font-weight:40
0; text-decoration:none; vertical-align:baseline; font-style:normal}
 P.cbin{margin-bottom:0; margin-top:0; margin-left:36pt; margin-right:0; padding-left:4pt; padding-top:4pt; color:#000000; font-size:10pt; padding-bottom:4pt; font-family:"Courier New",monospace; line-height:1.15; text-align:left; background-color:#f0f0f0;
 font-weight:400; text-decoration:none; vertical-align:baseline; font-style:normal}
 P.text{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:0pt; color:#000000; font-size:11pt; padding-bottom:0pt; font-family:"Arial","Liberation Sans",sans-serif; line-height:1.15; text-align:left; font-weight:400; text-decoration:
none; vertical-align:baseline; font-style:normal}
 P.txts{margin-bottom:0; margin-top:0; margin-left:0; margin-right:0; padding-top:0pt; color:#000000; font-size:11pt; padding-bottom:11pt; font-family:"Arial","Liberation Sans",sans-serif; line-height:1.15; text-align:left; font-weight:400; text-decoration
:none; vertical-align:baseline; font-style:normal}
+SPAN.ntrm{font-family:"Arial","Liberation Sans",sans-serif}
 P.l3h{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-alig
n:left; font-weight:400; text-decoration:none; vertical-align:baseline; font-style:normal}
 </style>
 </head><body class="body"><p class="l3h">AI22-0060-1</p>
-<p class="head">!standard 11.5(8) &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
-&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;23-03-15 &nbsp;AI22-0060-1/01</p>
+<p class="head">!standard 11.5(8.1/2) &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
+&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;23-04-03
+&nbsp;AI22-0060-1/02</p>
 <p class="head">!class binding interpretation &nbsp;23-03-15</p>
+<p class="head">!status Corrigendum 1-2022 &nbsp;23-03-30</p>
+<p class="head">!status ARG Approved 11-0-1 &nbsp;23-03-30</p>
 <p class="head">!status work item 23-03-15</p>
 <p class="head">!status received 23-03-15</p>
 <p class="head">!priority Low</p>
 <p class="head">!difficulty Easy</p>
 <p class="head">!qualifier Clarification</p>
-<p class="head">!subject Clarify interactions between defaults and check suppression</p>
+<p class="head">!subject Interactions between defaults and check suppression</p>
 <h2 class="head">!summary</h2>
 <p class="text">Check suppression for a use of a default_expression or default_name is determined
 as if the expression/name occurred explicitly at the place where it is used.</p>
@@ -41,8 +47,7 @@
 <p class="cbin"><b>end</b> Example;</p>
 <p class="text">&nbsp;</p>
 <p class="text">What check suppression is in effect for the evaluation of the expression
-&ldquo;Ptr.all(3)&rdquo; ?</p>
-<p class="text">[Access checking is suppressed, index checking is not suppressed.]</p>
+&ldquo;Ptr.all(3)&rdquo; ? [Access checking is suppressed, index checking is not suppressed.]</p>
 <h2 class="head">!recommendation</h2>
 <p class="text">Clarify that the check suppression that is in effect for the evaluation of a
 default_expression or default_name is determined by the place of the construct that evaluates the
@@ -50,16 +55,14 @@
 in the case of a default expression/name that itself includes, for example, a call with a defaulted
 parameter.</p>
 <h2 class="head">!wording</h2>
-<p class="text">Add after 11.5(8.1):</p>
-<p class="text">&nbsp; &nbsp;In the case of evaluating a Default_Expression or Default_Name,
-the</p>
-<p class="text">&nbsp; &nbsp;applicable check suppression is determined by the place where the</p>
-<p class="txts">&nbsp; &nbsp;evaluation occurs [redundant:, and not by where the construct
-occurs.]</p>
-
-<p class="text">&nbsp; &nbsp;AARM note: This is analogous to the freezing rules for these
-constructs.</p>
+<p class="inst">Add after 11.5(8.1/2):</p>
+<p class="word">In the case of evaluating a <span class="ntrm">default_expression</span> or
+<span class="ntrm">default_name</span>, the applicable check suppression is determined by the place
+where the evaluation occurs [redundant:, and not by where the construct occurs.]</p>
 <h2 class="head">!discussion</h2>
+<p class="txts">The chosen rule is similar to the freezing rules for these constructs.
+Specifically, these constructs do not freeze until they are used.</p>
+
 <p class="text">Another alternative would be to &ldquo;or&rdquo; the suppression permissions at the
 place where the default occurs and where it is used (and presumably any intermediate places in the
 case of a default whose evaluation evaluates other defaults). That would pretty much ensure that
@@ -67,6 +70,18 @@
 complex.</p>
 <h2 class="head">!example</h2>
 <p class="text">See !Issue.</p>
+<h2 class="head">!corrigendum 11.5(8.1/2)</h2>
+<p class="text">@dinsa</p>
+<p class="text">A @fa{pragma} Unsuppress revokes the permission to omit the named check (or every
+check in the case of All_Checks) given by any @fa{pragma} Suppress that applies at the point of the
+@fa{pragma} Unsuppress. The permission is revoked for the region to which the @fa{pragma}
+Unsuppress applies. If there is no such permission at the point of a @fa{pragma} Unsuppress, then
+the @fa{pragma} has no effect. A later @fa{pragma} Suppress can renew the permission.</p>
+<p class="text">@dby</p>
+<p class="txts">In the case of evaluating a @fa{default_expression} or @fa{default_name}, the
+applicable check suppression is determined by the place where the evaluation occurs [redundant:,
+and not by where the construct occurs.]</p>
+
 <h2 class="head">!ACATS test</h2>
 <p class="text">We don&rsquo;t write ACATS tests to test check suppression.</p>
 <h2 class="head">!appendix</h2>

Questions? Ask the ACAA Technical Agent