Version 1.61 of 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/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/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/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/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/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/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/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/02 2016-06-02 -- Nonblocking subprograms
Priority: Medium Difficulty: Medium
Class: Amendment Status: Work Item 15-12-18
RM References: 9.05.01 (11) 9.05.01 (18)
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: 3.10.02 (7/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/03 2016-06-04 -- 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/01 2014-10-13 -- 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: Work Item 14-08-11
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: Work Item 15-10-08
RM References: 5.02.01 (0)
Alternatives: AI12-0125-1 AI12-0125-3
AI12-0125-3/03 2016-04-11 -- Add @ as a shorthand for the LHS of an assignment
Priority: Low Difficulty: Medium
Class: Amendment Status: Work Item 15-10-13
RM References: 5.02.01 (0) 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/03 2016-06-07 -- Partial aggregate notation
Priority: Medium Difficulty: Hard
Class: Amendment Status: Work Item 14-08-21
RM References: A.03.04
AI12-0128-1/07 2015-12-11 -- Exact size access to parts of composite atomic objects
Priority: Medium Difficulty: Hard
Class: Amendment Status: Work Item 14-10-03
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/02 2015-10-14 -- 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/03 2016-06-04 -- Access to unconstrained partial view when full view is constrained
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Work Item 14-10-13
RM References: 3.04 (7/3) 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: Amendment 1 for Ada 2012 12 16-02-29
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/03 2015-10-17 -- Max_Entry_Queue_Length aspect for entries
Priority: Low Difficulty: Easy
Class: Amendment Status: Work Item 15-06-04
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/03 2016-06-04 -- Abstract subprogram calls in class-wide precondition expressions
Priority: Low Difficulty: Hard
Class: Binding Interpretation Status: Work Item 15-06-17
RM References: 3.09.03 (7) 6.01.01 (7/4) 6.01.01 (18.2/4) 7.03.02 (5/4)
AI12-0171-1/00 2015-10-05 -- Ambiguity in Synchronous_Task_Control semantics
Priority: Low Difficulty: Medium
Class: Binding Interpretation Status: Work Item 15-10-05
RM References: D.10 (7/2)
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: ARG Approved 10-0-0 (By Letter Ballot) 16-02-26
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.0
7 (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/01 2016-01-04 -- Failure of postconditions of language-defined units
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Work Item 16-01-04
RM References: 1.01.03 (17/3)
AI12-0180-1/01 2016-01-05 -- Using protected subprograms and entries within an invariant
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Work Item 16-01-05
RM References: 13.01.01 (12/3)
AI12-0181-1/02 2016-01-08 -- Self-referencing representation aspects
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Work Item 16-01-07
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: Work Item 16-02-24
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/01 2016-03-23 -- Long Long C Data Types
Priority: Low Difficulty: Easy
Class: Amendment Status: Work Item 16-03-23
RM References: D.04 (16)
AI12-0185-1/01 2016-04-20 -- Resolution of postcondition-specific attributes
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Work Item 16-04-20
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/01 2016-04-21 -- Profile freezing for the Access attribute
Priority: Low Difficulty: Easy
Class: Ramification Status: Work Item 16-04-21
RM References: 13.14 (15)
AI12-0187-1/01 2016-06-02 -- 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/02 2016-06-06 -- 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/01 2015-06-02 -- Lambda 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/01 2016-06-06 -- "requires late initialization" and protected types
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Work Item 16-06-06
RM References: 3.03.01 (8.1/2)
AI12-0193-1/01 2016-06-06 -- Postcondition failure for a task entry
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Work Item 16-06-06
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: Work Item 16-06-06
RM References: 13.01.01 (17/3)
AI12-0195-1/01 2016-06-07 -- Inheriting body but overriding precondition or postcondition
Priority: Medium Difficulty: Hard
Class: Binding Interpretation Status: Work Item 16-06-07
RM References: 6.01.01 (38/4)
AI12-0196-1/01 2016-06-07 -- Concurrent access to Ada container libraries
Priority: Low Difficulty: Hard
Class: Amendment Status: Work Item 16-06-07
RM References: A (3/4) A.18 (5)
AI12-0197-1/01 2015-06-03 -- Generator Functions
Priority: Low Difficulty: Hard
Class: Amendment Status: Work Item 16-06-07
RM References: 6.09 (0)
AI12-0198-1/01 2016-06-07 -- Potentially unevaluated components of array aggregates
Priority: Low Difficulty: Easy
Class: Binding Interpretation Status: Work Item 16-06-07
RM References: 6.01.01 (22.1/4)
Questions? Ask the ACAA Technical Agent