CVS difference for ai12s/ai12-0142-1.txt

--- ai12s/ai12-0142-1.txt	2014/12/16 23:39:40	1.2
+++ ai12s/ai12-0142-1.txt	2015/01/30 05:23:09	1.3
@@ -1,7 +1,9 @@
-!standard 13.11(21)                                    14-12-04  AI05-0142-1/01
+!standard 13.11(21)                                    15-01-28  AI05-0142-1/02
 !standard 13.11.4(21/3)
 !standard 13.11.4(31/3)
 !class binding interpretation 14-12-04
+!status Corrigendum 2015 15-01-28
+!status ARG Approved 9-0-0  15-01-28
 !status work item 14-12-04
 !status received 14-10-28
 !priority Low
@@ -30,15 +32,15 @@
 Erroneous Execution
 
 If Allocate_From_Subpool does not meet one or more of the requirements on the
-Allocate procedure (see Erroneous Execution in 13.11), then the program
-execution is erroneous.
+Allocate procedure as given in the Erroneous Execution rules of 13.11, then the
+program execution is erroneous.
 
 !discussion
 
 13.11(21) is cleverly worded such that problems caused by the implementation
 of Deallocate or external action (as could happen if the pool type is not
 encapsulated) are blamed on the implementation of Allocate and thus also can
-cause erroneous execution. Specifically, such problems cause the allocated
+cause erroneous execution. Specifically, such problems can cause the allocated
 memory to be used for some other purpose while the pool element still exists.
 
 For allocation from a subpool, Allocate need never be called. If Allocate is
@@ -48,6 +50,17 @@
 13.11.4(21) attempts to apply those requirements to Allocate_From_Subpool,
 but it fails to state the consequences. Thus we add a sentence under the
 proper heading to do that.
+
+!corrigendum 13.11.4(31/3)
+
+@dinsa
+Unless overridden, Default_Subpool_for_Pool propagates Program_Error.
+@dinst
+@s8<@i<Erroneous Execution>>
+
+If Allocate_From_Subpool does not meet one or more of the requirements on the
+Allocate procedure as given in the Erroneous Execution rules of 13.11, then the
+program execution is erroneous.
 
 !ASIS