This is an index of all Ada 2012 Issues. Priority is Low, Medium, or High; Difficulty is Easy, Medium, or Hard. Some AIs have alternatives; these are used when the best solution is not apparent. Alternatives share the AI number, but have a different alternative number (following the second dash). For issues that probably will not be considered by the ARG, look in the Ada Commentaries Index. For Ada 95 issues that have or will be considered by the ARG, look in the Ada 95 Issues Index. For Ada 2005 issues that have or will be considered by the ARG, look in the Ada 2005 Issues Index.
The Ada 2012 Issues are indexed in numeric order, by the class of issue, by the current status, and by the section referenced.
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) 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/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.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
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/06 2013-05-10 -- Questions on 'Old
Priority: Low Difficulty: Medium
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/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)
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/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 (5/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/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) E.02.01 (8/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/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)
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/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)
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)
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/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/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) 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/02 2013-05-20 -- The Fortran Annex needs updating to support Fortran 2008
Priority: Medium Difficulty: Medium
Class: Binding Interpretation 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-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 -- 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)