ACAA Header
 
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.

Ada 2012 Issues listed in numeric order

AI12-0001-1/06   2013-08-27 --  Independence and Representation clauses for atomic objects
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-08
    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 (21)
                    C.06 (24)  
AI12-0002-1/04   2016-08-29 --  RCI units do not allow specification of user-defined stream-oriented attributes
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-22
    RM References:  E.02.03 (15)  
AI12-0003-1/13   2015-03-25 --  Specifying the standard storage pool
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-01-28
    RM References:  8.02 (11)   13.11.03 (1/3)   13.11.03 (3.1/3)   13.11.03 (4/3)   13.11.03 (4.1/3)   13.11.03 (5/3)   13.11.03 (6.2/3)   13.11.03 (6.3/3)  
AI12-0004-1/04   2016-11-11 --  Normalization and allowed characters for identifiers
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-11-11
    RM References:  2.01 (4.1/2)   2.03 (4/3)   A.03.02 (4/3)   A.03.02 (32.5/3)   A.03.05 (18/3)   A.03.05 (51/3)  
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/06   2016-06-07 --  Iterators for Directories and Environment_Variables
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     11-11-08
    RM References:  A.16 (3/2)   A.16 (36.1/3)   A.16 (98/2)   A.16 (112.1/3)   A.16 (125/3)   A.17 (3/2)   A.17 (8/3)   A.17 (23/3)
                    A.17 (25/2)   A.17 (28/2)  
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: No Action     (8-0-1) 15-06-28
    RM References:  6.01.01 (0/3)  
AI12-0015-1/02   2015-10-11 --  Ada unit information
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: No Action     (4-1-2) 15-10-17
    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/02   2014-12-04 --  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: No Action     (9-0-0) 15-06-28
    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: Corrigendum 1 for Ada 2012 12 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: No Action     (7-0-1) 15-10-16
    RM References:  4.06 (30)  
AI12-0025-1/01   2012-05-16 --  Allow 'Unchecked_Access on subprograms
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: No Action     (4-0-4) 15-10-17
    RM References:  13.10 (3)  
AI12-0026-1/02   2012-11-30 --  Task_Safe aspect
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: No Action     (7-0-1) 15-06-27
    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: Corrigendum 1 for Ada 2012 12 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: Corrigendum 1 for Ada 2012 12 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/06   2013-07-19 --  Formal derived types and stream attribute availability
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-16
    RM References:  12.05.01 (21/3)   13.13.02 (49/2)  
AI12-0031-1/05   2014-05-08 --  All_Calls_Remote and indirect calls
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-12-17
    RM References:  E.02.03 (19/3)  
AI12-0032-1/07   2013-07-17 --  Questions on 'Old
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-17
    RM References:  4.01.03 (9/3)   6.01.01 (22/3)   6.01.01 (26/3)   6.01.01 (35/3)  
AI12-0033-1/08   2013-10-07 --  Sets of CPUs when defining dispatching domains
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-15
    RM References:  D.16.01 (7/3)   D.16.01 (9/3)   D.16.01 (20/3)   D.16.01 (23/3)   D.16.01 (24/3)   D.16.01 (26/3)  
AI12-0034-1/05   2013-10-07 --  Remote stream attribute calls
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-17
    RM References:  E.04 (8)  
AI12-0035-1/05   2013-10-07 --  Accessibility checks for indefinite elements of containers
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-08
    RM References:  A.18 (5/3)   A.18.11 (8/2)   A.18.12 (7/2)   A.18.13 (8/2)   A.18.14 (8/2)   A.18.15 (4/2)   A.18.16 (4/2)   A.18.17 (7/3)
                    A.18.18 (39/3)   A.18.18 (47/3)  
AI12-0036-1/03   2014-05-08 --  The actual for an untagged formal derived type cannot be tagged
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-12-06
    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: Corrigendum 1 for Ada 2012 12 12-12-28
    RM References:  A.19 (4/3)  
AI12-0038-1/07   2015-01-27 --  Shared_Passive package restrictions
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 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: Corrigendum 1 for Ada 2012 12 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: Corrigendum 1 for Ada 2012 12 13-01-02
    RM References:  8.06 (9)  
AI12-0041-1/03   2014-11-18 --  Type_Invariant'Class for interface types
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-17
    RM References:  7.03.02 (1/3)   7.03.02 (3/3)  
AI12-0042-1/11   2014-09-29 --  Type invariant checking rules
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-12-11
    RM References:  7.03.02 (6/3)   7.03.02 (17/3)   7.03.02 (18/3)   7.03.02 (19/3)   7.03.02 (20/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: Corrigendum 1 for Ada 2012 12 13-01-02
    RM References:  13.11 (18)  
AI12-0044-1/05   2013-10-07 --  Calling visible functions from type invariant expressions
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-06-28
    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: Corrigendum 1 for Ada 2012 12 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: Corrigendum 1 for Ada 2012 12 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: Corrigendum 1 for Ada 2012 12 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: Corrigendum 1 for Ada 2012 12 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: Corrigendum 1 for Ada 2012 12 12-12-27
    RM References:  7.03.02 (10/3)  
AI12-0050-1/04   2013-07-17 --  Conformance of quantified expressions
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-17
    RM References:  6.03.01 (20)   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: Corrigendum 1 for Ada 2012 12 12-12-27
    RM References:  D.03 (10/3)  
AI12-0052-1/04   2014-05-08 --  Implicit objects are considered overlapping
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-12-18
    RM References:  A (3/2)   A.10.03 (21)  
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: No Action     13-06-15 (8-0-0)
    RM References:  11.03 (4/2)   13.09.02 (2)   13.09.02 (3/3)  
    Alternatives:   AI12-0054-2
AI12-0054-2/05   2013-10-07 --  Aspect Predicate_Failure
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-05
    RM References:  3.02.04 (14/3)   3.02.04 (31/3)   3.02.04 (35/3)  
    Alternatives:   AI12-0054-1
AI12-0055-1/06   2014-09-29 --  All properties of a usage profile are defined by pragmas
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-11
    RM References:  D.07 (10/3)   D.13 (6/3)   D.13 (8/3)   D.13 (10/3)  
AI12-0056-1/05   2013-07-03 --  Presentation errors in Ada 2012
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012 12 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: No Action     (5-0-4) 15-06-28
    RM References:  13.10 (3)  
AI12-0058-1/05   2016-10-08 --  The Fortran Annex needs updating to support Fortran 2008
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-10-27
    RM References:  B.05 (10)   B.05 (18)   B.05 (21)   B.05 (31)   B.05 (33)   1.02 (3/2)  
AI12-0059-1/10   2016-04-25 --  Object_Size attribute
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-02-29
    RM References:  4.09.01 (2/3)   13.01 (14)   13.01 (23)   13.03 (9/3)   13.03 (50/2)   13.03 (51)   13.03 (52)   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/06   2016-04-22 --  Index parameters in array aggregates
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-02-29
    RM References:  4.03.03 (5/2)   4.03.03 (6)   4.03.03 (17/3)   4.03.03 (20)   4.03.03 (23.1/4)   4.03.03 (32/3)   4.03.03 (43)   3.01 (6/3)
                    3.03 (6)   3.03 (18.1/3)   3.03.01 (23/3)   5.05 (6)   8.01 (4)  
AI12-0062-1/02   2013-07-03 --  Raise exception with failing string function
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Corrigendum 1 for Ada 2012 12 13-01-14
    RM References:  11.03 (4/2)  
AI12-0063-1/01   2013-01-31 --  No_Return functions
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: No Action     (7-0-1) 15-10-17
    RM References:  6.05.01   
AI12-0064-1/05   2015-10-07 --  Nonblocking subprograms
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     13-04-22
    RM References:  9.05.01 (11)   9.05.01 (18)  
    Alternatives:   AI12-0064-2
AI12-0064-2/05   2016-11-14 --  Nonblocking subprograms
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     15-12-18
    RM References:  9.05 (17/3)   9.05.01 (8)   9.05.01 (9)   9.05.01 (10)   9.05.01 (11)   9.05.01 (12)   9.05.01 (13)   9.05.01 (14)
                    9.05.01 (15)   9.05.01 (16)   9.05.01 (18)   3.10.02 (33/3)   4.05 (9)   4.06 (24.21/4)   4.09 (8)   13.01.01 (17/4)
                    13.13.02 (37/1)  
    Alternatives:   AI12-0064-1
AI12-0065-1/02   2013-12-17 --  Descendants of incomplete views
    Priority: Low        Difficulty: Medium
    Class: Ramification                Status: Corrigendum 1 for Ada 2012 12 13-12-17
    RM References:  7.03.01 (5.2/3)  
AI12-0066-1/01   2013-12-18 --  If it ain't broke...
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: Received      13-03-27
    RM References:  4.04 (7/3)   8.05.01 (6)   A.10.08 (8)   A.10.09 (13)  
AI12-0067-1/02   2013-10-07 --  Accessibility level of explicitly aliased parameters of procedures and entries
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-15
    RM References:  3.10.02 (7/3)  
AI12-0068-1/02   2014-07-22 --  Predicates and the current instance of a subtype
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-22
    RM References:  8.06 (17/3)  
AI12-0069-1/02   2013-10-07 --  Inconsistency in Tree container definition
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-11
    RM References:  A.18.10 (153/3)   A.18.10 (155/3)   A.18.10 (157/3)   A.18.10 (159/3)  
AI12-0070-1/03   2013-10-07 --  9.3(2) does not work for anonymous access types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-15
    RM References:  3.10.02 (13.1/3)   9.03 (2)  
AI12-0071-1/05   2013-12-13 --  Order of evaluation when multiple predicates apply
    Priority: High       Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-12-13
    RM References:  3.02.04 (4/3)   3.02.04 (6/3)   3.02.04 (30/3)   3.02.04 (31/3)   3.02.04 (32/3)   3.02.04 (33/3)   3.02.04 (35/3)   3.05.05 (7.1/3)
                    3.05.05 (7.2/3)   3.05.05 (7.3/3)   3.08.01 (10.1/3)   3.08.01 (15/3)   4.05.02 (29/3)   4.05.02 (30/3)   4.06 (51/3)   4.09.01 (10/3)
                    5.04 (7/3)   5.05 (9/3)   13.09.02 (3/3)   13.09.02 (12)  
AI12-0072-1/05   2013-10-07 --  Missing rules for Discard_Names aspect
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-11
    RM References:  C.05 (1)   C.05 (5)   C.05 (7/2)   C.05 (8)  
AI12-0073-1/02   2013-07-05 --  Synchronous Barriers are not allowed with Ravenscar
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-05
    RM References:  D.13 (6/3)  
AI12-0074-1/06   2014-09-29 --  View conversions and out parameters passed by copy
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-23
    RM References:  4.06 (56)   6.04.01 (6.25/3)   6.04.01 (13.1/3)  
AI12-0075-1/04   2015-10-17 --  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/04   2013-10-07 --  Variable state in pure packages
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-11
    RM References:  10.02.01 (17/3)   E.02.02 (17/2)  
AI12-0077-1/02   2013-10-07 --  Has_Same_Storage on objects of size zero
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-07-15
    RM References:  13.03 (73.4/3)  
AI12-0078-1/01   2013-06-14 --  Definition of node for tree container is confusing
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-06-28
    RM References:  A.18.10 (2/3)   A.18.10 (3/3)  
AI12-0079-1/03   2016-06-05 --  Global-in and global-out annotations
    Priority: High       Difficulty: Hard
    Class: Amendment                   Status: Work Item     13-06-28
    RM References:  6.01.02 (0)  
AI12-0080-1/08   2014-09-29 --  More presentation errors in Ada 2012
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012 12 13-12-11
    RM References:  3.09.03 (6/2)   7.03.02 (21/3)   13.11.06 (28/3)   A.18.02 (168/2)   A.18.26 (29/3)   A.18.26 (31/3)   B.01 (50)   N (21.2/3)
                    N (41/2)  
AI12-0081-1/01   2013-10-21 --  Real-time aspects need to specify when they are evaluated
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-12-06
    RM References:  D.01 (17/3)   D.16 (9/3)  
AI12-0082-1/03   2014-05-08 --  Definition of "dispatching domain"
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-12-07
    RM References:  D.16.01 (16/3)   D.16.01 (22/3)   D.16.01 (25/3)   D.16.01 (27/3)   D.16.01 (29/3)  
AI12-0083-1/01   2013-10-24 --  Automatic creation of constructor functions
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Hold          13-11-17 (8-0-0)
    RM References:  3.09.03 (6/2)  
AI12-0084-1/01   2013-10-28 --  Box expressions in array aggregates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-12-06
    RM References:  4.03.03 (23.1/2)  
AI12-0085-1/03   2014-05-08 --  Missing aspect cases for Remote_Types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-12-11
    RM References:  E.02.02 (17/2)  
AI12-0086-1/04   2015-07-13 --  Aggregates and variant parts
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-02-29
    RM References:  4.03.01 (17/3)   4.03.01 (19/3)  
AI12-0087-1/02   2015-10-08 --  Reading the default value of a subtype
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (7-0-1) 15-10-17
    RM References:  3.05 (15)   3.05 (55.4/4)   3.06.02 (10)  
AI12-0088-1/03   2013-12-06 --  UTF_Encoding.Conversions and overlong characters on input
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-12-06
    RM References:  A.04.11 (54/3)   A.04.11 (55/3)  
AI12-0089-1/03   2014-05-08 --  Accessibility rules need to take into account that a generic function is not a
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 13-12-18
    RM References:  3.10.02 (7/3)   3.10.02 (19.2/3)   3.10.02 (19.3/3)   6.05 (4/3)  
AI12-0090-1/06   2015-01-19 --  Pre- and Postconditions and requeues
    Priority: High       Difficulty: Hard
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-12
    RM References:  9.05.04 (5/3)   9.05.04 (7/3)   9.05.04 (12/3)  
AI12-0091-1/04   2014-02-03 --  Add procedure Sin_Cos to Ada.Numerics.Generic_Elementary_Functions
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (5-0-2) 15-10-18
    RM References:  A.05.01 (5)  
AI12-0092-1/01   2014-10-13 --  Soft Legality Rules
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     14-10-13
    RM References:  1.01.05 (4)  
AI12-0093-1/04   2014-05-08 --  Iterator with indefinite cursor
    Priority: Low        Difficulty: Medium
    Class: Ramification                Status: Corrigendum 1 for Ada 2012 12 13-12-11
    RM References:  5.05.02 (8/3)   5.05.02 (10/3)  
AI12-0094-1/03   2015-01-19 --  An access_definition should be a declarative region
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-12
    RM References:  8.03 (2)   8.03 (26/3)  
AI12-0095-1/03   2014-09-29 --  Generic formal types and constrained partial views
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-11
    RM References:  3.10.02 (27.2/3)   4.06 (24.16/2)   6.04.01 (6.2/3)   12.05.01 (15)  
AI12-0096-1/02   2014-09-29 --  The exception raised when a subtype conversion fails a predicate check
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-14
    RM References:  4.06 (57/3)  
AI12-0097-1/02   2014-07-15 --  Tag of the return object of a simple return expression
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-15
    RM References:  6.05 (8/3)  
AI12-0098-1/02   2014-09-29 --  Problematic examples for ATC
    Priority: Low        Difficulty: Medium
    Class: Ramification                Status: Corrigendum 1 for Ada 2012 12 14-07-14
    RM References:  9.07.04 (13)  
AI12-0099-1/03   2014-09-29 --  Wording problems with predicates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-23
    RM References:  3.02.04 (4/4)   3.02.04 (12/3)   3.02.04 (20/3)  
AI12-0100-1/02   2014-07-14 --  A qualified expression makes a predicate check
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-14
    RM References:  4.07 (4)  
AI12-0101-1/03   2014-09-29 --  Incompatibility of hidden untagged record equality
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-14
    RM References:  4.05.02 (9.8/3)  
AI12-0102-1/02   2014-10-02 --  Stream_IO.File_Type has Preelaborable_Initialization
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-11
    RM References:  A.12.01 (5)  
AI12-0103-1/04   2015-01-19 --  Expression functions that are completions in package specifications
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-13
    RM References:  13.14 (3/3)   13.14 (5/3)  
AI12-0104-1/02   2014-10-02 --  Overriding an aspect is undefined
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012 12 14-07-23
    RM References:  4.01.06 (4/3)   4.01.06 (17/3)  
AI12-0105-1/03   2014-10-02 --  Pre and Post are not allowed on any subprogram completion
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-23
    RM References:  13.01.01 (18/3)  
AI12-0106-1/05   2015-01-19 --  Write'Class aspect
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-13
    RM References:  13.01.01 (28/3)   13.13.02 (38/3)  
AI12-0107-1/03   2014-10-02 --  A prefixed view of a By_Protected_Procedure interface has convention protected
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-23
    RM References:  6.03.01 (10.1/2)   6.03.01 (12)   6.03.01 (13)  
AI12-0108-1/02   2014-10-19 --  Out-of-range static constants
    Priority: Low        Difficulty: Medium
    Class: Pathology                   Status: No Action     (8-0-0) 14-10-19
    RM References:  4.09 (24)  
AI12-0109-1/03   2015-01-20 --  Representation of untagged derived types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-14
    RM References:  13.01 (10/3)  
AI12-0110-1/02   2014-07-23 --  Tampering checks are performed first
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-23
    RM References:  A.18.02 (97.1/3)   A.18.03 (69.1/3)   A.18.04 (15.1/3)   A.18.07 (14.1/3)   A.18.10 (90/3)   A.18.18 (35/3)  
AI12-0111-1/04   2016-10-02 --  Tampering considered too expensive
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-05-15
    RM References:  A.18.02 (97.1/3)  
AI12-0112-1/01   2014-05-15 --  Preconditions for container operations
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-05-15
    RM References:  A.18.02 (99/3)  
AI12-0113-1/03   2014-11-19 --  Class-wide preconditions and statically bound calls
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-19
    RM References:  6.01.01 (7/3)   6.01.01 (18/3)   6.01.01 (37/3)   6.01.01 (38/3)  
AI12-0114-1/03   2014-10-02 --  Overlapping objects designated by access parameters are not thread-safe
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-15
    RM References:  A (3/2)  
AI12-0115-1/01   2014-06-19 --  Add Size_Is_Multiple_Of aspect
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (10-0-0) 15-06-27
    RM References:  13.03 (58/3)  
AI12-0116-1/03   2014-10-02 --  Private types and predicates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-11
    RM References:  13.01 (9/3)   13.01 (9.1/3)  
AI12-0117-1/03   2014-11-17 --  Restriction No_Tasks_Unassigned_To_CPU
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-17
    RM References:  D.07 (10.8/3)  
AI12-0118-1/00   2014-06-20 --  Extended precision in static expressions
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     14-06-20
    RM References:  4.09 (38/2)  
AI12-0119-1/02   2016-10-03 --  Parallel operations
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-06-20
    RM References:  5.05.02 (2/3)  
AI12-0120-1/04   2014-10-02 --  Legality and exceptions of generalized loop iteration
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-07-14
    RM References:  5.05.02 (6.1/4)   5.05.02 (10/3)   5.05.02 (13/3)  
AI12-0121-1/03   2015-01-19 --  Stream-oriented aspects
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-13
    RM References:  13.13.02 (38/3)  
AI12-0122-1/01   2014-08-11 --  Add 'Base for all types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (7-0-1) 15-06-27
    RM References:  3.05 (15)  
AI12-0123-1/01   2014-08-11 --  Add 'Subtype attribute
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (6-0-1) 15-10-18
    RM References:  3.02.02 (12)  
AI12-0124-1/04   2015-01-19 --  Add Object'Image
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-14
    RM References:  3.05 (55/3)  
AI12-0125-1/05   2015-10-03 --  Add Object'Inc and 'Dec
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (12-0-0) 16-06-13
    RM References:  3.05 (31/2)  
    Alternatives:   AI12-0125-2  AI12-0125-3
AI12-0125-2/02   2015-10-09 --  Add :+, :-, :*, :/, ...
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: No Action     (10-0-2) 16-06-13
    RM References:  5.02.01 (0)  
    Alternatives:   AI12-0125-1  AI12-0125-3
AI12-0125-3/08   2016-10-02 --  Add @ as an abbreviation for the LHS of an assignment
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-08-04
    RM References:  5.02.01 (0)   2.02 (9)   3.03 (21.1/3)   4.01 (2/3)   8.06 (9/4)  
    Alternatives:   AI12-0125-1  AI12-0125-2
AI12-0126-1/02   2015-07-13 --  Add Interfaces.Shifting
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (5-0-3) 15-06-27
    RM References:  B.02 (9)  
AI12-0127-1/06   2016-10-06 --  Partial aggregate notation
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-08-21
    RM References:  4.03 (2)   4.03 (4)   4.03.03 (3)   4.03.04 (0)   7.05 (2.10/3)  
AI12-0128-1/09   2016-10-02 --  Exact size access to parts of composite atomic objects
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-08-04
    RM References:  C.06 (13.2/3)   C.06 (19)   C.06 (20)   C.06 (22/2)   C.06 (25/4)  
AI12-0129-1/08   2015-05-05 --  Make protected objects more protecting
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-03-26
    RM References:  9.05.01 (2)   9.05.01 (4)   9.05.01 (5)   9.05.01 (7)   9.05.03 (15)   9.05.03 (23)  
AI12-0130-1/03   2015-01-19 --  All I/O packages should have Flush
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-14
    RM References:  A.08.01 (10)   A.08.02 (28/3)   A.08.04 (10)   A.10.03 (21)   A.12.01 (28/2)   A.12.01 (28.6/1)  
AI12-0131-1/02   2014-11-13 --  Inherited Pre'Class when unspecified on initial subprogram
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-13
    RM References:  6.01.01 (17/3)   6.01.01 (18/3)  
AI12-0132-1/02   2014-11-13 --  Freezing of renames-as-body
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-13
    RM References:  13.14 (5/3)  
AI12-0133-1/04   2015-01-19 --  Type invariants and default initialized objects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-13
    RM References:  7.03.02 (10.3/3)  
AI12-0134-1/03   2015-01-19 --  Error in Storage Pool example
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012 12 14-11-13
    RM References:  13.11.06 (11/3)  
AI12-0135-1/05   2015-03-03 --  Enumeration types should be eligible for convention C
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-02-26
    RM References:  B.01 (14/3)   B.01 (41/3)   B.03 (65)  
AI12-0136-1/03   2015-01-20 --  Language-defined packages and aspect Default_Storage_Pool
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-18
    RM References:  13.11.03 (5/3)  
AI12-0137-1/03   2015-01-20 --  Incomplete views and access to class-wide types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 14-11-17
    RM References:  3.10.01 (2.1/2)  
AI12-0138-1/09   2015-05-05 --  Iterators of formal derived types
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-03-26
    RM References:  13.01.01 (18/4)   13.01.01 (34/3)   4.01.05 (6/3)   4.01.06 (5/3)   4.01.06 (6/3)   4.01.06 (7/3)   4.01.06 (8/3)   4.01.06 (9/3)
                    5.05.01 (11/3)  
AI12-0139-1/03   2016-06-09 --  Thread-safe Ada libraries
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     14-10-13
    RM References:  A (3/4)   A.18 (5)  
AI12-0140-1/05   2016-10-02 --  Access to unconstrained partial view when full view is constrained
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-08-01
    RM References:  3.02 (7/2)   7.03.01 (5/1)  
AI12-0141-1/02   2015-01-28 --  Add Raise Expression to Introduction
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012 12 14-12-04
    RM References: 
AI12-0142-1/03   2015-02-23 --  Bad subpool implementations
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-01-28
    RM References:  13.11 (21)   13.11.04 (21/3)   13.11.04 (31/3)  
AI12-0143-1/03   2015-11-19 --  Using an entry index of a family in a precondition
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: WG9 Approved  16-06-13
    RM References:  6.01.01 (30/3)   9.05.04 (5/3)  
AI12-0144-1/07   2016-01-28 --  Make Discrete_Random more flexible
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-02-29
    RM References:  A.05.02 (20)   A.05.02 (32)   A.05.02 (41)   A.05.02 (42)  
AI12-0145-1/02   2015-01-28 --  Pool_of_Subpool returns null when called too early
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-01-28
    RM References:  13.11.04 (20/3)  
AI12-0146-1/01   2015-01-21 --  Should say stream-oriented attribute
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Corrigendum 1 for Ada 2012 12 15-01-28
    RM References:  7.03.02 (15/3)  
AI12-0147-1/02   2015-01-28 --  Expression functions and null procedures can be declared in a protected_body
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-01-28
    RM References:  9.04 (8/1)  
AI12-0148-1/03   2015-01-29 --  Dangling references
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-01-28
    RM References:  13.11.02 (10/2)   13.11.02 (15)   13.11.05 (7/3)  
AI12-0149-1/01   2015-01-22 --  Type invariants are checked for functions returning access-to-type
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-01-28
    RM References:  7.03.02 (19.3/4)  
AI12-0150-1/03   2015-01-28 --  Class-wide type invariants and statically bound calls
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-01-28
    RM References:  7.03.02 (3/3)   7.03.02 (5/3)   7.03.02 (9/3)   7.03.02 (22/3)  
AI12-0151-1/02   2015-02-26 --  Meaning of subtype_indication in array component iterators
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-02-26
    RM References:  5.05.02 (5/3)  
AI12-0152-1/04   2015-03-25 --  Eliminate ambiguities in raise expression and derived type syntax
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-02-26
    RM References:  3.05.09 (5)   3.05.09 (18)   3.05.09 (19)   11.03 (2/2)   11.03 (3.1/2)   11.03 (4/3)   11.04.01 (10.1/3)   J.03 (2)
                    J.03 (3)   J.03 (4)   J.03 (7)   J.03 (8)   J.03 (9)   J.03 (10)  
AI12-0153-1/02   2015-02-23 --  Default value of Boolean-valued aspects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: No Action     (8-0-2) 15-02-26
    RM References:  13.01.01 (15/3)   3.05 (56.3/3)   3.06 (22.2/3)  
AI12-0154-1/03   2015-03-03 --  Aspects of library units
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-02-26
    RM References:  13.01.01 (32/3)  
AI12-0155-1/08   2015-07-30 --  Freezing of an incomplete view has no effect
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-02-29
    RM References:  3.10.01 (10/3)   13.14 (3/4)   13.14 (15.1/3)  
AI12-0156-1/04   2016-04-11 --  Use subtype_indication in generalized iterators
    Priority: Medium     Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-02-29
    RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)   3.10.02 (11.1/2)  
AI12-0157-1/03   2015-05-05 --  Missing rules for expression functions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-03-26
    RM References:  3.10.02 (19.2/4)   3.10.02 (19.3/4)   4.03.03 (11/2)   6.08 (2/3)   6.08 (3/3)   6.08 (5/3)   6.08 (6/3)   6.08 (7/3)
                    7.05 (2.9/3)   13.14 (5.1/4)   13.14 (5.2/4)   13.14 (8/3)   13.14 (10.1/3)   13.14 (10.2/3)   13.14 (10.3/3)  
AI12-0158-1/02   2015-03-26 --  Definition of quantified expressions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-03-26
    RM References:  4.05.08 (1/3)   4.05.08 (6/3)   4.05.08 (8/3)   4.05.08 (9/3)  
AI12-0159-1/04   2015-03-31 --  Corrections from the Corrigendum Editorial Review
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Corrigendum 1 for Ada 2012 12 15-03-26
    RM References:  3.05.09 (6)   4.01.04 (9/4)   6.01.01 (7/4)   6.01.01 (26.2/4)   6.01.01 (37/4)   6.01.01 (38/4)   6.03.01 (12/4)   6.03.01 (13/4)
                    6.04.01 (5)   6.04.01 (6.26/4)   6.04.01 (6.27/4)   6.04.01 (6.28/4)   6.04.01 (6.29/4)   6.04.01 (13.1/4)   7.03.02 (5/4)   7.03.02 (21/4)
                    7.03.02 (22.1/4)   11.03 (3/4)   11.03 (3.2/4)   11.03 (4.1/4)   A (3.1/4)   A.18.10 (2/4)  
AI12-0160-1/03   2016-04-11 --  Adding an indexing aspect to an indexable container type
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-02-29
    RM References:  4.01.06 (6/4)   4.01.06 (9/4)   3.06 (22.2/3)  
AI12-0161-1/01   2015-06-03 --  Unicode equivalents for Ada operator symbols
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: No Action     (8-0-0) 15-06-27
    RM References:  5.05.02 (2/3)   5.05.02 (5/4)   5.05.02 (7/3)  
AI12-0162-1/03   2015-07-30 --  Memberships and Unchecked_Unions
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-02-29
    RM References:  B.03.03 (25/2)  
AI12-0163-1/04   2016-04-21 --  Deterministic queue servicing for FIFO_Queueing
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-02-29
    RM References:  D.04 (7/2)   D.04 (12)   D.04 (13)   D.04 (14)  
AI12-0164-1/04   2015-11-14 --  Max_Entry_Queue_Length aspect for entries
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-11-14
    RM References:  D.04 (16)  
AI12-0165-1/05   2015-10-13 --  Operations of class-wide types and formal abstract subprograms
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-02-29
    RM References:  12.06 (8.5/2)  
AI12-0166-1/04   2016-03-22 --  External calls to protected functions that appear to be internal calls
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-02-29
    RM References:  6.01.01 (34/3)   9.05 (3/3)   9.05 (7.1/3)  
AI12-0167-1/03   2015-08-07 --  Type_Invariants and tagged-type View Conversions
    Priority: Low        Difficulty: Medium
    Class: Ramification                Status: Amendment 1 for Ada 2012 12 16-02-29
    RM References:  7.03.02 (9/4)  
AI12-0168-1/02   2015-07-07 --  Freezing of generic instantiations of generics with bodies
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-02-29
    RM References:  13.14 (3/4)  
AI12-0169-1/02   2015-07-08 --  Aspect specifications for entry bodies
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-02-29
    RM References:  9.05.02 (5)  
AI12-0170-1/05   2016-10-02 --  Abstract subprogram calls in class-wide precondition expressions
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-21
    RM References:  3.09.03 (7)   6.01.01 (7/4)   6.01.01 (18/4)   6.01.01 (18.2/4)  
AI12-0171-1/02   2016-11-10 --  Ambiguity in Synchronous_Task_Control semantics
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-11-10
    RM References:  D.10 (11)  
AI12-0172-1/01   2015-10-06 --  Raise expressions in limited contexts
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-02-29
    RM References:  7.05 (2.1/3)  
AI12-0173-1/02   2015-11-17 --  Expression of an extended return statement
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-02-29
    RM References:  6.05 (3/2)   6.05 (5/3)  
AI12-0174-1/02   2015-11-17 --  Aggregates of Unchecked_Unions using named notation
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-02-29
    RM References:  B.03.03 (9/3)  
AI12-0175-1/05   2016-03-22 --  Preelaborable packages with address clauses
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-02-29
    RM References:  10.02.01 (7)  
AI12-0176-1/02   2016-01-28 --  6.1.1(26.4/4) only applies to tagged types
    Priority: Low        Difficulty: Easy
    Class: Confirmation                Status: WG9 Approved  16-06-13
    RM References:  6.01.01 (26.4/4)  
AI12-0177-1/00   2015-10-08 --  A name resolution oddity
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: No Action     (6-0-2) 15-10-16
    RM References:  13.01.01 (11/3)  
AI12-0178-1/04   2016-04-25 --  Glitches in examples
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012 12 16-02-29
    RM References:  4.01.03 (17/2)   4.03.02 (13)   4.03.03 (45/2)   4.05.02 (37)   8.03.01 (12/2)   9.07.03 (6)   9.11 (7.1/2)   10.01.02 (29/2)
                    11.02 (12)   11.04.03 (2/2)   11.04.03 (5)   11.04.03 (6/2)   11.04.03 (10)   12.01 (22)   12.03 (24)   12.07 (19/2)
                    12.07 (21/2)   13.05.01 (27)   13.11 (41/3)   A.18.32 (9/3)   B.04 (124)   B.05 (30/3)   C.03.02 (28/3)  
AI12-0179-1/04   2016-11-11 --  Failure of postconditions of language-defined units
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-11-10
    RM References:  1.01.03 (17/3)   11.04.02 (23.1/3)  
AI12-0180-1/03   2016-10-02 --  Using protected subprograms and entries within an invariant
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-11
    RM References:  13.01.01 (12/3)  
AI12-0181-1/03   2016-07-11 --  Self-referencing representation aspects
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-11
    RM References:  13.01 (9/4)   13.01 (9.1/4)   13.14 (19)  
AI12-0182-1/02   2016-04-21 --  Pre'Class and protected operations
    Priority: Low        Difficulty: Easy
    Class: Ramification                Status: Amendment 1 for Ada 2012 12 16-07-21
    RM References:  13.01.01 (16/3)  
AI12-0183-1/01   2016-03-23 --  Presentation errors in Ada 2012 post Corrigendum 1
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012 12 16-03-23
    RM References:  D.04 (4)   D.04 (7/5)  
AI12-0184-1/03   2016-10-02 --  Long Long C Data Types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Amendment 1 for Ada 2012 12 16-08-01
    RM References:  B.03 (71.3/3)  
AI12-0185-1/02   2016-07-21 --  Resolution of postcondition-specific attributes
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-21
    RM References:  6.01.01 (7/4)   6.01.01 (8/3)   6.01.01 (26.10/4)   6.01.01 (29/3)  
AI12-0186-1/04   2016-11-10 --  Profile freezing for the Access attribute
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-11-10
    RM References:  13.14 (15)  
AI12-0187-1/02   2016-08-31 --  Stable properties of abstract data types
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-06-02
    RM References:  7.03.03 (0)  
AI12-0188-1/01   2016-06-02 --  Add container iterator form supporting iteration over keys
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-06-02
    RM References:  5.05.02 (2/3)  
AI12-0189-1/03   2016-10-04 --  loop-body as anonymous procedure
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-06-02
    RM References:  5.05.02 (2/3)  
AI12-0190-1/02   2016-10-04 --  Anonymous functions
    Priority: Low        Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-06-02
    RM References:  5.05.02 (2/3)  
AI12-0191-1/01   2016-06-06 --  Clarify "part" for type invariants
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Work Item     16-06-06
    RM References:  7.03.02 (19.1/4)   7.03.02 (19.2/4)   7.03.02 (19.3/4)   7.03.02 (19.4/4)  
AI12-0192-1/03   2016-10-02 --  "requires late initialization" and protected types
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-21
    RM References:  3.03.01 (8.1/2)  
AI12-0193-1/03   2016-11-09 --  Postcondition failure for a task entry
    Priority: Low        Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-11-09
    RM References:  6.01.01 (35.1/4)   9.05.02 (24)  
AI12-0194-1/01   2016-06-06 --  Language-defined aspects and entry bodies
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-21
    RM References:  13.01.01 (17/3)  
AI12-0195-1/03   2016-10-02 --  Inheriting body but overriding precondition or postcondition
    Priority: Medium     Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-21
    RM References:  6.01.01 (38/4)  
AI12-0196-1/06   2016-11-11 --  Concurrent access to Ada container libraries
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-11-11
    RM References:  A.18 (2/2)   A.18.02 (125/2)   A.18.02 (133/3)   A.18.02 (135/3)   A.18.03 (81/3)   A.18.04 (36/3)   A.18.07 (34/2)   A.18.10 (116/3)  
AI12-0197-1/01   2016-06-07 --  Generator Functions
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-06-07
    RM References:  6.09 (0)  
    Alternatives:   AI12-0197-2  AI12-0197-3
AI12-0197-2/02   2016-06-13 --  Passive tasks
    Priority: Medium     Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-06-12
    RM References:  9.01 (21)  
    Alternatives:   AI12-0197-1  AI12-0197-3
AI12-0197-3/02   2016-10-06 --  generator functions
    Priority: Low        Difficulty: Hard
    Class: Amendment                   Status: Work Item     16-10-05
    RM References:  6.09 (0)  
    Alternatives:   AI12-0197-1  AI12-0197-2
AI12-0198-1/03   2016-10-02 --  Potentially unevaluated components of array aggregates
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-07-21
    RM References:  6.01.01 (22.1/4)  
AI12-0199-1/03   2016-11-14 --  Abstract subprogram calls in class-wide invariant expressions
    Priority: Low        Difficulty: Hard
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-11-14
    RM References:  7.03.02 (5/4)   7.03.02 (8/3)  
AI12-0200-1/03   2016-11-23 --  Improve reentrancy requirements for language-defined subprograms
    Priority: Low        Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-11-09
    RM References:  A (3/4)   13.11.04 (21/3)   13.11.04 (31/3)  
AI12-0201-1/01   2016-08-18 --  Missing operations of static string types
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     16-08-18
    RM References:  4.09 (9)   4.09 (19)   4.09 (20)  
AI12-0202-1/01   2016-10-03 --  Tampering_Check
    Priority: Low        Difficulty: Easy
    Class: Amendment                   Status: Work Item     16-10-03
    RM References:  11.05 (20)  
AI12-0203-1/02   2016-11-10 --  Overriding a nonoverridable aspect
    Priority: Low        Difficulty: Easy
    Class: Presentation                Status: Amendment 1 for Ada 2012 12 16-11-10
    RM References:  4.01.05 (5.1/4)   4.01.05 (7/3)  
AI12-0204-1/02   2016-11-09 --  Renaming of a prefixed view
    Priority: Medium     Difficulty: Medium
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-11-09
    RM References:  8.05.04 (5.2/2)   12.06 (8.3/2)   4.01.03 (13.1/2)   4.01.06 (9/5)  
AI12-0205-1/01   2016-10-06 --  Defaults for generic formal parameters
    Priority: Medium     Difficulty: Medium
    Class: Amendment                   Status: Work Item     16-10-06
    RM References:  12.04 (6)   12.05 (2)   12.07 (2)  
AI12-0206-1/01   2016-11-14 --  Nonoverridable should allow arbitrary kinds of aspects
    Priority: Medium     Difficulty: Easy
    Class: Binding Interpretation      Status: Amendment 1 for Ada 2012 12 16-11-14
    RM References:  13.01.01 (18.2/4)   13.01.01 (18.3/4)   13.01.01 (18.6/4)