CVS difference for ai22s/ai22-0050-1.html
--- ai22s/ai22-0050-1.html 2022/10/29 04:38:05 1.1
+++ ai22s/ai22-0050-1.html 2022/11/17 06:38:54 1.2
@@ -1,20 +1,22 @@
-<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0050-1/01</title>
+<html><head><meta content="text/html; charset=UTF-8" http-equiv="content-type"><title>AI22-0050-1/02</title>
<style type="text/css">
table td,table th{padding:0}
-.c9{background-color:#ffffff;max-width:468pt;padding:72pt 72pt 72pt 72pt}
+.c11{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.code{margin-bottom:0; margin-top:0; margin-left:36pt; margin-right:0; padding-top:0pt; color:#000000; font-size:10pt; padding-bottom:3pt; 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}
-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}
+P.a0{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="c9 doc-content"><p class="a1">AI22-0050-1</p>
+</head><body class="c11 doc-content"><p class="a0">AI22-0050-1</p>
<p class="head">!standard 13.11.5(3/5)
- 22-10-25
- AI22-0050-1/01</p>
+ 22-11-16
+ AI22-0050-1/02</p>
<p class="head">!class Binding Interpretation 22-10-25</p>
+<p class="head">!status Corrigendum 1-2022 22-11-10</p>
+<p class="head">!status ARG Approved 14-0-0 22-11-10</p>
<p class="head">!status work item 22-10-25</p>
<p class="head">!status received 22-07-19</p>
<p class="head">!priority Low</p>
@@ -24,12 +26,10 @@
<h2 class="head">!summary</h2>
<p class="text">Ada.Unchecked_Deallocate_Subpool should have the Preelaborate aspect.</p>
<h2 class="head">!issue</h2>
-
<p class="text">It would be useful if the Preelaborate aspect were set to True for
Ada.Unchecked_Deallocate_Subpool. The package System.Storage_Pools.Subpools has Preelaborate True,
so there seems no reason that this procedure shouldn't as well.</p>
<h2 class="head">!recommendation</h2>
-
<p class="text">(See Summary.)</p>
<h2 class="head">!wording</h2>
<p class="inst">Modify 13.11.5(3/5):</p>
@@ -38,13 +38,23 @@
<p class="code"> (Subpool : in out System.Storage_Pools.Subpools.Subpool_Handle)</p>
<p class="code"> <b>with</b> {Preelaborate, }Global => in out all;</p>
<h2 class="head">!discussion</h2>
-
-<p class="txts">Ada.Unchecked_Deallocation has the aspect Preelaborate, as does the needed package
+<p class="text">Ada.Unchecked_Deallocation has the aspect Preelaborate, as does the needed package
System.Storage_Pools.Subpools. Thus it seems to be an omission (rather than something intended)
that Ada.Unchecked_Deallocate_Subpool does not have this aspect.</p>
-
+<h2 class="head">!corrigendum 13.11.5(3/5)</h2>
+<p class="text">@drepl</p>
+<p class="text">@xcode{@b{with} System.Storage_Pools.Subpools;</p>
+<p class="text">@b{procedure} Ada.Unchecked_Deallocate_Subpool</p>
+<p class="text"> (Subpool : @b{in out}
+System.Storage_Pools.Subpools.Subpool_Handle)</p>
+<p class="text"> @b{with} Global => @b{in out all};}</p>
+<p class="text">@dby</p>
+<p class="text">@xcode{@b{with} System.Storage_Pools.Subpools;</p>
+<p class="text">@b{procedure} Ada.Unchecked_Deallocate_Subpool</p>
+<p class="text"> (Subpool : @b{in out}
+System.Storage_Pools.Subpools.Subpool_Handle)</p>
+<p class="text"> @b{with} {Preelaborate, @}Global => @b{in out all};}</p>
<h2 class="head">!ACATS test</h2>
-
<p class="text">An ACATS C-Test could be constructed to check that the
Ada.Unchecked_Deallocate_Subpool procedure is preelaborated.</p>
<h2 class="head">!appendix</h2>
Questions? Ask the ACAA Technical Agent