CVS difference for ai12s/ai12-summary.txt

Differences between 1.15 and version 1.16
Log of other versions for file ai12s/ai12-summary.txt

--- ai12s/ai12-summary.txt	2013/05/09 03:59:53	1.15
+++ ai12s/ai12-summary.txt	2013/06/11 00:30:15	1.16
@@ -1,20 +1,20 @@
 This is a summary of all Ada 2012 Issues.
 Priority is Low, Medium, or High; Difficulty is Easy, Medium, or Hard.
 
-AI12-0001-1/02   2012-07-05 --  Independence and Representation clauses for atomic objects
+AI12-0001-1/04   2013-06-10 --  Independence and Representation clauses for atomic objects
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     06-03-31
-    RM References:  13.02 (6.1/2)   13.02 (7)   C.06 (10)   C.06 (11)   C.06 (21)  
+    RM References:  13.02 (6.1/2)   13.02 (7)   13.02 (8)   13.02 (9/3)   C.06 (8.1/3)   C.06 (10)   C.06 (11)   C.06 (13.2/3)   C.06 (21)  
 
 AI12-0002-1/02   2012-06-06 --  RCI units should not allow types with user-defined stream attributes
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     11-06-16
     RM References:  E.02.03 (11/1)   E.02.03 (17)  
 
-AI12-0003-1/03   2013-05-08 --  Default storage pool for storage pools
+AI12-0003-1/04   2013-06-10 --  Default storage pool for storage pools
     Priority: Low                  Difficulty: Medium
     Class: Amendment                   Status: Work Item     11-06-19
-    RM References:  3.10.02 (13.2/3)   13.11.03 (1/3)   13.11.03 (3.1/3)   13.11.03 (4.1/3)   13.11.03 (4.2/3)   13.11.03 (5/3)   13.11.03 (6/3)  
+    RM References:  3.10.02 (13.2/3)   13.11.03 (1/3)   13.11.03 (3.2/3)   13.11.03 (4.1/3)   13.11.03 (4.2/3)   13.11.03 (5/3)   13.11.03 (6/3)  
 
 AI12-0004-1/01   2011-11-08 --  Normalization and allowed characters for identifiers
     Priority: Low                  Difficulty: Medium
@@ -156,12 +156,12 @@
     Class: Binding Interpretation      Status: Work Item     12-06-06
     RM References:  E.02.03 (19/3)  
 
-AI12-0032-1/04   2013-04-22 --  Questions on 'Old
+AI12-0032-1/06   2013-05-10 --  Questions on 'Old
     Priority: Low                  Difficulty: Medium
-    Class: Ramification                Status: Work Item     12-06-06
-    RM References:  6.01.01 (26/3)   6.01.01 (27/3)  
+    Class: Binding Interpretation      Status: Work Item     12-06-06
+    RM References:  4.01.03 (9/3)   6.01.01 (26/3)   6.01.01 (35/3)  
 
-AI12-0033-1/03   2013-01-03 --  Sets of CPUs when defining dispatching domains
+AI12-0033-1/04   2013-06-08 --  Sets of CPUs when defining dispatching domains
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     12-06-06
     RM References:  D.16.01 (9/3)   D.16.01 (23/3)   D.16.01 (24/3)  
@@ -171,10 +171,10 @@
     Class: Binding Interpretation      Status: Work Item     12-06-06
     RM References:  E.04 (8)  
 
-AI12-0035-1/02   2012-12-02 --  Accessibility checks for indefinite elements of containers
+AI12-0035-1/03   2013-06-10 --  Accessibility checks for indefinite elements of containers
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     12-06-08
-    RM References:  A.18.18 (47/3)  
+    RM References:  A.18 (5/3)  
 
 AI12-0036-1/01   2012-11-29 --  The actual for an untagged formal derived type cannot be tagged
     Priority: Low                  Difficulty: Medium
@@ -186,10 +186,10 @@
     Class: Binding Interpretation      Status: Amendment 202x  12-12-28
     RM References:  A.19 (4/3)  
 
-AI12-0038-1/02   2012-12-31 --  Shared_Passive package restrictions
+AI12-0038-1/03   2013-06-09 --  Shared_Passive package restrictions
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Amendment 202x  12-12-31
-    RM References:  E.02.01 (7/1)  
+    RM References:  E.02.01 (7/1)   E.02.01 (8/1)  
 
 AI12-0039-1/03   2013-05-08 --  Ambiguity in syntax for membership expression removed
     Priority: High                 Difficulty: Easy
@@ -206,7 +206,7 @@
     Class: Amendment                   Status: Work Item     12-11-29
     RM References:  7.03.02 (3/3)  
 
-AI12-0042-1/01   2012-11-29 --  Type invariants cannot be inherited by non-private extensions
+AI12-0042-1/02   2013-06-09 --  Type invariants cannot be inherited by non-private extensions
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     12-11-29
     RM References:  7.03.02 (6/3)  
@@ -216,7 +216,7 @@
     Class: Binding Interpretation      Status: Amendment 202x  13-01-02
     RM References:  13.11 (18)  
 
-AI12-0044-1/01   2012-12-01 --  Calling visible functions from type invariant expressions
+AI12-0044-1/02   2013-06-09 --  Calling visible functions from type invariant expressions
     Priority: High                 Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     12-12-01
     RM References:  7.03.02 (19/3)  
@@ -270,23 +270,30 @@
     Priority: High                 Difficulty: Medium
     Class: Binding Interpretation      Status: Amendment 202x  13-01-30
     RM References:  11.03 (4/2)   13.09.02 (2)   13.09.02 (3/3)  
+    Alternatives:   AI12-0054-2
+
+AI12-0054-2/01   2013-05-31 --  Aspect Predicate_Failure
+    Priority: High                 Difficulty: Medium
+    Class: Binding Interpretation      Status: Work Item     13-05-31
+    RM References:  3.02.04 (14/3)   3.02.04 (30/3)  
+    Alternatives:   AI12-0054-1
 
-AI12-0055-1/01   2013-01-03 --  All properties of a profile are defined by pragmas
+AI12-0055-1/02   2013-06-08 --  All properties of a profile are defined by pragmas
     Priority: Medium               Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     12-12-08
     RM References:  D.13 (8/3)   D.13 (9/3)  
 
-AI12-0056-1/03   2013-05-01 --  Presentation errors in Ada 2012
+AI12-0056-1/04   2013-06-07 --  Presentation errors in Ada 2012
     Priority: Low                  Difficulty: Easy
     Class: Presentation                Status: Amendment 202x  13-01-14
-    RM References:  1.01 (3/3)   1.01.02 (24/3)   3.09 (12.4/3)   3.10 (22/2)   5.02 (20)   6.01 (39)   A.18.25 (10/3)   A.18.26 (9.2/3)  
+    RM References:  1.01 (3/3)   1.01.02 (24/3)   3.09 (12.4/3)   3.10 (22/2)   5.02 (20)   6.01 (39)   6.02 (13)   A.18.25 (10/3)   A.18.26 (9.2/3)  
 
 AI12-0057-1/01   2013-01-22 --  Unchecked_Access for discriminant-dependent subcomponents
     Priority: Medium               Difficulty: Easy
     Class: Amendment                   Status: Work Item     13-01-22
     RM References:  13.10 (3)  
 
-AI12-0058-1/00   2013-01-22 --  The Fortran Annex needs updating to support Fortran 2008
+AI12-0058-1/01   2013-02-20 --  The Fortran Annex needs updating to support Fortran 2008
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Work Item     13-01-22
     RM References:  B.05   
@@ -316,13 +323,73 @@
     Class: Amendment                   Status: Work Item     13-01-31
     RM References:  6.05.01   
 
-AI12-0064-1/01   2013-04-22 --  Nonblocking subprograms
+AI12-0064-1/01   2013-05-09 --  Nonblocking subprograms
     Priority: Medium               Difficulty: Medium
     Class: Amendment                   Status: Work Item     13-04-22
     RM References:  9.05.01 (18)  
 
-AI12-0065-1/00   2013-05-08 --  All properties of a profile are defined by pragmas
+AI12-0065-1/00   2013-05-08 --  Descendants of incomplete views
     Priority: Low                  Difficulty: Medium
     Class: Binding Interpretation      Status: Work Item     13-05-08
     RM References:  7.03.01 (5.2/3)  
+
+AI12-0066-1/00   2013-05-17 --  If it ain't broke...
+    Priority: Low                  Difficulty: Easy
+    Class: Confirmation                Status: Received      13-03-27
+    RM References:  4.04 (7/3)  
+
+AI12-0067-1/01   2013-05-30 --  Accessibility level of explicitly aliased parameters of non-functions
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     13-05-30
+    RM References:  3.10.02 (7/3)  
+
+AI12-0068-1/00   2013-05-30 --  Predicates and the current instance of a subtype
+    Priority: Medium               Difficulty: Medium
+    Class: Binding Interpretation      Status: Work Item     13-05-30
+    RM References:  3.10.02 (7/3)  
+
+AI12-0069-1/01   2013-05-30 --  Inconsistency in Tree container definition
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     13-05-30
+    RM References:  A.18.10 (157/3)  
+
+AI12-0070-1/01   2013-05-31 --  9.3(2) does not work for anonymous access types
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     13-05-30
+    RM References:  9.03 (2)  
+
+AI12-0071-1/01   2013-05-31 --  Order of evaluation when multiple predicates apply
+    Priority: High                 Difficulty: Medium
+    Class: Binding Interpretation      Status: Work Item     13-05-31
+    RM References:  3.02.04 (6/3)  
+
+AI12-0072-1/01   2013-06-07 --  Missing rules for Discard_Names aspect
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     13-06-07
+    RM References:  C.05 (1)   C.05 (5)   C.05 (7/2)   C.05 (8)  
+
+AI12-0073-1/01   2013-06-08 --  Synchronous Barriers are not allowed with Ravenscar
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     13-06-08
+    RM References:  A.18.10 (157/3)  
+
+AI12-0074-1/01   2013-06-09 --  View conversions and scalar out parameters passed by copy
+    Priority: Medium               Difficulty: Hard
+    Class: Binding Interpretation      Status: Work Item     13-06-09
+    RM References:  4.06 (56)   6.04.01 (12)   6.04.01 (13.1/3)  
+
+AI12-0075-1/01   2013-06-09 --  Static expression functions
+    Priority: Medium               Difficulty: Medium
+    Class: Amendment                   Status: Work Item     13-06-09
+    RM References:  4.09 (6)   4.09 (18)  
+
+AI12-0076-1/01   2013-06-10 --  Variable state in pure packages
+    Priority: Medium               Difficulty: Hard
+    Class: Binding Interpretation      Status: Work Item     13-06-10
+    RM References:  10.02.01 (17/3)   E.02.02 (17/2)  
+
+AI12-0077-1/01   2013-06-10 --  Has_Same_Storage on objects of size zero
+    Priority: Low                  Difficulty: Easy
+    Class: Binding Interpretation      Status: Work Item     13-06-10
+    RM References:  13.03 (73.4/3)  
 

Questions? Ask the ACAA Technical Agent