Version 1.15 of ai12s/ai12-summary.txt

Unformatted version of ai12s/ai12-summary.txt version 1.15
Other versions for file ai12s/ai12-summary.txt

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
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)
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
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)
AI12-0004-1/01 2011-11-08 -- Normalization and allowed characters for identifiers
Priority: Low Difficulty: Medium Class: Amendment Status: Work Item 11-11-08 RM References: 2.01 (4.1/2)
AI12-0005-1/00 2011-11-11 -- Editorial comments on AARM 2012
Priority: Low Difficulty: Easy Class: Confirmation Status: Received 11-11-11 RM References: 6.06 (6)
AI12-0006-1/02 2011-12-14 -- Accessibility of null
Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Deleted 11-11-11 RM References: 3.10.02 (13/2)
AI12-0007-1/02 2011-12-30 -- Accessibility of access discriminants of a subtype
Priority: Low Difficulty: Hard Class: Binding Interpretation Status: Deleted 11-11-12 RM References: 3.10.02 (12.1/2)
AI12-0008-1/02 2011-12-30 -- Bad ancestor constraints for extension aggregates
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Deleted 11-11-13 RM References: 4.03.02 (8)
AI12-0009-1/01 2011-11-08 -- Iterators for Directories and Environment_Variables
Priority: Low Difficulty: Medium Class: Amendment Status: Work Item 11-11-08 RM References: A.16 (112/3) A.17 (23/3)
AI12-0010-1/02 2011-12-30 -- Stream_IO should be preelaborated
Priority: Low Difficulty: Easy Class: Amendment Status: Deleted 11-11-13 RM References: A.12.01 (3)
AI12-0011-1/02 2011-12-30 -- Behavior of Random.Reset with default initialized State
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Deleted 11-11-12 RM References: A.05.02 (12) A.05.02 (35)
AI12-0012-1/02 2011-11-11 -- Failure behavior of Directories.Create_Path
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Deleted 11-11-11 RM References: A.16 (61/2)
AI12-0013-1/02 2011-11-11 -- More issues with the definition of volatile
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Deleted 11-11-12 RM References: C.06 (16/3)
AI12-0014-1/01 2011-12-21 -- Postconditions on subprogram bodies
Priority: Low Difficulty: Medium Class: Amendment Status: Work Item 11-12-21 RM References: 6.01.01 (0/3)
AI12-0015-1/00 2011-12-30 -- Ada unit information
Priority: Low Difficulty: Medium Class: Amendment Status: Work Item 11-12-21 RM References: A.20 (0)
AI12-0016-1/02 2013-04-22 -- Implementation model of dynamic accessibility checking
Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: Work Item 11-11-13 RM References: 3.10.02 (22)
AI12-0017-1/01 2012-01-25 -- Compile-time-checked exception specifications
Priority: Medium Difficulty: Medium Class: Amendment Status: Work Item 12-01-25 RM References: 11.04.03 (0)
AI12-0018-1/01 2012-01-25 -- Entity versioning
Priority: Low Difficulty: Easy Class: Amendment Status: Work Item 12-01-25 RM References: A.16 (112/3) A.17 (23/3)
AI12-0019-1/01 2012-01-26 -- Generic formal record types
Priority: Medium Difficulty: Medium Class: Amendment Status: Work Item 12-01-26 RM References: 12.05.06 (0)
AI12-0020-1/01 2012-02-14 -- 'Image for all types
Priority: Medium Difficulty: Medium Class: Amendment Status: Work Item 12-02-14 RM References: 6.01.01 (0/3)
AI12-0021-1/01 2012-03-13 -- Additional internationalization of Ada
Priority: High Difficulty: Hard Class: Amendment Status: Work Item 12-02-25 RM References: A.16 (0/3)
AI12-0022-1/05 2013-05-08 -- Raise expressions
Priority: High Difficulty: Medium Class: Binding Interpretation Status: Amendment 202x 12-12-17 RM References: 4.04 (3/3) 11.02 (6) 11.03 (2/2) 11.03 (3) 11.03 (3.1/2) 11.03 (4/2) 11.04.01 (10.1/3)
AI12-0023-1/02 2012-12-02 -- Make Root_Stream_Type an interface
Priority: Medium Difficulty: Hard Class: Amendment Status: Work Item 12-04-20 RM References: 6.01.01 (0/3)
AI12-0024-1/01 2012-05-02 -- Compile-time detection of range and length errors
Priority: Medium Difficulty: Medium Class: Amendment Status: Hold 12-06-15 RM References: 4.06 (30)
AI12-0025-1/01 2012-05-16 -- Allow 'Unchecked_Access on subprograms
Priority: Medium Difficulty: Medium Class: Amendment Status: Hold 12-06-15 RM References: 13.10 (3)
AI12-0026-1/02 2012-11-30 -- Task_Safe aspect
Priority: Low Difficulty: Medium Class: Amendment Status: Work Item 12-06-04 RM References: C.08 (0)
AI12-0027-1/06 2013-05-08 -- Access values should never designate unaliased components
Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Amendment 202x 12-12-31 RM References: 4.06 (24.17/3) 4.06 (24.21/2) 4.06 (58) 6.02 (10/3) 3.10.02 (10/3)
AI12-0028-1/03 2013-01-02 -- Import of variadic C functions
Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Amendment 202x 13-01-02 RM References: B.03 (1/3) B.03 (60.15/3) B.03 (75)
AI12-0029-1/02 2012-06-28 -- Relax requirement for functions to have return statements
Priority: Medium Difficulty: Medium Class: Amendment Status: No Action (8-0-0) 12-06-16 RM References: 6.05 (5/3)
AI12-0030-1/03 2012-07-15 -- Formal derived types and stream attribute availability
Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Work Item 12-06-06 RM References: 12.05.01 (20/3) 13.13.02 (49/2)
AI12-0031-1/02 2012-11-17 -- All_Calls_Remote and indirect calls
Priority: Low Difficulty: Medium 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
Priority: Low Difficulty: Medium Class: Ramification Status: Work Item 12-06-06 RM References: 6.01.01 (26/3) 6.01.01 (27/3)
AI12-0033-1/03 2013-01-03 -- 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)
AI12-0034-1/02 2012-06-28 -- Remote stream attribute calls
Priority: Low Difficulty: Medium 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
Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Work Item 12-06-08 RM References: A.18.18 (47/3)
AI12-0036-1/01 2012-11-29 -- The actual for an untagged formal derived type cannot be tagged
Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Work Item 12-11-29 RM References: 12.05.01 (5.1/3)
AI12-0037-1/03 2013-05-08 -- New types in Ada.Locales can't be converted to/from strings
Priority: Low Difficulty: Easy 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
Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Amendment 202x 12-12-31 RM References: E.02.01 (7/1)
AI12-0039-1/03 2013-05-08 -- Ambiguity in syntax for membership expression removed
Priority: High Difficulty: Easy Class: Binding Interpretation Status: Amendment 202x 12-12-17 RM References: 4.04 (3/3) 4.04 (3.2/3) 4.05.02 (3.1/3) 4.05.02 (4) 4.05.02 (4.1/3) 4.05.02 (27/3) 4.05.02 (27.1/3) 4.05.02 (28.1/3) 4.05.02 (28.2/3) 4.05.02 (29/3) 4.05.02 (30/3) 4.05.02 (30.1/3) 4.05.02 (30.2/3) 4.05.02 (30.
3/3) 4.09 (11/3) 4.09 (32.6/3) 8.06 (27.1/3) 3.02.04 (17/3)
AI12-0040-1/03 2013-05-08 -- Resolving the selecting_expression of a case_expression
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Amendment 202x 13-01-02 RM References: 8.06 (9)
AI12-0041-1/01 2012-11-29 -- Type_Invariant'Class for interface types
Priority: Medium Difficulty: Easy 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
Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Work Item 12-11-29 RM References: 7.03.02 (6/3)
AI12-0043-1/02 2013-01-02 -- Details of the storage pool used when Storage_Size is specified
Priority: Medium Difficulty: Medium 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
Priority: High Difficulty: Medium Class: Binding Interpretation Status: Work Item 12-12-01 RM References: 7.03.02 (19/3)
AI12-0045-1/03 2013-05-08 -- Pre- and Postconditions are allowed on generic subprograms
Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Amendment 202x 12-12-27 RM References: 6.01.01 (1/3)
AI12-0046-1/02 2012-12-27 -- Enforcing legality for anonymous access components in record aggregates
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Amendment 202x 12-12-27 RM References: 4.03.01 (16/3)
AI12-0047-1/06 2013-05-08 -- Generalized iterators and discriminant-dependent components
Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Amendment 202x 12-12-31 RM References: 5.05.02 (6/3)
AI12-0048-1/03 2013-05-08 -- Default behavior of tasks on a multiprocessor with a specified dispatching poli
Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Amendment 202x 13-01-03 RM References: D.16.01 (30/3)
AI12-0049-1/03 2013-05-08 -- Invariants need to be checked on the initialization of deferred constants
Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Amendment 202x 12-12-27 RM References: 7.03.02 (10/3)
AI12-0050-1/02 2013-05-08 -- Conformance of quantified expressions
Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Work Item 12-12-04 RM References: 6.03.01 (21)
AI12-0051-1/03 2013-05-08 -- The Priority aspect can be specified when Attach_Handler is specified
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Amendment 202x 12-12-27 RM References: D.03 (10/3)
AI12-0052-1/02 2013-01-02 -- Implicit objects are considered overlapping
Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Work Item 12-12-04 RM References: A (3/2) A.10.03 (21) A.16 (123/2) A.16 (30/2)
AI12-0053-1/02 2012-12-27 -- Predicate failure raises Constraint_Error
Priority: High Difficulty: Medium Class: Binding Interpretation Status: No Action 10-0-1 12-12-08 RM References: 3.02.04 (31/3) 4.06 (57/3)
AI12-0054-1/04 2013-01-30 -- A raise_expression does not cause membership failure
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)
AI12-0055-1/01 2013-01-03 -- 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
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)
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
Priority: Medium Difficulty: Medium Class: Amendment Status: Work Item 13-01-22 RM References: B.05
AI12-0059-1/01 2013-01-30 -- Object_Size attribute
Priority: Medium Difficulty: Medium Class: Amendment Status: Work Item 13-01-30 RM References: 13.03 (58)
AI12-0060-1/00 2013-01-31 -- Overriding indicators on protected subprogram bodies
Priority: Low Difficulty: Medium Class: Amendment Status: Received 12-07-01 RM References: 8.03.01 (3/2)
AI12-0061-1/01 2013-01-31 -- Index parameters in array aggregates
Priority: Medium Difficulty: Easy Class: Amendment Status: Work Item 13-01-31 RM References: 4.03.03 (5/2) 4.03.03 (23) 3.01 (6/3) 3.03.01 (23/3) 8.06 (4.1/3)
AI12-0062-1/01 2013-01-31 -- Raise exception with failing string function
Priority: Low Difficulty: Easy Class: Ramification Status: Work Item 13-01-31 RM References: 11.03 (4/3)
AI12-0063-1/01 2013-01-31 -- No_Return functions
Priority: Medium Difficulty: Easy Class: Amendment Status: Work Item 13-01-31 RM References: 6.05.01
AI12-0064-1/01 2013-04-22 -- 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
Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Work Item 13-05-08 RM References: 7.03.01 (5.2/3)

Questions? Ask the ACAA Technical Agent