|
This is an index of all Ada 2012 Issues.
Priority is Very Low, Low, Medium, High, or Critical; 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.
For Ada 2022 issues that have or will be considered by the ARG, look in the
Ada 2022 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 orderAI12-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 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: Revision 2022 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 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/06 2017-04-24 -- Normalization and allowed characters for identifiers Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Revision 2022 16-11-11 RM References: 2.01 (4.1/3) 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: No Action (7-0-0) 18-06-24 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: Hard Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07 RM References: 11.04.03 (0) AI12-0018-1/02 2014-12-04 -- Entity versioning Priority: Very Low Difficulty: Easy Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07 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/11 2020-01-06 -- 'Image for all types Priority: Medium Difficulty: Medium Class: Amendment Status: Revision 2022 18-11-27 RM References: 4.10 (0) 3.05 (27.1/2) 3.05 (27.2/2) 3.05 (27.3/2) 3.05 (27.4/2) 3.05 (27.5/2) 3.05 (27.6/2) 3.05 (27.7/2) 3.05 (28) 3.05 (29) 3.05 (30/3) 3.05 (31) 3.05 (32) 3.05 (33/3) 3.05 (37.1/2) 3.05 (38) 3.05 (39) 3.05 (43/3) 3.05 (55/3) 3.05 (55.1/5) 3.05 (55.2/4) 3.05 (55.3/4) 3.05 (55.4/4) 3.05 (59) H.04 (23) H.04 (23.8/2) AI12-0021-1/06 2019-01-04 -- Additional internationalization of Ada Priority: High Difficulty: Hard Class: Amendment Status: Revision 2022 18-12-10 RM References: 11.04.01 (19) A.08.01 (15) A.08.02 (28.3/4) A.08.04 (18) A.10.01 (85) A.12.01 (26) A.15.01 (0) A.16.02 (0) A.17.01 (0) AI12-0022-1/05 2013-05-08 -- Raise expressions Priority: High Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 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: Hold by Letter Ballot (10-0-1) - 18-05-07 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-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 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 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 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 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 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 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 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 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-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-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-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 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 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 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 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 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-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-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-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 polic Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 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-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 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-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 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 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 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 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/07 2017-04-24 -- The Fortran Annex needs updating to support Fortran 2008 Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Revision 2022 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: Revision 2022 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: Very Low Difficulty: Medium Class: Amendment Status: No Action (5-0-2) 18-10-21 RM References: 8.03.01 (3/2) AI12-0061-1/07 2019-02-05 -- Index parameters in array aggregates Priority: Medium Difficulty: Easy Class: Amendment Status: Revision 2022 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 (2.1/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 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: Very Low Difficulty: Medium Class: Amendment Status: No Action (12-0-0) [By Letter Ballot] 18-01-18 RM References: 9.05.01 (11) 9.05.01 (18) Alternatives: AI12-0064-2 AI12-0064-2/16 2018-05-07 -- Nonblocking subprograms Priority: Medium Difficulty: Medium Class: Amendment Status: Revision 2022 17-11-21 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) 9.05.01 (22.1/2) 3.10.02 (32/3) 4.06 (24.21/4) 4.09 (8) 13.01.01 (17/3) 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 13-12-17 RM References: 7.03.01 (5.2/3) AI12-0066-1/03 2020-09-03 -- If it ain't broke... Priority: Low Difficulty: Easy Class: Confirmation Status: Received 13-03-27 RM References: 3.02.04 (21/3) 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 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 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 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 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 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 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 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 14-07-23 RM References: 4.06 (56) 6.04.01 (6.25/3) 6.04.01 (13.1/3) AI12-0075-1/11 2018-05-07 -- Static expression functions Priority: Medium Difficulty: Medium Class: Amendment Status: Revision 2022 18-04-06 RM References: 4.09 (21) 6.08 (3/4) 6.08 (5/4) 6.08 (6/4) 7.03.02 (8.2/5) 7.03.02 (15/4) 7.03.02 (16/4) 7.03.02 (17/4) 7.03.02 (19/4) 7.03.02 (20/5) 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 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 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 13-06-28 RM References: A.18.10 (2/3) A.18.10 (3/3) AI12-0079-1/13 2019-04-02 -- Global-in and global-out annotations Priority: High Difficulty: Hard Class: Amendment Status: No Action (14-0-0) 20-04-29 RM References: 6.01.02 (0) 13.01.01 (4/3) 13.01.01 (11/3) 13.14 (3/5) Alternatives: AI12-0079-2 AI12-0079-3 AI12-0079-2/01 2020-01-13 -- Global-in and global-out annotations Priority: High Difficulty: Hard Class: Amendment Status: No Action (14-0-0) 20-04-29 RM References: 6.01.02 (0) Alternatives: AI12-0079-1 AI12-0079-3 AI12-0079-3/08 2021-05-28 -- Global-in and global-out annotations Priority: High Difficulty: Hard Class: Amendment Status: Revision 2022 20-03-11 RM References: 6.01.02 (0) Alternatives: AI12-0079-1 AI12-0079-2 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 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 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 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 by Letter Ballot (10-0-1) - 18-05-07 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 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 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: Revision 2022 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 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 f Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2012 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 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: Hold by Letter Ballot (10-0-1) - 18-05-07 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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/12 2021-05-28 -- Stable Containers to reduce tampering checks Priority: Medium Difficulty: Hard Class: Amendment Status: Revision 2022 18-12-11 RM References: 5.05.01 (8/3) 5.05.01 (9/3) 5.05.01 (10/3) 5.05.02 (12/3) A.18 (2/2) A.18.02 (8/3) A.18.02 (90/2) A.18.02 (92/2) A.18.02 (95/2) A.18.02 (96/2) A.18.02 (97/2) A.18.03 (6/3) A.18.03 (61/2) A.18.04 (7/2) A.18.05 (3/3) A.18.06 (4/3) A.18.07 (7/2) A.18.08 (3/3) A.18.09 (4/3) A.18.10 (8/3) A.18.10 (80/3) AI12-0112-1/09 2020-07-21 -- Contracts for container operations Priority: Medium Difficulty: Medium Class: Amendment Status: Revision 2022 18-12-10 RM References: A.18.02 (99/3) 11.04.02 (23.1/3) 11.05 (23) 11.05 (26) A (4) A.18 (10) 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 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 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 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 14-11-17 RM References: D.07 (10.8/3) AI12-0118-1/00 2014-06-20 -- Extended precision in static expressions Priority: Very Low Difficulty: Medium Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07 RM References: 4.09 (38/2) AI12-0119-1/13 2018-08-31 -- Parallel operations Priority: Medium Difficulty: Hard Class: Amendment Status: Revision 2022 18-07-12 RM References: 2.09 (2/3) 5.01 (1) 5.01 (5/2) 5.01 (15) 5.05 (1) 5.05 (3/3) 5.05 (5) 5.05 (7) 5.05 (9/4) 5.05 (21) 5.06.01 (0) 9 (1/3) 9 (10) 9 (11) 9.05.01 (7/4) 9.08 (17) 9.10 (1/3) 9.10 (2) 9.10 (13) D.02.01 (4/2) D.16.01 (33/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 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 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 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: Revision 2022 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/16 2018-05-07 -- Partial aggregate notation Priority: Medium Difficulty: Hard Class: Amendment Status: Revision 2022 17-11-21 RM References: 4.03 (2) 4.03 (3/2) 4.03 (4) 4.03.01 (9) 4.03.01 (15/3) 4.03.01 (16/4) 4.03.01 (17/5) 4.03.01 (17.1/2) 4.03.03 (4) 4.03.03 (14) 4.03.03 (17/5) 4.03.04 (0) 7.05 (2.6/2) AI12-0128-1/09 2016-10-02 -- Exact size access to parts of composite atomic objects Priority: Medium Difficulty: Hard Class: Amendment Status: Revision 2022 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 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 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 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 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 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 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 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 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 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 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/04 2017-06-08 -- Thread-safe Ada libraries Priority: Low Difficulty: Hard Class: Amendment Status: No Action (7-1-1) 19-10-07 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: Revision 2022 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 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 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: Revision 2022 16-07-11 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: Revision 2022 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 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 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 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 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 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 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 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 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 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: Revision 2022 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: Revision 2022 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 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 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 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: Revision 2022 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: Revision 2022 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: Revision 2022 16-02-29 RM References: D.04 (7/2) D.04 (12) D.04 (13) D.04 (14) AI12-0164-1/05 2017-04-24 -- Max_Entry_Queue_Length aspect for entries Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 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: Revision 2022 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: Revision 2022 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: Revision 2022 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: Revision 2022 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: Revision 2022 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: Revision 2022 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/04 2017-04-24 -- Ambiguity in Synchronous_Task_Control semantics Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Revision 2022 16-11-10 RM References: D.10 (10.1/3) AI12-0172-1/01 2015-10-06 -- Raise expressions in limited contexts Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 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: Revision 2022 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: Revision 2022 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: Revision 2022 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: Revision 2022 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/06 2017-04-24 -- Failure of postconditions of language-defined units Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 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: Revision 2022 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: Revision 2022 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: Revision 2022 16-07-21 RM References: 13.01.01 (16/3) AI12-0183-1/07 2018-08-31 -- Presentation errors in Ada 2012 post Corrigendum 1 Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 16-03-23 RM References: 3.07.02 (3/3) 4.09 (2) 5.05.02 (5/5) 8.03 (12.3/2) 12.06 (8.2/2) D.04 (4) D.04 (7/5) E.04 (17) AI12-0184-1/03 2016-10-02 -- Long Long C Data Types Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 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: Revision 2022 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/06 2017-04-24 -- Profile freezing for the Access attribute Priority: Low Difficulty: Hard Class: Binding Interpretation Status: Revision 2022 16-11-10 RM References: 13.14 (15) AI12-0187-1/09 2018-08-31 -- Stable properties of abstract data types Priority: Medium Difficulty: Hard Class: Amendment Status: Revision 2022 17-11-21 RM References: 7.03.04 (0) 13.01.01 (4/3) AI12-0188-1/01 2016-06-02 -- Add container iterator form supporting iteration over keys Priority: Very Low Difficulty: Medium Class: Amendment Status: No Action (7-0-0) 18-06-24 RM References: 5.05.02 (2/3) AI12-0189-1/07 2018-08-31 -- loop-body as anonymous procedure Priority: Medium Difficulty: Medium Class: Amendment Status: Revision 2022 18-07-06 RM References: 5.05 (3/3) 5.05.03 (0) AI12-0190-1/08 2019-01-10 -- Anonymous functions Priority: Low Difficulty: Medium Class: Amendment Status: No Action (10-0-2) 19-01-14 RM References: 4.04 (7/3) 4.05.09 (0) AI12-0191-1/12 2019-07-02 -- Clarify "part" for type invariants Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Revision 2022 19-05-09 RM References: 3.03 (23/5) 3.09.01 (4.1/2) 6.08 (5.8/5) 7.03.02 (8.3/5) 7.03.02 (8.4/5) 7.03.02 (8.5/5) 7.03.02 (8.6/5) 7.03.02 (8.7/5) 7.03.02 (8.8/5) 7.03.02 (8.9/5) 7.03.02 (8.10/5) 7.03.02 (8.11/5) 7.03.02 (8.12/5) 7.03.02 (10.1/4) 7.03.02 (15/5) 7.03.02 (17/4) 7.03.02 (18/4) 7.03.02 (19/4) 13.13.02 (9/3) AI12-0192-1/03 2016-10-02 -- "requires late initialization" and protected types Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 16-07-21 RM References: 3.03.01 (8.1/2) AI12-0193-1/04 2016-12-21 -- Postcondition failure for a task entry Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Revision 2022 16-11-09 RM References: 6.01.01 (26/4) 7.03.02 (20/3) 9.05.02 (24) 9.05.02 (25) AI12-0194-1/01 2016-06-06 -- Language-defined aspects and entry bodies Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 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: Revision 2022 16-07-21 RM References: 6.01.01 (38/4) AI12-0196-1/08 2017-04-24 -- Concurrent access to Ada container libraries Priority: Low Difficulty: Hard Class: Binding Interpretation Status: Revision 2022 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: Very Low Difficulty: Hard Class: Amendment Status: No Action (9-0-0) 19-10-07 RM References: 6.09 (0) Alternatives: AI12-0197-2 AI12-0197-3 AI12-0197-4 AI12-0197-2/02 2016-06-13 -- Passive tasks Priority: Very Low Difficulty: Hard Class: Amendment Status: No Action (9-0-0) 19-10-07 RM References: 9.01 (21) Alternatives: AI12-0197-1 AI12-0197-3 AI12-0197-4 AI12-0197-3/02 2016-10-06 -- generator functions Priority: Very Low Difficulty: Hard Class: Amendment Status: Hold (9-0-1) - 18-06-22 RM References: 6.09 (0) Alternatives: AI12-0197-1 AI12-0197-2 AI12-0197-4 AI12-0197-4/01 2017-10-11 -- Coroutines and channels Priority: Low Difficulty: Hard Class: Amendment Status: Hold (9-0-0) 19-10-07 RM References: 9.11 (0) Alternatives: AI12-0197-1 AI12-0197-2 AI12-0197-3 AI12-0198-1/03 2016-10-02 -- Potentially unevaluated components of array aggregates Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 16-07-21 RM References: 6.01.01 (22.1/4) AI12-0199-1/05 2017-04-24 -- Abstract subprogram calls in class-wide invariant expressions Priority: Low Difficulty: Hard Class: Binding Interpretation Status: Revision 2022 16-11-14 RM References: 7.03.02 (5/4) 7.03.02 (8/3) AI12-0200-1/05 2017-04-24 -- Improve reentrancy requirements for language-defined subprograms Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 16-11-09 RM References: A (3/4) AI12-0201-1/03 2017-09-07 -- Missing operations of static string types Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 17-07-19 RM References: 4.09 (9) 4.09 (19) 4.09 (20) 4.09 (24) AI12-0202-1/01 2016-10-03 -- Tampering_Check Priority: Low Difficulty: Easy Class: Amendment Status: No Action (8-0-3) 18-06-23 RM References: 11.05 (20) AI12-0203-1/03 2017-04-25 -- Overriding a nonoverridable aspect Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 16-11-10 RM References: 4.01.05 (5.1/4) 4.01.05 (7/3) AI12-0204-1/03 2017-04-25 -- Renaming of a prefixed view Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Revision 2022 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/06 2020-12-08 -- Defaults for generic formal types Priority: Medium Difficulty: Medium Class: Amendment Status: Revision 2022 20-04-30 RM References: 12.03 (7/3) 12.03 (10) 12.05 (2.1/3) 12.05 (2.2/3) 12.05 (7/2) AI12-0206-1/02 2017-07-20 -- Nonoverridable should allow arbitrary kinds of aspects Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 16-11-14 RM References: 13.01.01 (18.2/4) 13.01.01 (18.3/4) 13.01.01 (18.6/4) AI12-0207-1/03 2017-08-03 -- Convention of anonymous access types Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Revision 2022 17-08-03 RM References: 6.03.01 (13.1/3) B.01 (19) B.01 (21/3) AI12-0208-1/12 2020-11-06 -- Predefined Big numbers support Priority: Low Difficulty: Medium Class: Amendment Status: Revision 2022 19-02-26 RM References: A.05.05 (0) A.05.06 (0) A.05.07 (0) AI12-0209-1/00 2016-12-19 -- Refine definition of volatility Priority: Low Difficulty: Hard Class: Amendment Status: Hold by Letter Ballot (9-0-2) - 18-05-07 RM References: C.06 (8/3) AI12-0210-1/05 2019-07-02 -- Type Invariants and Generics Priority: Very Low Difficulty: Medium Class: Ramification Status: Revision 2022 19-07-02 RM References: 7.03.02 (23/3) AI12-0211-1/04 2017-11-17 -- Interface types and inherited nonoverridable aspects Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 17-11-17 RM References: 13.01.01 (18.3/5) 13.01.01 (18.4/4) AI12-0212-1/14 2021-01-12 -- Container aggregates; generalized array aggregates Priority: Low Difficulty: Hard Class: Amendment Status: Revision 2022 18-11-19 RM References: 4.03.05 (0) 1.01.04 (12) 1.01.04 (13) 2.01 (15) 2.02 (9/5) 3.07.01 (3) 3.08.01 (4) 4.03 (2/5) 4.03 (3/5) 4.03.01 (5) 4.03.03 (3/2) 4.03.03 (4/5) 4.03.03 (5.1/5) 4.03.03 (9) 4.03.03 (17/5) 4.03.03 (21) 4.03.03 (23.2/5) 4.03.03 (26) 4.03.03 (27) 4.03.03 (31) 4.03.04 (4/5) 4.04 (3.1/3) 11.02 (3) 13.01.01 (5/3) 13.01.01 (7/3) A.18.02 (8/3) A.18.02 (14/2) A.18.02 (47/2) A.18.02 (175/2) A.18.03 (6/3) A.18.05 (3/3) A.18.06 (4/3) A.18.08 (3/3) A.18.09 (4/3) AI12-0213-1/04 2019-01-14 -- Unify record syntax Priority: Very Low Difficulty: Easy Class: Amendment Status: Revision 2022 19-01-14 RM References: 3.08 (3) 3.08 (6/3) 3.08 (28) 13.05.01 (2) 13.05.01 (6) Alternatives: AI12-0213-2 AI12-0213-2/01 2020-01-08 -- Unify record syntax Priority: Very Low Difficulty: Easy Class: Amendment Status: No Action (11-2-1) 20-01-15 RM References: 3.08 (3) 3.08 (6/3) 3.08 (28) 13.05.01 (2) 13.05.01 (6) Alternatives: AI12-0213-1 AI12-0214-1/02 2018-05-08 -- Case statements and expressions for composite types Priority: Very Low Difficulty: Hard Class: Amendment Status: Hold (8-0-1) - 19-10-07 RM References: 5.04 (4/3) Alternatives: AI12-0214-2 AI12-0214-2/03 2019-07-05 -- Boolean conditional case expressions and statements Priority: Low Difficulty: Easy Class: Amendment Status: No Action (9-0-1) 19-10-05 RM References: 4.05.07 (5/3) 4.05.07 (6/3) 4.05.07 (14/3) 4.05.07 (21/3) 4.09 (12.1/3) 4.09 (32.5/3) 5.04 (2/3) 5.04 (3) 5.04 (11/3) 5.04 (14/3) Alternatives: AI12-0214-1 AI12-0215-1/01 2017-01-09 -- Implicit instantiations Priority: Low Difficulty: Hard Class: Amendment Status: Hold 13-0-0 20-09-09 RM References: 12.03.01 (0) Alternatives: AI12-0215-2 AI12-0215-2/01 2019-09-24 -- Implicit instantiations Priority: Low Difficulty: Hard Class: Amendment Status: Hold 13-0-0 20-09-09 RM References: 12.09 (0) Alternatives: AI12-0215-1 AI12-0216-1/03 2017-09-07 -- 6.4.1(6.16-17/3) should never apply to composite objects Priority: Very Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 17-08-04 RM References: 6.04.01 (6.17/3) AI12-0217-1/03 2017-09-07 -- Rules regarding restrictions on the use of the Old attribute are too strict Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 17-07-20 RM References: 6.01.01 (24/3) 6.01.01 (27/3) AI12-0218-1/01 2017-01-10 -- Endianness-neutral record representation clauses Priority: Low Difficulty: Medium Class: Amendment Status: Hold by Letter Ballot (9-1-1) - 18-05-07 RM References: 13.05.03 (6) AI12-0219-1/02 2017-07-21 -- Clarify C interfacing advice Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 17-07-21 RM References: B.01 (38.1/3) B.03 (69/2) B.03 (70) AI12-0220-1/06 2018-05-07 -- Pre/Post for access-to-subprogram types Priority: Low Difficulty: Hard Class: Amendment Status: Revision 2022 18-04-05 RM References: 6.01.01 (1/4) 6.01.01 (2/3) 6.01.01 (4/3) 6.01.01 (19/3) 6.01.01 (28/3) 6.01.01 (29/3) 6.01.01 (39/3) 13.01.01 (12/5) AI12-0221-1/01 2017-04-10 -- Defaults for in out parameters Priority: Very Low Difficulty: Easy Class: Amendment Status: No Action (7-0-0) 18-10-21 RM References: 6.01 (19) AI12-0222-1/02 2017-07-20 -- Representation aspects and private types Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 17-07-20 RM References: 13.01 (9/5) 13.01 (9.1/4) 13.01 (9.2/5) AI12-0223-1/00 2017-04-14 -- The co-derivation problem Priority: Low Difficulty: Hard Class: Amendment Status: Hold by Letter Ballot (9-1-1) - 18-05-07 RM References: 3.04 (2/2) AI12-0224-1/03 2017-09-07 -- Use of Fortran C Interfacing features Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 17-07-21 RM References: 1.02 (3/5) B.05 (27) AI12-0225-1/03 2017-07-21 -- Prefix of Obj'Image Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 17-07-21 RM References: 3.05 (55.1/4) AI12-0226-1/04 2018-08-31 -- Make objects more consistent Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 18-07-10 RM References: 3.03 (11.1/3) 3.03 (21.1/3) 3.03 (23.8/5) 4.06 (58.1/4) 4.06 (58.3/4) AI12-0227-1/02 2017-07-21 -- Evaluation of nonstatic universal expressions when no operators are involved Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 17-07-21 RM References: 4.04 (10) 8.06 (29) AI12-0228-1/03 2017-09-07 -- Properties of qualified expressions used as names Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 17-08-03 RM References: 3.03 (23.7/3) 3.10 (9/3) AI12-0229-1/02 2017-04-21 -- Type renaming Priority: Low Difficulty: Medium Class: Amendment Status: No Action (6-0-3) 19-10-07 RM References: 8.05.06 (0) AI12-0230-1/06 2019-04-02 -- Deadline Floor Protocol Priority: Low Difficulty: Medium Class: Amendment Status: Revision 2022 18-11-27 RM References: D.02.06 (2/2) D.02.06 (7/2) D.02.06 (9/2) D.02.06 (9.1/3) D.02.06 (9.2/3) D.02.06 (9.3/3) D.02.06 (10/2) D.02.06 (11/2) D.02.06 (12/3) D.02.06 (13/3) D.02.06 (14/2) D.02.06 (15/2) D.02.06 (16/2) D.02.06 (17/2) D.02.06 (18/2) D.02.06 (19/2) D.02.06 (20/2) D.02.06 (21/2) D.02.06 (22/2) D.02.06 (23/2) D.02.06 (24/2) D.02.06 (25/2) D.02.06 (26/2) D.02.06 (27/2) D.02.06 (28/2) D.02.06 (29/2) D.02.06 (30/2) D.02.06 (33/3) D.02.06 (34/2) D.03 (13) D.05.02 (2/2) D.05.02 (3/2) D.05.02 (4/2) AI12-0231-1/01 2017-06-05 -- Null_Task_Id and Activation_Is_Complete Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 17-07-21 RM References: C.07.01 (15) AI12-0232-1/04 2018-04-13 -- Rules for pure generic bodies Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Revision 2022 17-11-20 RM References: 10.02.01 (9/3) 10.02.01 (15.1/3) 10.02.01 (15.5/3) AI12-0233-1/05 2018-04-13 -- Pre'Class for hidden operations of private types Priority: Low Difficulty: Medium Class: Ramification Status: WG9 Approved 16-06-22 RM References: 6.01.01 (38/4) AI12-0234-1/08 2020-10-20 -- Compare-and-swap for atomic objects Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 19-03-11 RM References: C.06.01 (0) C.06.02 (0) AI12-0235-1/05 2019-01-25 -- System.Storage_Pools should be pure Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 18-11-15 RM References: 13.11 (5) AI12-0236-1/08 2019-01-21 -- declare expressions Priority: Low Difficulty: Medium Class: Amendment Status: Revision 2022 19-01-15 RM References: 2.08 (6) 3.09.02 (3) 3.10.02 (9.1/3) 3.10.02 (16.1/3) 3.10.02 (32.2/3) 4.03.02 (5.4/3) 4.03.03 (15.1/3) 4.04 (7/3) 4.05.09 (0) 6.02 (10/4) 7.05 (2.1/5) 8.01 (2.1/4) AI12-0237-1/04 2018-09-05 -- Getting the representation of an enumeration value Priority: Very Low Difficulty: Easy Class: Amendment Status: Revision 2022 18-07-05 RM References: 13.04 (10) 13.04 (11/3) AI12-0238-1/01 2017-10-05 -- Delta package specifications Priority: Very Low Difficulty: Hard Class: Amendment Status: No Action (8-0-0) 17-10-14 RM References: 7.08 (0) AI12-0239-1/03 2019-10-01 -- Ghost Code Priority: Low Difficulty: Medium Class: Amendment Status: Hold 11-0-2 20-01-15 RM References: 11.04.01 (27/3) AI12-0240-1/04 2018-01-24 -- Access value ownership and parameter aliasing Priority: Low Difficulty: Hard Class: Amendment Status: No Action (9-0-0) 19-10-07 RM References: H.07 (0) H.08 (0) Alternatives: AI12-0240-2 AI12-0240-3 AI12-0240-4 AI12-0240-5 AI12-0240-6 AI12-0240-2/02 2018-12-11 -- Access ownership for Abstract Data Types Priority: Low Difficulty: Hard Class: Amendment Status: No Action (9-0-0) 19-10-07 RM References: 3.10.03 (0) Alternatives: AI12-0240-1 AI12-0240-3 AI12-0240-4 AI12-0240-5 AI12-0240-6 AI12-0240-3/01 2018-10-18 -- Access value ownership and parameter aliasing Priority: Low Difficulty: Hard Class: Amendment Status: No Action (9-0-0) 19-10-07 RM References: H.07 (0) H.08 (0) Alternatives: AI12-0240-1 AI12-0240-2 AI12-0240-4 AI12-0240-5 AI12-0240-6 AI12-0240-4/01 2019-01-10 -- Pointer ownership for Abstract Data Types Priority: Low Difficulty: Hard Class: Amendment Status: No Action (9-0-0) 19-10-07 RM References: 3.10.03 (0) Alternatives: AI12-0240-1 AI12-0240-2 AI12-0240-3 AI12-0240-5 AI12-0240-6 AI12-0240-5/02 2019-03-07 -- Heap object ownership for Abstract Data Types Priority: Low Difficulty: Hard Class: Amendment Status: Hold (9-0-0) - 19-10-07 RM References: 6.01.03 (0) Alternatives: AI12-0240-1 AI12-0240-2 AI12-0240-3 AI12-0240-4 AI12-0240-6 AI12-0240-6/05 2019-07-16 -- Global aspect and access types used to implement Abstract Data Types Priority: High Difficulty: Hard Class: Amendment Status: No Action (14-0-0) 20-04-29 RM References: 6.01.02 (0) 6.01.03 (0) Alternatives: AI12-0240-1 AI12-0240-2 AI12-0240-3 AI12-0240-4 AI12-0240-5 AI12-0241-1/02 2018-01-18 -- Specifying Nonblocking for Language-Defined Units Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 17-12-18 RM References: 3.09 (6/2) 3.09 (18.2/3) 5.05.01 (2/3) 7.06 (4/3) 9.06 (10) 9.06.01 (2/2) 9.06.01 (8/2) 9.06.01 (15/2) 11.04.01 (2/2) 13.07.02 (2) 13.09 (3/3) 13.11.02 (3/3) 13.13.01 (2) A.04.03 (5) A.04.04 (3) A.04.05 (3) A.04.07 (3) A.04.09 (7/3) A.04.09 (10/3) A.04.09 (11.7/3) A.04.09 (11.10/3) A.04.10 (7/3) A.04.10 (10/3) A.04.10 (18/3) A.04.10 (21/3) A.05.01 (3) A.10.01 (55) A.10.01 (60) A.10.01 (67) A.10.01 (72) A.10.01 (77) A.10.01 (83) A.15 (3) A.16 (15/2) A.16 (16/2) A.16 (17/2) A.16 (18/2) A.16 (19/2) A.16 (20/2) A.16.01 (3/3) A.17 (3/2) B.03.01 (3) B.03.02 (4) B.04 (7) C.03.02 (2/3) C.07.01 (2/2) C.07.01 (3/3) C.07.01 (16) C.07.02 (2) C.07.03 (2/2) D.02.01 (1.2/3) D.02.01 (1.3/3) D.02.01 (7/3) D.02.04 (2.2/3) D.02.05 (4/2) D.02.06 (9/2) D.05.01 (3/2) D.08 (3) D.10 (3/2) D.10 (4) D.10 (5.2/3) D.10 (10) D.10 (10.1/3) D.10.01 (3/3) D.10.01 (6/3) D.10.01 (14/3) D.11 (3/2) D.14 (3/2) D.14.01 (3/2) D.14.01 (5/2) D.14.02 (3/2) D.14.02 (5/2) D.14.03 (3/3) D.15 (3/2) D.15 (4/2) D.16 (3/3) D.16.01 (3/3) E.05 (3) E.05 (23) F.03.03 (3) F.03.03 (14) F.03.03 (15) G.01.01 (2/1) G.01.02 (2/2) G.01.03 (8) G.03.01 (2/2) G.03.02 (2/2) AI12-0242-1/11 2019-01-17 -- Shorthand Reduction Expressions for Objects Priority: Medium Difficulty: Hard Class: Amendment Status: Revision 2022 19-01-15 RM References: 4.05.10 (0) 4.01.04 (6) AI12-0243-1/03 2020-03-25 -- Subtypes as primitive arguments Priority: Very Low Difficulty: Medium Class: Amendment Status: Hold (14-0-0) - 20-04-29 RM References: 3.09.02 (10/2) 3.09.02 (20.4/3) Alternatives: AI12-0243-2 AI12-0243-2/01 2020-03-26 -- Subtypes as primitive arguments and class-wide predicates Priority: Very Low Difficulty: Medium Class: Amendment Status: Hold (14-0-0) - 20-04-29 RM References: 3.09.02 (10/2) 4.09.01 (2/5) 13.01.01 (16/3) 13.01.01 (30/3) Alternatives: AI12-0243-1 AI12-0244-1/02 2018-01-29 -- Check name for Value attributes Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 18-01-29 RM References: 3.05 (39.4/3) 3.05 (39.5/3) 3.05 (39.12/3) 11.05 (17) AI12-0245-1/01 2018-01-12 -- "with and use" clause Priority: Very Low Difficulty: Easy Class: Amendment Status: No Action (9-0-2) 18-01-29 RM References: 10.01.02 (3) AI12-0246-1/01 2018-01-12 -- Fixed first indices for variable-length arrays Priority: Very Low Difficulty: Medium Class: Amendment Status: Hold by Letter Ballot (9-1-1) - 18-05-07 RM References: 3.06.01 (3) AI12-0247-1/01 2018-01-18 -- Potentially Blocking goes too far for Detect_Blocking Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 18-01-29 RM References: 9.05 (55/5) 9.05 (56/5) 9.05.01 (18/5) H.05 (5/2) AI12-0248-1/03 2018-03-26 -- Null array and empty container aggregates Priority: Low Difficulty: Easy Class: Amendment Status: No Action (7-0-0) 18-10-21 RM References: 4.03.03 (2) 4.03.05 (0) AI12-0249-1/07 2019-03-19 -- User-defined numeric literals Priority: Low Difficulty: Medium Class: Amendment Status: Revision 2022 18-11-29 RM References: 4.02 (9) 4.02.01 (0) 4.09 (3) AI12-0250-1/04 2019-03-18 -- Iterator Filters Priority: Very Low Difficulty: Easy Class: Amendment Status: Revision 2022 19-03-11 RM References: 4.03.03 (21) 4.03.03 (26) 4.03.03 (31) 4.03.05 (0) 4.05.10 (0) 5.05 (4) 5.05 (7) 5.05 (9/4) 5.05 (9.1/4) 5.05 (10) 5.05.02 (2/3) 5.05.02 (10/3) 5.05.02 (11/3) AI12-0251-1/04 2019-01-25 -- Explicit chunk definition for parallel loops Priority: Low Difficulty: Medium Class: Amendment Status: Revision 2022 18-11-16 RM References: 5.05 (3/3) 5.05 (5) 5.05 (6/5) 5.05 (9/4) Alternatives: AI12-0251-2 AI12-0251-2/01 2018-03-28 -- Parallel loop chunking libraries Priority: Low Difficulty: Medium Class: Amendment Status: No Action (7-0-0) 18-10-21 RM References: 5.05.02 (2/3) 5.05.02 (5/4) 5.05.02 (7/3) Alternatives: AI12-0251-1 AI12-0252-1/02 2018-01-29 -- Duplicate interrupt handlers under Ravenscar Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 18-01-29 RM References: C.03.01 (13) AI12-0253-1/01 2018-01-26 -- Saturation arithmetic for scalar types Priority: Very Low Difficulty: Medium Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07 RM References: A.05.04 (0) AI12-0254-1/03 2018-03-06 -- Bounded_Indefinite_Holders Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 18-03-05 RM References: A.18.32 (0) AI12-0255-1/01 2018-01-26 -- Component iteration/reflection Priority: Very Low Difficulty: Hard Class: Amendment Status: No Action (8-0-3) 18-01-29 RM References: A.20 (0) AI12-0256-1/04 2018-08-31 -- Aspect No_Controlled_Parts Priority: Very Low Difficulty: Easy Class: Amendment Status: Revision 2022 18-07-06 RM References: H.04.01 (0) 13.01.01 (18.7/5) AI12-0257-1/02 2020-01-30 -- Generalize prefix views Priority: Very Low Difficulty: Medium Class: Amendment Status: Hold 15-0-0 20-07-30 RM References: 4.01.03 (9.1/2) 4.01.03 (9.2/2) AI12-0258-1/04 2018-04-26 -- Containers and controlled element types Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 18-03-05 RM References: A.18 (10/4) AI12-0259-1/02 2018-03-05 -- Lower bound of strings returned from Ada.Command_Line Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 18-03-05 RM References: A.15 (14) A.15 (16/3) AI12-0260-1/04 2018-03-06 -- Functions Is_Basic and To_Basic in Wide_Characters.Handling Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 18-03-05 RM References: 1.02 (8/3) A.03.05 (8/3) A.03.05 (20/3) A.03.05 (21/3) A.03.05 (33/3) A.03.05 (61/3) AI12-0261-1/04 2018-05-07 -- Conflict in "private with" rules Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 18-03-05 RM References: 10.01.02 (12/3) 10.01.02 (13/2) 10.01.02 (14/2) 10.01.02 (15/2) 10.01.02 (16/2) AI12-0262-1/12 2020-01-06 -- Map-Reduce attribute Priority: Medium Difficulty: Hard Class: Amendment Status: Revision 2022 19-01-15 RM References: 4.01.04 (1) 4.01.04 (6) 4.01.04 (11) 4.05.10 (0) AI12-0263-1/03 2018-08-31 -- Update references to ISO/IEC 10646 Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 18-03-08 RM References: 1.01.04 (14.2/3) 2.01 (1/3) 2.01 (3.1/3) 2.01 (4/3) 2.01 (4.1/5) 2.01 (5/3) 2.01 (15/3) 2.01 (4.1/5) 2.01 (5/3) 2.03 (4.1/5) 2.03 (5/3) 3.05.02 (2/3) 3.05.02 (3/3) 3.05.02 (4/3) A.01 (36.1/3) A.01 (36.2/3) A.03.02 (32.6/5) A.03.05 (51.2/5) A.03.05 (55/3) A.03.05 (59/3) A.04.10 (3/3) B.05 (21/5) AI12-0264-1/03 2018-04-26 -- Overshifting and overrotating Priority: Low Difficulty: Easy Class: Ramification Status: Revision 2022 18-04-05 RM References: B.02 (9) AI12-0265-1/03 2018-04-26 -- Default_Initial_Condition for types Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 18-04-04 RM References: 7.03.03 (0) 1.01.03 (17.1/5) 11.04.02 (23.2/5) 11.04.02 (23.3/5) AI12-0266-1/11 2019-01-29 -- Parallel Container Iterators Priority: Medium Difficulty: Medium Class: Amendment Status: Revision 2022 19-01-29 RM References: 5.05 (3/5) 5.05 (8.1/5) 5.05 (9.3/5) 5.05.01 (4/3) 5.05.01 (6/4) 5.05.01 (11/3) 5.05.02 (2.1/3) 5.05.02 (4/3) 5.05.02 (10/3) 5.05.02 (11/3) 5.05.02 (12/3) 5.05.02 (13/3) 5.05.02 (15/3) A.18.02 (74.1/3) A.18.02 (230.1/3) A.18.02 (230.2/3) A.18.03 (46.1/3) A.18.03 (144.1/3) A.18.03 (144.2/3) A.18.05 (37.1/3) A.18.05 (61.1/3) A.18.05 (61.2/3) A.18.06 (51.1/3) A.18.06 (94.1/3) A.18.06 (94.2/3) A.18.08 (49.1/3) A.18.08 (85.1/3) A.18.08 (85.2/3) A.18.09 (61.1/3) A.18.09 (113.1/3) A.18.09 (113.2/3) A.18.10 (44/3) A.18.10 (45/3) A.18.10 (70/3) A.18.10 (156/3) A.18.10 (157/3) A.18.10 (158/3) A.18.10 (159/3) A.18.10 (218/3) A.18.10 (219/3) AI12-0267-1/08 2019-01-25 -- Data race and non-blocking checks for parallel constructs Priority: Medium Difficulty: Hard Class: Amendment Status: Revision 2022 18-11-19 RM References: 9.05 (57/5) 9.10 (11) 9.10 (15) 9.10.01 (0) H.05 (1/2) H.05 (5/5) H.05 (6/2) AI12-0268-1/01 2018-03-29 -- Automatic instantiation for generic formal parameters Priority: Medium Difficulty: Medium Class: Amendment Status: No Action (9-0-0) 19-10-07 RM References: 5.05.02 (2/3) 5.05.02 (5/4) 5.05.02 (7/3) AI12-0269-1/04 2018-04-26 -- Aspect No_Return for functions reprise Priority: Low Difficulty: Medium Class: Amendment Status: Revision 2022 18-04-04 RM References: 6.05.01 (0) 6.05.01 (1/3) 6.05.01 (3.1/3) 6.05.01 (3.4/3) 6.05.01 (5/2) 6.05.01 (6/2) 6.05.01 (7/2) J.15.02 (2/3) J.15.02 (3/3) J.15.02 (4/3) AI12-0270-1/00 2018-04-09 -- Eliminate differences between use of values and objects Priority: Low Difficulty: Medium Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07 RM References: 3.03 (11.1/3) 3.03 (12) AI12-0271-1/00 2018-04-09 -- Specifying aspects of (anonymous) formal parameters Priority: Low Difficulty: Medium Class: Amendment Status: Hold by Letter Ballot (8-0-3) - 18-05-07 RM References: 13.01.01 (3/3) AI12-0272-1/03 2018-08-31 -- Contracts for generic formal parameters Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 18-07-11 RM References: 6.01.01 (1/5) 6.01.01 (39/5) 7.03.03 (1/5) 7.03.03 (2/5) 7.03.03 (8/5) 7.03.04 (5/5) F.01 (1) AI12-0273-1/00 2018-04-09 -- Contract matching for formal subprograms Priority: Very Low Difficulty: Medium Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07 RM References: 12.06 (8.9/5) AI12-0274-1/01 2018-05-08 -- Case pattern matching Priority: Very Low Difficulty: Hard Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07 RM References: 5.04 (4/3) AI12-0275-1/03 2018-08-31 -- Make subtype_mark optional in object renames Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 18-07-05 RM References: 8.05.01 (2/3) 8.05.01 (3/2) AI12-0276-1/03 2019-01-25 -- Admission policy defined for acquiring a protected object resource Priority: Low Difficulty: Medium Class: Amendment Status: Revision 2022 18-11-27 RM References: D.04.01 (0) 9.05.01 (19) D.01 (22/1) AI12-0277-1/03 2018-08-31 -- The meaning of "accessibility level of the body of F" Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 18-06-29 RM References: 3.10.02 (19.2/4) AI12-0278-1/02 2018-07-05 -- Implicit conversions of anonymous return types Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 18-07-05 RM References: 3.10.02 (10.3/3) AI12-0279-1/06 2020-02-03 -- Nonpreemptive dispatching needs more dispatching points Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 18-11-26 RM References: D.02.01 (1.5/2) D.02.01 (7/5) AI12-0280-1/01 2018-05-14 -- Contract_Cases aspect Priority: Low Difficulty: Easy Class: Amendment Status: No Action (10-0-0) 19-06-15 RM References: 6.01.02 (0) Alternatives: AI12-0280-2 AI12-0280-2/08 2021-01-14 -- Making 'Old more flexible Priority: Low Difficulty: Medium Class: Amendment Status: Revision 2022 19-09-07 RM References: 6.01.01 (20/3) 6.01.01 (21/3) 6.01.01 (22/3) 6.01.01 (22.1/4) 6.01.01 (22.2/5) 6.01.01 (23/3) 6.01.01 (24/3) 6.01.01 (26/4) 6.01.01 (27/5) 6.01.01 (39/5) Alternatives: AI12-0280-1 AI12-0281-1/03 2019-03-05 -- CPU Affinity for Protected Objects Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 19-02-26 RM References: D.16 (7/3) D.16 (10/3) D.16 (11/3) D.16 (14/3) J.05.09 (4/3) J.05.09 (6/3) AI12-0282-1/06 2020-04-29 -- Atomic, Volatile, and Independent generic formal types Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 19-03-11 RM References: C.06 (6.1/3) C.06 (6.3/3) C.06 (6.5/3) C.06 (6.8/3) C.06 (12/3) C.06 (12.1/3) C.06 (21/4) AI12-0283-1/03 2018-08-31 -- Nonblocking and remote calls Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 18-07-12 RM References: E.02.02 (9.3/1) E.02.03 (13/3) E.04 (8) AI12-0284-1/01 2018-06-11 -- Renaming a file to an existing file should be allowed Priority: Very Low Difficulty: Easy Class: Amendment Status: Hold 18-06-11 RM References: A.16 (12/2) A.16 (66/2) A.16 (67/3) AI12-0285-1/03 2018-08-31 -- Syntax for Stable_Properties aspects Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 18-07-06 RM References: 7.03.04 (2/5) 7.03.04 (3/5) 7.03.04 (4/5) 7.03.04 (6/5) 7.03.04 (7/5) 7.03.04 (9/5) 7.03.04 (10/5) 7.03.04 (14/5) 13.01.01 (4/5) AI12-0286-1/03 2019-01-25 -- Allows_Exit aspect should be used on language-defined subprograms Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 18-11-15 RM References: A.16 (36/2) A.16 (111/2) A.17 (8/3) A.17 (22/3) AI12-0287-1/03 2018-11-20 -- Legality Rules for null exclusions in renaming are too fierce Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 18-11-15 RM References: 8.05.01 (4.4/2) 8.05.01 (4.5/2) 8.05.01 (4.6/2) 8.05.04 (4.2/2) 12.04 (8.3/2) 12.04 (8.4/2) 12.04 (8.5/2) 12.04 (8.2/5) 12.06 (8.2/5) AI12-0288-1/01 2018-08-06 -- 'Value for all types Priority: Low Difficulty: Medium Class: Amendment Status: Hold by Letter Ballot (10-0-1) - 18-05-07 RM References: 4.10 (0) 3.05 (39.3/2) AI12-0289-1/02 2019-02-18 -- Implicitly null excluding anonymous access types and conformance Priority: Low Difficulty: Easy Class: Ramification Status: Revision 2022 18-11-19 RM References: 3.10 (26) AI12-0290-1/04 2019-02-18 -- Restriction Pure_Barriers Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 18-11-21 RM References: D.07 (2) D.07 (10.10/4) AI12-0291-1/04 2020-09-09 -- Jorvik Profile Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 18-11-26 RM References: D.13 (0) D.13 (1/3) D.13 (4/3) D.13 (6/4) D.13 (9/3) D.13 (10/3) D.13 (11/4) D.13 (12/4) AI12-0292-1/02 2018-11-13 -- Various cleanups for Ada 2020 Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 18-11-13 RM References: 3.10.02 (9.1/3) 5.05.03 (9/5) 5.05.03 (13/5) 8.05.04 (11) 9.10 (14) AI12-0293-1/03 2019-04-02 -- Add predefined FIFO_Streams packages Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 18-11-27 RM References: 13.13.01 (1) 13.13.01 (9) 13.13.01 (9.1/1) AI12-0294-1/04 2018-12-10 -- More clean-ups for Ada 2020 Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 18-11-15 RM References: 3.03 (23/3) 5.05 (8) 5.05 (9/5) 5.05 (9.1/5) 5.05.03 (20/5) 9.10.01 (8/5) D.02.01 (1.5/2) AI12-0295-1/03 2019-03-19 -- User-defined string literals Priority: Low Difficulty: Medium Class: Amendment Status: Revision 2022 18-11-29 RM References: 4.02 (6) 4.02 (10) 4.02 (11) 3.06.03 (1) 4.02.01 (0) 4.09 (26/3) AI12-0296-1/02 2019-02-22 -- User-defined character and null literals Priority: Low Difficulty: Medium Class: Amendment Status: Hold 7-0-0 18-10-23 RM References: 4.02 (3) 4.02 (5) 4.02 (9/5) 3.05.02 (1) 4.02.01 (0) AI12-0297-1/01 2018-12-06 -- Defaults for generic formal packages and formal "in out" objects Priority: Medium Difficulty: Medium Class: Amendment Status: Hold 9-0-1 19-02-26 RM References: 12.04 (6) 12.07 (2) AI12-0298-1/07 2020-12-14 -- Revise the conflict check policies to ensure compatibility Priority: Low Difficulty: Medium Class: Amendment Status: Revision 2022 19-04-09 RM References: 9.10 (10) 9.10 (17/5) 9.10.01 (3/5) 9.10.01 (5/5) 9.10.01 (8/5) 9.10.01 (10/5) 9.10.01 (11/5) 9.10.01 (12/5) 9.10.01 (13/5) 9.10.01 (14/5) AI12-0299-1/02 2019-01-14 -- The permission of D.2.1(10.1/2) allows too much Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 19-01-14 RM References: D.02.01 (10.1/2) D.02.01 (7/5) AI12-0300-1/03 2019-02-25 -- Annex G text for Fixed * integer Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 19-01-15 RM References: G.02.03 (23) AI12-0301-1/03 2019-03-04 -- Predicates should be checked like constraints for types with Default_Value Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 19-01-15 RM References: 3.02.04 (31/4) AI12-0302-1/07 2020-07-21 -- Default Global aspect for language-defined units Priority: High Difficulty: Medium Class: Amendment Status: Revision 2022 19-10-30 RM References: 3.09 (6/2) 3.09 (18.2/3) 9.06 (10) 9.06.01 (2/2) 9.06.01 (8/2) 9.06.01 (15/2) 11.04.01 (2/2) 13.07.02 (2) 13.11.02 (3/3) 13.13.01 (9) 13.13.04 (3/3) 13.13.04 (10/3) 13.13.04 (11/3) 13.13.05 (3/3) A.04.03 (5) A.04.04 (3) A.04.05 (3) A.04.07 (3) A.04.07 (46.2/2) A.04.08 (3) A.04.08 (50/2) A.04.09 (7/3) A.04.09 (10/3) A.04.09 (11.7/3) A.04.09 (11.10/3) A.04.10 (7/3) A.04.10 (10/3) A.04.10 (18/3) A.04.10 (21/3) A.05.02 (5) A.05.02 (8) A.05.02 (9) A.05.02 (12) A.05.02 (17) A.05.02 (20) A.05.02 (21) A.05.02 (24) A.05.06 (0) A.05.07 (0) A.08.01 (2) A.08.01 (10.1/4) A.08.01 (12) A.08.04 (2) A.08.04 (10.1/4) A.08.04 (12) A.08.04 (13) A.08.04 (14) A.09 (3) A.10.01 (2) A.10.01 (21/1) A.10.01 (23) A.10.01 (24) A.10.01 (25) A.10.01 (26) A.10.01 (28) A.10.01 (29) A.10.01 (30) A.10.01 (31) A.10.01 (32) A.10.01 (35) A.10.01 (36) A.10.01 (37) A.10.01 (38) A.10.01 (39) A.10.01 (41) A.10.01 (42) A.10.01 (43) A.10.01 (44) A.10.01 (45) A.10.01 (47) A.10.01 (48) A.10.01 (49) A.10.01 (54) A.10.01 (55) A.10.01 (59) A.10.01 (60) A.10.01 (65) A.10.01 (66) A.10.01 (70) A.10.01 (71) A.10.01 (75) A.10.01 (76) A.10.01 (81) A.10.01 (82) A.10.01 (49.1/2) A.10.01 (50) A.10.11 (3/2) A.10.12 (3/2) A.12.01 (3/3) A.12.01 (15) A.12.01 (16) A.12.01 (18) A.12.01 (19) A.12.01 (22) A.12.02 (3) A.12.03 (3) A.12.04 (3/2) A.15 (3) A.16 (3/2) A.16.01 (3/3) AI12-0303-1/03 2019-05-09 -- Some constants must be covered by Global aspects; extensibility Priority: Medium Difficulty: Easy Class: Amendment Status: No Action (14-0-0) 20-04-29 RM References: 6.01.02 (12/5) 6.01.02 (32/5) 6.01.02 (46/5) AI12-0304-1/03 2019-05-09 -- Image attributes of language-defined types Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 19-05-09 RM References: 4.10 (0) AI12-0305-1/01 2019-02-01 -- Bounded Big Integers Priority: Low Difficulty: Medium Class: Amendment Status: Hold 9-0-1 19-02-26 RM References: A.05.08 (0) AI12-0306-1/04 2019-04-02 -- Split null array aggregates from positional array aggregates Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 19-02-12 RM References: 4.03.03 (2) 4.03.03 (3/2) 4.03.03 (9/5) 4.03.03 (26/5) 4.03.03 (26.1/5) 4.03.03 (33/3) 4.03.03 (38) 4.03.03 (39) 4.03.03 (42) AI12-0307-1/03 2019-03-04 -- Resolution of aggregates Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 19-02-11 RM References: 4.03 (3/5) AI12-0308-1/03 2019-03-04 -- Declared entities need to be declarations Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 19-02-05 RM References: 3.01 (6/3) 3.03 (6) 3.03 (18.1/3) 3.03.01 (23/3) 5.05.03 (0) 8.01 (2.1/4) 8.01 (4.1/4) AI12-0309-1/03 2019-03-04 -- Missing checks for pragma Suppress Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 19-02-12 RM References: 11.05 (10) 11.05 (19) 11.05 (20) 11.05 (22) 11.05 (24) AI12-0310-1/03 2019-03-04 -- Specifying private parts of packages in aspect Global Priority: Low Difficulty: Easy Class: Amendment Status: No Action (14-0-0) 20-04-29 RM References: 6.01.02 (10/5) 6.01.02 (33/5) AI12-0311-1/03 2019-02-26 -- Suppressing client-side assertions for language-defined units Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 19-02-26 RM References: 11.04.02 (23.5/5) 11.05 (23) 11.05 (26) AI12-0312-1/12 2021-05-07 -- Examples for Ada 202x Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 19-10-29 RM References: 3.09.04 (32/2) 3.10.01 (23) 3.10.02 (41) 4.02.01 (0) 4.03.03 (44) 4.03.05 (0) 4.05.07 (21/3) 4.05.08 (13/3) 4.05.10 (0) 5.05 (21) 6.01.01 (42/3) 6.01.02 (0) 7.03.02 (24/3) 7.03.03 (0) 11.03 (7) 13.04 (12) 13.04 (14) B.03 (77) B.03 (79/3) B.03 (83) AI12-0313-1/06 2021-03-08 -- Introduction for Ada 2020 Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 19-04-09 RM References: AI12-0314-1/01 2019-02-15 -- Title of 13.13.1 Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 19-02-15 RM References: 13.13.01 (0) AI12-0315-1/03 2019-03-05 -- Image Attributes subclause improvements Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 19-02-14 RM References: 4.10 (0) AI12-0316-1/02 2019-02-26 -- Preconditions for checking Task_Ids Priority: Low Difficulty: Easy Class: Amendment Status: Hold 11-0-0 19-02-26 RM References: C.07.01 (4/3) D.02.06 (9/5) D.02.06 (29/2) D.05.01 (4) D.05.01 (5) D.05.01 (9) D.11 (3/5) D.11 (9) D.14 (5/2) D.14 (17/2) AI12-0317-1/09 2019-03-11 -- Simplifying the rules for newly constructed objects Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 19-02-26 RM References: 3.10.02 (16.1/5) 4.03.02 (5.1/5) 4.03.02 (5.2/5) 4.03.02 (5.3/5) 4.03.02 (5.4/5) 4.03.02 (5.5/5) 4.04 (9) 4.05.09 (6/5) 6.02 (10/5) 7.05 (2.1/5) AI12-0318-1/02 2019-02-26 -- No_IO should apply to Ada.Directories Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 19-02-26 RM References: H.04 (20/2) H.04 (24/3) AI12-0319-1/05 2021-05-06 -- Nonblocking for Unchecked_Deallocation is wrong Priority: Low Difficulty: Medium Class: Amendment Status: Revision 2022 19-03-11 RM References: 9.05 (47/5) 9.05 (68/5) 13.11 (15) 13.11 (17) 13.11 (18/4) 13.11.02 (3/5) AI12-0320-1/03 2019-03-11 -- Changes from the RM review Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 19-03-06 RM References: 4.10 (3.1/5) 4.10 (6/5) 5.05.03 (11/5) C.01 (2) C.03.02 (24/3) E.02.01 (7/4) E.02.01 (7.1/4) AI12-0321-1/04 2020-10-20 -- Support for Arithmetic Atomic Operations and Test and Set Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 19-03-11 RM References: C.06.03 (0) C.06.04 (0) AI12-0322-1/04 2019-03-11 -- Equivalence for the target name symbol Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 19-03-11 RM References: 4.09 (16) 5.02.01 (4/5) 5.02.01 (5/5) AI12-0323-1/02 2019-03-11 -- Implementation Advice for the CPU aspect for protected types Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 19-03-11 RM References: D.16 (16/5) AI12-0324-1/03 2019-04-09 -- More changes from the RM review Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 19-03-19 RM References: 3.10 (9/5) 3.10.02 (19.2/5) 4.03.04 (0) 6.04.01 (6.17/5) 7.03.03 (0) 7.03.04 (0) 8.06 (17.1/4) D.04 (1/3) AI12-0325-1/09 2019-04-09 -- Various issues with user-defined literals Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 19-04-01 RM References: 4.02 (6) 4.02 (10) 4.02 (11) 4.02.01 (0) AI12-0326-1/02 2019-04-15 -- Consequence for incorrect Allows_Exit Priority: Low Difficulty: Easy Class: Amendment Status: No Action (10-0-0) 19-06-14 RM References: 5.05.03 (17/5) 5.05.03 (21/5) Alternatives: AI12-0326-2 AI12-0326-2/04 2019-07-15 -- Bounded errors associated with procedural iterators Priority: Low Difficulty: Medium Class: Amendment Status: Revision 2022 19-07-15 RM References: 5.05 (3/5) 5.05.03 (15/5) 5.05.03 (17/5) 5.05.03 (18/5) 5.05.03 (19/5) 5.05.03 (20/5) 5.05.03 (21/5) Alternatives: AI12-0326-1 AI12-0327-1/03 2019-04-09 -- Clarify iterator filter wording for aggregates Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 19-04-09 RM References: 5.05 (6.2/6) 4.03.03 (21) 4.03.05 (0) 4.05.08 (6/4) 4.05.10 (0) AI12-0328-1/04 2019-05-09 -- Meaning of limited type and record type in 4.5.2(28.1/4) Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 19-05-09 RM References: 4.05.02 (28.1/4) 4.05.02 (4.1/4) 4.05.02 (15/3) AI12-0329-1/02 2019-04-09 -- Naming of FIFO_Streams packages Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 19-04-09 RM References: 13.13.01 (9/5) 13.13.01 (9.1/5) AI12-0330-1/07 2021-03-14 -- Add items to the Glossary Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 19-05-09 RM References: N (0) AI12-0331-1/02 2019-05-10 -- Order of finalization of a subpool Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 19-05-09 RM References: 13.11.05 (5/3) 13.11.05 (6/3) 13.11.05 (7/3) 13.11.05 (7.1/4) 13.11.05 (8/3) 13.11.05 (9/3) AI12-0332-1/02 2019-05-09 -- Implementation Permission for Default_Initial_Condition Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 19-05-09 RM References: 7.03.03 (9/5) AI12-0333-1/05 2021-06-04 -- Predicate checks on out parameters Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 19-07-03 RM References: 3.02.04 (31/5) 4.06 (51/4) 6.04.01 (14) AI12-0334-1/04 2019-06-10 -- Predicates and Global/Nonblocking Priority: Low Difficulty: Medium Class: Amendment Status: No Action (9-0-0) 19-10-07 RM References: 6.01.02 (1/5) 6.01.02 (12/5) 6.01.02 (17/5) 9.05 (65/5) Alternatives: AI12-0334-2 AI12-0334-2/04 2019-10-01 -- Predicates and Global/Nonblocking Priority: Low Difficulty: Medium Class: Amendment Status: No Action (14-0-0) 20-04-29 RM References: 6.01.02 (1/5) 6.01.02 (12/5) 6.01.02 (17/5) 9.05 (65/5) Alternatives: AI12-0334-1 AI12-0335-1/03 2019-07-02 -- Dynamic accessibility check needed for some requeue targets Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 19-07-02 RM References: 9.05.04 (7/4) AI12-0336-1/04 2019-12-02 -- Meaning of Time_Offset Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 19-07-03 RM References: 9.06.01 (6/2) 9.06.01 (35/2) 9.06.01 (40/2) 9.06.01 (41/2) 9.06.01 (42/3) 9.06.01 (90/2) 9.06.01 (91/2) AI12-0337-1/02 2019-07-03 -- Simple_Name("/") in Ada.Directories Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 19-07-03 RM References: A.16 (47/2) A.16 (74/2) A.16 (82/3) AI12-0338-1/03 2019-07-02 -- type invariant checking and incomplete types Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 19-07-02 RM References: 7.03.02 (20/5) AI12-0339-1/03 2019-07-19 -- Empty function for Container aggregates Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 19-07-16 RM References: A.18.02 (8/5) A.18.02 (12.3/5) A.18.02 (78.2/5) A.18.02 (98.6/5) A.18.03 (6/5) A.18.03 (10.2/5) A.18.03 (50.2/5) A.18.05 (3/5) A.18.05 (7.2/5) A.18.05 (37.3/5) A.18.05 (46/2) A.18.06 (4/5) A.18.06 (8.2/5) A.18.06 (51.4/5) A.18.08 (3/5) A.18.08 (8.1/5) A.18.08 (59.2/5) A.18.08 (68/2) A.18.09 (4/5) A.18.09 (9.1/5) A.18.09 (74.2/5) A.18.10 (15.2/5) A.18.18 (8.1/5) A.18.19 (6.1/5) A.18.20 (6/3) A.18.21 (6/3) A.18.22 (6/3) A.18.23 (6/3) A.18.24 (6/3) A.18.25 (8/3) AI12-0340-1/02 2019-10-29 -- Put_Image should use a Text_Buffer Priority: Medium Difficulty: Easy Class: Amendment Status: Revision 2022 19-10-29 RM References: A.04.12 (0) 4.10 (3.1/5) 4.10 (3.2/5) 4.10 (6/5) 4.10 (25.2/5) 4.10 (28/5) 4.10 (31/5) 4.10 (41/5) H.04 (23.2/5) H.04 (23.11/5) AI12-0341-1/01 2019-09-04 -- Syntax of conditional case expressions and statements Priority: Low Difficulty: Easy Class: Amendment Status: No Action (9-0-1) 19-10-05 RM References: 4.05.07 (5/3) 5.04 (2/3) AI12-0342-1/07 2021-07-14 -- Various issues with user-defined literals (part 2) Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-01-15 RM References: 4.02.01 (0) 3.09.02 (1/2) 6.03.01 (22) AI12-0343-1/03 2020-01-15 -- Return Statement Checks Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 20-01-15 RM References: 6.05 (5.12/5) 6.05 (8/4) 6.05 (8.1/3) 6.05 (21/3) AI12-0344-1/05 2020-06-19 -- Procedural iterator aspects Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-06-15 RM References: 5.05.03 (16/5) 5.05.03 (20/5) 5.05.03 (22/5) 9.10.01 (22/5) H.04 (12) AI12-0345-1/04 2021-05-27 -- Dynamic accessibility of explicitly aliased parameters Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 20-01-15 RM References: 3.10.02 (5) 3.10.02 (7/4) 3.10.02 (10.5/3) 3.10.02 (13.4/4) 3.10.02 (19.2/5) 3.10.02 (21) AI12-0346-1/02 2020-04-27 -- Ada and OpenMP Priority: Medium Difficulty: Medium Class: Amendment Status: Work Item 19-10-11 RM References: 5.05 (2/3) 5.05.02 (5/4) 5.05.02 (7/3) AI12-0347-1/04 2020-02-19 -- Presentation issues Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 20-01-29 RM References: 9.06.01 (35.1/5) 12.06 (15) C.06 (19.1/5) E.04.02 (5) AI12-0348-1/03 2020-01-28 -- Remove Combiners from Reduction Expressions Priority: Medium Difficulty: Easy Class: Amendment Status: Revision 2022 20-01-15 RM References: 4.05.10 (0) AI12-0349-1/01 2020-01-08 -- Add "parallel" to aggregate iterators Priority: Low Difficulty: Medium Class: Amendment Status: Hold 13-0-2 20-07-30 RM References: 4.03.03 (5.1/5) 4.03.05 (21/5) AI12-0350-1/02 2020-03-12 -- Swap for Indefinite_Holders Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-03-11 RM References: A.18.18 (22/5) A.18.18 (67/5) A.18.18 (73/3) A.18.32 (13/5) AI12-0351-1/02 2020-01-16 -- Matching for actuals for formal derived types Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 20-01-15 RM References: 12.05.01 (7) 12.05.01 (8) AI12-0352-1/02 2020-01-16 -- Early derivation and equality of untagged types Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 20-01-15 RM References: 4.05.02 (9.8/4) AI12-0353-1/01 2020-01-10 -- Global and Nonblocking aspects and dispatching calls Priority: Low Difficulty: Medium Class: Amendment Status: No Action (14-0-0) 20-04-29 RM References: 6.01.02 (14/5) 6.01.02 (15/5) 6.01.02 (42/5) 9.05 (49/5) AI12-0354-1/02 2020-06-16 -- Semantics of Parallel_Iterators Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-06-16 RM References: 5.05.01 (21/3) AI12-0355-1/02 2020-04-26 -- Generalized aspect specifications Priority: Medium Difficulty: Medium Class: Amendment Status: No Action (14-0-0) 20-09-09 RM References: 13.01.01 (4/5) 13.01.01 (12/5) 13.01.01 (18.7/5) 13.01.01 (36/3) Alternatives: AI12-0355-2 AI12-0355-2/02 2020-10-02 -- Aspect specifications for parallel constructs Priority: Medium Difficulty: Medium Class: Amendment Status: Revision 2022 20-09-09 RM References: 4.05.10 (3/5) 4.05.10 (21/5) 5.05 (3/5) 5.05 (9/5) 5.05.03 (27/5) 13.01.01 (37/3) Alternatives: AI12-0355-1 AI12-0356-1/02 2020-01-16 -- Root_Storage_Pool_With_Subpools should have Preelaborable_Initialization Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 20-01-15 RM References: 13.11.04 (4/3) 13.11.04 (5/3) AI12-0357-1/01 2020-01-29 -- Standard procedural iterator for parallel work-list algorithms Priority: Very Low Difficulty: Medium Class: Amendment Status: Hold 20-01-29 RM References: 5.05.04 (0) AI12-0358-1/01 2020-01-29 -- Returnable attribute Priority: Very Low Difficulty: Easy Class: Amendment Status: Hold 20-01-29 RM References: 6.05 (5.11/5) AI12-0359-1/02 2020-03-12 -- Calls to subprograms declared in shared passive units Priority: Low Difficulty: Easy Class: Ramification Status: Revision 2022 20-03-11 RM References: E.01 (5) E.02.01 (11) E.04 (1) AI12-0360-1/02 2020-04-26 -- Procedural iterators for generic procedures Priority: Low Difficulty: Medium Class: Amendment Status: Hold 15-0-0 20-07-30 RM References: 5.05.02 (2/3) 5.05.02 (5/4) 5.05.02 (7/3) AI12-0361-1/02 2020-03-12 -- Ada.Streams.Storage packages are still useful Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-03-11 RM References: 13.13.01 (10/5) 13.13.01 (11/5) AI12-0362-1/01 2020-02-05 -- Floor and other rounding attributes for fixed point types Priority: Low Difficulty: Easy Class: Amendment Status: Hold (11-0-2) - 20-06-13 RM References: A.05.04 (4) Alternatives: AI12-0362-2 AI12-0362-2/03 2020-06-19 -- Attributes for fixed point types Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-06-15 RM References: 4.01.04 (12/1) Alternatives: AI12-0362-1 AI12-0363-1/05 2020-06-15 -- Fixes for Atomic and Volatile Priority: Low Difficulty: Medium Class: Amendment Status: Revision 2022 20-06-15 RM References: 3.10.02 (26/3) 9.10 (1/5) C.06 (6.4/3) C.06 (6.10/3) C.06 (8.1/4) C.06 (12/5) C.06 (12.1/5) C.06 (13.3/5) C.06 (19.1/5) AI12-0364-1/03 2020-10-20 -- Add a modular atomic arithmetic package Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-03-11 RM References: C.06.05 (0) C.06.04 (1/5) C.06.04 (2/5) C.06.04 (3/5) C.06.04 (9/5) AI12-0365-1/01 2020-02-06 -- Easier enumeration representation value definition Priority: Low Difficulty: Medium Class: Amendment Status: Hold 20-02-06 RM References: 3.05.01 (3) 13.04 (6) AI12-0366-1/04 2020-05-05 -- Changes to Big_Integer and Big_Real Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-04-30 RM References: A.05.06 (0) A.05.07 (0) AI12-0367-1/02 2020-03-12 -- Glitches in aspect specifications Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 20-03-11 RM References: 3.05.09 (8/2) 3.05.10 (2/1) 13.01 (9.1/5) 13.14 (10) AI12-0368-1/03 2020-03-12 -- Declare expressions can be static Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-03-11 RM References: 4.09 (8) 4.09 (12.1/3) 4.09 (17) 6.01.01 (24.2/5) 6.01.01 (24.3/5) 6.01.01 (24.4/5) 6.01.01 (24.5/5) C.04 (9) AI12-0369-1/02 2020-03-12 -- Relaxing barrier restrictions Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-03-11 RM References: D.07 (1.3/5) D.07 (10.12/5) AI12-0370-1/01 2020-03-06 -- Pattern to use for specifying a precondition Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 20-03-11 RM References: A.18.03 (16.1/5) AI12-0371-1/03 2021-05-24 -- Fix-ups for aspects in generic formal parts Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-03-11 RM References: 3.10.02 (8) 6.01.01 (40/5) 12.01 (9) AI12-0372-1/04 2020-06-15 -- Static accessibility of "master of the call" Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 20-06-15 RM References: 3.10.02 (10.5/5) 3.10.02 (19.3/4) 6.04.01 (6.4/3) AI12-0373-1/06 2020-04-29 -- Bunch 'o fixes Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-03-22 RM References: 3.01 (1) 4.02 (4) 4.02 (8/2) 4.02.01 (3/5) 4.02.01 (4/5) 4.02.01 (5/5) 4.09 (17.3/5) 6.01.01 (41/5) 8.05.04 (4/3) 13.01.01 (4/3) 13.01.01 (11/3) 13.14 (3/5) AI12-0374-1/05 2020-06-05 -- Fixes for Nonblocking Priority: Medium Difficulty: Medium Class: Amendment Status: No Action (12-0-2) 20-09-09 RM References: 9.05 (24/5) 9.05 (27/5) 9.05 (34/5) 9.05 (36/5) 9.05 (47/5) 9.05 (49/5) 9.05 (65/5) 9.05 (68/5) 13.01.01 (18.1/4) Alternatives: AI12-0374-2 AI12-0374-2/06 2021-05-28 -- Fixes for Nonblocking Priority: Medium Difficulty: Medium Class: Amendment Status: Revision 2022 20-07-25 RM References: 9.05 (17/5) 4.09.01 (2/5) Alternatives: AI12-0374-1 AI12-0375-1/02 2020-04-29 -- Meaning of Global when there is no mode Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-04-29 RM References: 6.01.02 (0/5) AI12-0376-1/02 2020-04-30 -- Representation changes finally allowed for untagged derived types Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-04-30 RM References: 13.01 (10/4) AI12-0377-1/04 2020-07-07 -- View conversions and out parameters of types with Default_Value revisited Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Revision 2022 20-06-15 RM References: 6.04.01 (5.1/4) 6.04.01 (5.2/4) 6.04.01 (5.3/4) 6.04.01 (13.1/4) 6.04.01 (13.2/4) 6.04.01 (13.3/4) 6.04.01 (13.4/4) 6.04.01 (15/3) AI12-0378-1/06 2020-08-28 -- View conversions and out parameters of access types revisited Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Revision 2022 20-07-07 RM References: 6.04.01 (13/3) 6.04.01 (18/3) AI12-0379-1/03 2020-06-15 -- More Presentation issues Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 20-05-26 RM References: 4.03.04 (26/5) 4.03.04 (30/5) 4.03.05 (66/5) 4.03.05 (67/5) 4.03.05 (68/5) 4.03.05 (69/5) 4.03.05 (70/5) 4.03.05 (71/5) 4.03.05 (72/5) 4.03.05 (73/5) 4.03.05 (74/5) 4.03.05 (84/5) 4.03.05 (90/5) 4.03.05 (91/5) 4.05.10 (41/5) 4.05.10 (43/5) 5.02.01 (6/5) 5.05.03 (31/5) AI12-0380-1/07 2020-08-04 -- Fixups for Global annotations Priority: Low Difficulty: Medium Class: Amendment Status: Revision 2022 20-07-30 RM References: 4.06 (24.21/4) 6.01.02 (0) 13.01.01 (17/5) 13.01.01 (18/4) H.04 (23.2/5) H.04 (23.3/5) H.04 (23.4/5) H.07 (0) H.07.01 (0) AI12-0381-1/03 2020-06-15 -- Tag of a delta aggregate Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-06-15 RM References: 4.03.04 (14/5) AI12-0382-1/02 2020-06-15 -- Loosen type-invariant overriding requirement of AI12-0042-1 Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 20-06-15 RM References: 7.03.02 (6.1/4) AI12-0383-1/03 2020-07-08 -- Renaming values Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-06-16 RM References: 8.05.01 (1) 8.05.01 (4) 8.05.01 (4.1/2) 8.05.01 (6/2) 8.05.01 (8) AI12-0384-1/02 2020-06-10 -- Fixups for Put_Image and Text_Buffers Priority: Low Difficulty: Medium Class: Amendment Status: No Action (14-0-0) 20-10-21 RM References: 4.10 (0) Alternatives: AI12-0384-2 AI12-0384-2/03 2021-02-01 -- Fixups for Put_Image and Text_Buffers Priority: Low Difficulty: Medium Class: Amendment Status: Revision 2022 20-10-21 RM References: 4.10 (0) A.04.12 (0) Alternatives: AI12-0384-1 AI12-0385-1/02 2020-06-16 -- Predefined shifts and rotates should be static Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-06-16 RM References: 4.09 (20) AI12-0386-1/02 2020-07-30 -- Still More Presentation issues Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 20-06-19 RM References: 3.05.01 (14) 4.02.01 (19/5) 5.05.02 (28/5) A.18.32 (20/3) AI12-0387-1/01 2020-07-24 -- Private_Global aspect Priority: Low Difficulty: Medium Class: Amendment Status: Hold 13-0-0 20-09-09 RM References: 4.06 (24.21/4) 6.01.01 (0) 13.01.01 (17/5) 13.01.01 (18/4) H.04 (23.2/5) H.04 (23.3/5) H.04 (23.4/5) H.07 (0) AI12-0388-1/03 2020-09-09 -- Still More Presentation issues Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 20-08-21 RM References: 4.03.05 (0) 6.01.01 (26.10/4) 6.01.01 (29/4) 7.03.04 (0) D.04 (16) AI12-0389-1/02 2020-09-09 -- Ignoring unrecognized aspects Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-09-09 RM References: 13.01.01 (38/3) 13.12.01 (6.3/3) AI12-0390-1/03 2020-09-09 -- Conversions of anonymous access function results Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 20-09-09 RM References: 3.10.02 (10.3/5) 3.10.02 (10.4/3) AI12-0391-1/02 2020-09-10 -- List containers need Append_One Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-09-10 RM References: A.18.03 (6/5) A.18.03 (23/5) A.18.03 (50.2/5) A.18.03 (96/5) AI12-0392-1/03 2021-05-20 -- Conditional expressions containing raise expressions Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Revision 2022 20-09-09 RM References: 3.03 (15) 3.03 (16) 3.03 (17) 3.03 (18) 3.03 (18.1/3) 3.03 (19/3) 3.03 (20) 3.03 (20.1/3) 3.03 (21/3) 3.03 (21.1/3) 3.03 (22) 3.10.02 (19.1/3) 4.06 (5/2) AI12-0393-1/02 2020-09-10 -- No invalid static constants Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 20-09-10 RM References: 4.09 (24/5) AI12-0394-1/03 2020-10-29 -- Named Numbers and User-Defined Numeric Literals Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-09-10 RM References: 3.03.02 (3) 4.02.01 (4/5) 4.02.01 (8/5) 4.02.01 (12/5) 4.02.01 (13/5) 4.09 (5) AI12-0395-1/01 2020-09-03 -- Allow aspect_specifications on formal parameters Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-09-10 RM References: 6.01 (15/3) AI12-0396-1/04 2020-11-24 -- Fixups for various aspects of aspects Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Revision 2022 20-09-10 RM References: 3.02.04 (1/3) 6.01.01 (1/5) 7.03.02 (1/4) 7.03.03 (1/5) 9.05 (53/5) 11.04.02 (9/3) 11.04.02 (10.2/3) 13.01 (8/3) 13.01 (9.1/5) 13.01 (9.3/5) 13.01 (11/3) 13.01 (13/3) 13.01 (15.1/3) 13.01 (18.1/3) 13.01 (18.2/3) 13.01.01 (18.1/4) 13.01.01 (18.3/5) 13.13.02 (37.1/5) 13.14 (7.2/3) 13.14 (15.1/3) AI12-0397-1/03 2020-12-01 -- Default_Initial_Condition applied to derived type Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-09-10 RM References: 7.03.03 (3/5) 7.03.03 (6/5) 7.03.03 (8/5) AI12-0398-1/03 2020-10-21 -- Most declarations should allow aspect specifications Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-10-21 RM References: 3.07 (5/2) 6.03.01 (25) 6.05 (2.1/3) 9.05.02 (8) AI12-0399-1/04 2021-02-10 -- Aspect specification for Preelaborable_Initialization Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-10-21 RM References: 9.05 (53/5) 3.09 (6/5) 7.06 (5/2) 7.06 (7/2) 11.04.01 (2/5) 11.04.01 (3/2) 13.11 (6/2) 13.11.04 (4/5) 13.11.04 (5/5) 13.13.01 (3/2) A.04.02 (4/2) A.04.02 (20/2) A.04.05 (4/2) A.04.07 (4/2) A.04.07 (20/2) A.04.08 (4/2) A.04.08 (20/2) A.12.01 (5/4) A.18.02 (8/5) A.18.02 (9/2) A.18.02 (79.2/5) A.18.02 (79.3/5) A.18.03 (6/5) A.18.03 (7/2) A.18.03 (50.2/5) A.18.03 (50.3/5) A.18.05 (3/5) A.18.05 (4/2) A.18.05 (37.3/5) A.18.05 (37.4/5) A.18.06 (4/5) A.18.06 (5/2) A.18.06 (51.4/5) A.18.06 (51.5/5) A.18.08 (3/5) A.18.08 (4/2) A.18.08 (58.2/5) A.18.08 (58.3/5) A.18.09 (4/5) A.18.09 (5/2) A.18.09 (74.2/5) A.18.09 (74.3/5) A.18.10 (8/5) A.18.10 (9/3) A.18.10 (70.2/5) A.18.10 (70.3/5) A.18.18 (6/5) B.03.01 (5/2) C.07.01 (2/5) G.01.01 (4/2) AI12-0400-1/03 2020-10-21 -- Ambiguities associated with Vector Append and container aggregates Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 20-10-21 RM References: A.18.02 (8/5) A.18.02 (36/5) A.18.02 (37/5) A.18.02 (38/5) A.18.02 (44/5) A.18.02 (46/5) A.18.02 (47/5) A.18.02 (58/5) A.18.02 (79.2/5) A.18.02 (150/5) A.18.02 (151/5) A.18.02 (152/5) A.18.02 (153/5) A.18.02 (154/5) A.18.02 (155/5) A.18.02 (156/5) A.18.02 (168/5) A.18.02 (169/5) A.18.02 (172/5) A.18.02 (173/5) A.18.02 (174/5) A.18.02 (175.1/5) A.18.03 (23/5) A.18.03 (23.1/5) A.18.03 (58.2/5) A.18.03 (96/5) A.18.03 (97.1/5) AI12-0401-1/04 2020-12-11 -- Renaming of a qualified expression of a variable Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 20-10-21 RM References: 3.03 (23.2/3) 8.05.01 (4.7/5) 8.05.01 (5/3) AI12-0402-1/04 2020-12-15 -- Master of a function call with elementary result type Priority: Low Difficulty: Medium Class: Amendment Status: Revision 2022 20-12-11 RM References: 3.10.02 (10.2/3) AI12-0403-1/03 2020-10-21 -- Presentation issues from Draft 26 review Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 20-10-21 RM References: 4.02.01 (15/5) 4.02.01 (17/5) 4.02.01 (18/5) 4.02.01 (19/5) 4.03.05 (93/5) H.04.01 (2/5) AI12-0404-1/06 2020-12-09 -- Presentation issues from Draft 26 review - part 2 Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 20-10-21 RM References: 3.03.01 (8.1/5) 3.09.01 (14) 5.06.01 (4/5) D (1) D.01 (15) D.01 (23) D.03 (13) D.03 (13.2/2) D.03 (13.3/2) D.03 (13.4/2) D.03 (13.5/2) H.07.01 (14/5) H.07.01 (17/5) H.07.01 (18/5) AI12-0405-1/05 2021-05-20 -- Fixups for stable properties Priority: Low Difficulty: Medium Class: Amendment Status: Revision 2022 20-12-11 RM References: 6.01.02 (19/5) 7.03.04 (0) AI12-0406-1/05 2021-05-20 -- Clarifying static accessibility Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 20-12-09 RM References: 3.10.02 (3/2) 3.10.02 (18) 3.10.02 (19/3) 3.10.02 (19.1/3) 7.06.01 (3/2) AI12-0407-1/05 2021-05-22 -- Fixups from Draft 26 review - part 1 Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-11-23 RM References: 3.03 (21) 12.03 (15) 13.01 (8/5) 13.01 (8.1/3) 13.01.01 (17/5) 13.14 (7.2/5) A.05.06 (3/5) A.05.06 (15/5) A.05.07 (3/5) A.05.07 (16/5) A.18.02 (79.2/5) A.18.03 (50.2/5) A.18.05 (37.3/5) A.18.06 (51.4/5) A.18.08 (58.2/5) A.18.09 (74.2/5) H.04.01 (1/5) H.04.01 (3/5) H.04.01 (4/5) H.04.01 (5/5) AI12-0408-1/04 2020-12-15 -- Definition of "null procedure" and "expression function" Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 20-12-11 RM References: 6.01 (30/3) 6.07 (3/3) 6.07 (4/2) 6.08 (3.1/5) 6.08 (7/4) AI12-0409-1/05 2021-07-07 -- Preelaborable_Initialization aspect and bounded containers Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 20-12-11 RM References: 10.02.01 (4.1/2) 10.02.01 (4.2/2) 10.02.01 (11.1/2) 10.02.01 (11.2/2) 10.02.01 (11.6/2) 10.02.01 (11.7/2) 10.02.01 (11.8/2) 13.01 (11/3) A.18.19 (5/5) A.18.20 (5/5) A.18.21 (5/5) A.18.22 (5/5) A.18.23 (5/5) A.18.24 (5/5) A.18.25 (5/5) A.18.32 (6/5) J.15.14 (0) AI12-0410-1/02 2021-01-21 -- Storage Pool-related side effects Priority: Low Difficulty: Easy Class: Amendment Status: Hold 11-1-3 21-01-20 RM References: 9.05 (55/5) 13.11 (17.1/5) H.04 (23.2/5) H.04 (23.4/5) H.07 (4/5) H.07 (7/5) AI12-0411-1/04 2021-03-17 -- Add "bool" to Interfaces.C Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 21-01-21 RM References: B.03 (13) B.03 (43/2) B.03 (65.1/4) AI12-0412-1/06 2021-01-20 -- Abstract Pre/Post'Class on primitive of abstract type Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 21-01-20 RM References: 6.01.01 (18.2/4) AI12-0413-1/03 2020-12-17 -- Reemergence of "=" when defined to be abstract Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 20-12-11 RM References: 3.09.03 (7) 4.05.02 (14.1/3) 4.05.02 (24.1/3) 12.05 (8/3) AI12-0414-1/02 2021-02-26 -- Replace categorization pragmas with aspects Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 20-12-11 RM References: 11.04.02 (12/2) 13.07 (12/2) 13.07.01 (2/2) A.01 (4) A.02 (2) A.02 (3) A.03.01 (2) A.03.01 (4/2) A.03.01 (6/2) A.03.02 (2/2) A.03.03 (3) A.03.04 (2/2) A.03.05 (3/3) A.04.01 (3) A.04.02 (3/2) A.04.06 (3/2) A.04.09 (2/3) A.04.09 (11.2/3) A.04.10 (2/3) A.04.10 (13/3) A.04.11 (3/3) A.04.11 (15/3) A.04.11 (22/3) A.04.11 (30/3) A.04.11 (38/3) A.05 (3/2) A.13 (3) A.18.01 (3/2) A.19 (3/3) B.02 (3) B.03 (4) B.05 (4) F.02 (2) AI12-0415-1/01 2020-12-03 -- Parallel_Calls aspect for types Priority: Low Difficulty: Easy Class: Amendment Status: Hold 15-0-0 21-01-20 RM References: 9.10.01 (20/5) 9.10.01 (21/5) 9.10.01 (23/5) AI12-0416-1/06 2021-01-20 -- Fixups from Draft 26 review - part 2 Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 20-12-08 RM References: 5.05 (9/5) 6.01.02 (17/5) 6.04 (7) 6.04 (9) 6.04 (10.1/2) A.18 (2/5) A.18 (5/3) AI12-0417-1/04 2021-03-08 -- Make categorization pragmas obsolescent Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 21-01-21 RM References: 2.08 (29/3) 7.02 (4) 10.01.05 (1) 10.01.05 (2) 10.01.05 (3) 10.01.05 (4) 10.01.05 (5/1) 10.01.05 (6) 10.01.05 (7/3) 10.01.05 (7.1/1) 10.01.05 (10/1) 10.02 (15/3) 10.02 (33) 10.02.01 (1) 10.02.01 (2) 10.02.01 (3) 10.02.01 (4) 10.02.01 (10.1/3) 10.02.01 (11/3) 10.02.01 (13) 10.02.01 (14) 10.02.01 (15) 10.02.01 (17/3) 10.02.01 (19) 10.02.01 (22) 10.02.01 (24) 10.02.01 (25/3) 10.02.01 (26.1/3) 13.01 (9.2/5) 13.01.01 (32/4) C.04 (1/3) E.01 (15) E.02 (2/3) E.02 (3/3) E.02 (14) E.02.01 (2) E.02.01 (3) E.02.01 (4/3) E.02.02 (2) E.02.02 (3) E.02.02 (4/3) E.02.03 (2) E.02.03 (3) E.02.03 (4) E.02.03 (5) E.02.03 (6) E.02.03 (7/3) E.02.03 (16/3) E.02.03 (20/3) J.15 (1/3) J.15.14 (0) J.15.15 (0) AI12-0418-1/06 2021-02-26 -- Presentation issues from Draft 26 review - part 3 Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 20-12-14 RM References: 4.03.01 (17.3/5) 4.03.03 (10) 4.03.05 (56/5) 4.03.05 (57/5) 4.03.05 (76/5) 4.05.02 (3.1/4) 5.05.02 (10.2/5) 6.01.01 (3/3) 6.01.01 (5/3) 6.01.01 (7/5) 6.01.01 (8/3) 6.05 (5.1/5) 6.05 (8/4) 6.05.01 (1/5) 9.07.04 (14/4) 12.03 (11) 12.07 (4.5/3) AI12-0419-1/03 2021-01-29 -- Aspect inheritance and reemergence Priority: Low Difficulty: Medium Class: Amendment Status: Revision 2022 21-01-21 RM References: 3.02.04 (1/5) 3.02.04 (29.5/4) 3.09.02 (1/5) 4.02.01 (6/5) 4.10 (4/5) 4.10 (7/5) 4.10 (19/5) 7.03.02 (3/4) 7.03.03 (2/5) 12.05.01 (21/3) 13.01 (15.9/5) 13.01.01 (18.3/5) 13.13.02 (8.1/3) 13.13.02 (9/3) 13.13.02 (25/3) 13.13.02 (25.1/2) 13.13.02 (25.1/2) 13.13.02 (42/2) AI12-0420-1/00 2021-01-14 -- Preelaborable_Initialization and contracts Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Hold 15-0-0 21-01-20 RM References: 10.02.01 (11.3/2) AI12-0421-1/01 2021-01-19 -- Legality checks for class-wide Pre and Post Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Deleted 21-01-19 RM References: 6.01.01 (18/5) 6.01.01 (18.1/4) 6.01.01 (18.2/4) AI12-0422-1/03 2021-01-21 -- When is a constant known-on-entry? Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 21-01-21 RM References: 3.03 (13/3) 6.01.01 (22.1/5) 6.01.02 (10/5) AI12-0423-1/03 2020-01-26 -- Aspect inheritance fixups Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 21-01-21 RM References: 6.05.01 (3.3/3) 13.01 (15.7/5) 13.01 (15.8/5) AI12-0424-1/01 2021-01-21 -- Concurrency and the standard storage pool Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 21-01-21 RM References: 13.11 (17.1/5) AI12-0425-1/03 2021-03-17 -- Presentation issues from public review Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 21-03-02 RM References: 1.01.01 (14) 3.03.01 (33/2) 4.05.02 (37/5) 4.10 (37/5) 6.01.02 (0/5) 13.06 (2) J.15.08 (1/3) N (16) N (22) AI12-0426-1/06 2021-06-03 -- Presentation issues from WG 9 review Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 21-05-07 RM References: 3.05.06 (7/2) 3.05.06 (8) 3.05.10 (9) 5.06.01 (3/5) 6.05 (5.10/5) A.18.33 (24/3) P (0) AI12-0427-1/06 2021-06-03 -- Fixups from WG 9 review Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 21-05-07 RM References: 3.05 (56.4/3) 3.06 (22.2/3) 4.01.03 (13.1/5) 4.02.01 (0/5) 4.03.05 (0/5) 4.05.10 (0/5) 4.09.01 (2/3) 4.10 (0/5) 5.06.01 (0/5) 8.05 (5) 8.06 (17.1/5) 9.10.01 (26/5) 13.01 (10/5) 13.01 (13.1/3) 13.01.01 (11/5) 13.01.01 (21/3) 13.01.01 (22/3) 13.03 (6) 13.13.02 (51/3) B.03 (65.1/5) AI12-0428-1/03 2021-06-07 -- "Same declaration list" requirement too strong for private types Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 21-06-07 RM References: 4.01.06 (2/3) 4.01.06 (3/3) 5.05.01 (8/5) AI12-0429-1/02 2021-06-07 -- Examples should have consistent lead-ins Priority: Medium Difficulty: Medium Class: Presentation Status: Revision 2022 21-06-07 RM References: 3.02.04 (39/4) 4.01.05 (9/3) 4.01.06 (19/3) 4.02.01 (18/5) 4.03.04 (22/5) 4.03.04 (25/5) 4.03.04 (29/5) 4.03.05 (54/5) 4.03.05 (67/5) 4.05.07 (22/5) 4.05.07 (23/5) 4.05.08 (10/3) 4.05.08 (12/3) 4.05.09 (11/5) 4.05.10 (35/5) 4.05.10 (37/5) 4.05.10 (39/5) 4.05.10 (41/5) 4.05.10 (43/5) 4.05.10 (45/5) 4.05.10 (47/5) 4.05.10 (49/5) 5.02.01 (6/5) 5.05.02 (15/5) 5.05.02 (16/3) 5.05.03 (30/5) 5.05.03 (34/5) 5.06.01 (4/5) 5.06.01 (5/5) 6.05.01 (10/3) 6.07 (6/2) 6.08 (9/3) 7.03.02 (25/5) 8.03.01 (9/2) 8.03.01 (16/2) 10.01.02 (24/2) 10.01.02 (31/2) 10.01.03 (19) 10.01.03 (22) 12.05.05 (5/2) 12.05.05 (7/2) A.04.02 (67) A.10.08 (26/3) A.10.09 (40/1) F.03.02 (71) AI12-0430-1/02 2021-05-28 -- Example issues from WG 9 review Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 21-05-24 RM References: 3.03.01 (31/2) 3.06.01 (13) 3.08 (27) 3.08.01 (25) 4.03.05 (62/5) 4.03.05 (92/5) 4.03.05 (93/5) 9.04 (31) H.07.01 (0) AI12-0431-1/03 2021-06-07 -- Confirming predicate shouldn't change semantics Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 21-06-07 RM References: H.07 (7/5) AI12-0432-1/03 2021-06-04 -- View conversions of assignments and predicate checks Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 21-06-04 RM References: 3.02.04 (31/5) 4.06 (51.1/5) AI12-0433-1/02 2021-06-07 -- The Simple_Name of a root directory revisited Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 21-06-07 RM References: A.16 (74/5) AI12-0434-1/03 2021-06-07 -- Equality operators for container cursors Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 21-06-07 RM References: A.18.02 (87/2) A.18.03 (59/2) A.18.04 (18/2) A.18.07 (17/2) A.18.10 (76/3) AI12-0435-1/03 2021-06-07 -- Fixups from WG 9 Issue #143 - Image and streams Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 21-06-07 RM References: 4.10 (6/5) 4.10 (15/5) 4.10 (26/5) 13.13.02 (38/4) AI12-0436-1/01 2021-05-29 -- Should parallel blocks include exception handlers? Priority: Low Difficulty: Easy Class: Amendment Status: Revision 2022 21-06-04 RM References: 5.06.01 (2/5) AI12-0437-1/02 2022-02-04 -- Presentation issues in Ada 202x submission Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 22-01-07 RM References: 1.02 (10/2) 3.04.01 (3/2) 3.09 (21) 3.09.03 (8/3) 4.02.01 (7/5) 4.03.05 (7/5) 4.03.05 (8/5) 4.03.05 (9/5) 4.03.05 (22/5) 13.01.01 (18.8/5) A.18.02 (88.1/3) A.18.03 (60.1/3) A.18.03 (158/2) A.18.04 (19.1/3) A.18.04 (81/2) A.18.07 (18.1/3) A.18.07 (102/2) A.18.10 (78/3) B.03 (60.8/2) G.01.01 (56) G.01.01 (57) AI12-0438-1/02 2022-05-05 -- Rewordings to remove "must" Priority: Critical Difficulty: Medium Class: Presentation Status: Revision 2022 22-05-05 RM References: A.18.02 (237.7/5) A.18.03 (151.6/5) A.18.04 (75.7/5) A.18.07 (98.18/5) A.18.10 (218.6/5) C.07.02 (30/2) AI12-0439-1/03 2022-06-13 -- Rewordings to replace "might" or "could" with "can" or "may" Priority: Critical Difficulty: Medium Class: Presentation Status: Revision 2022 22-05-05 RM References: 3.03.01 (11.1/3) 3.03.01 (13/3) 3.03.01 (17) 3.03.01 (21/3) 3.05.07 (10) 3.07.01 (12) 3.10.02 (30) 4.06 (55) 4.06 (56/4) 5.02 (11) 5.02 (12) 6.01.02 (1/5) 6.01.02 (19/5) 6.04.01 (12) 6.05 (5.12/5) 7.03.01 (7) 7.06 (17.1/3) 8 (2/3) 9.05 (21/5) 9.05.01 (17) 9.07.02 (1/2) 9.07.03 (1/2) 10.02 (2) 10.02 (24) 11.04.02 (23.1/3) 13.11.01 (3/3) 13.11.01 (4/3) 13.11.01 (5/3) 13.13.02 (34/3) 13.14 (7.2/5) A (3/5) A.03.02 (32.6/5) A.03.05 (51.2/5) A.16 (125/3) A.18 (2.1/5) A.18.02 (237.6/5) A.18.03 (151.5/5) A.18.04 (75.5/5) A.18.07 (96.17/5) A.18.10 (218.5/5) B.04 (4) C.06 (20/5) D.02.06 (1/2) D.08 (36/3) D.10 (10.2/5) H (4) H.02 (1) H.07 (7/5) H.07.01 (13/5) AI12-0440-1/03 2022-06-13 -- Rewordings of notes to replace other words with "can" Priority: Critical Difficulty: Medium Class: Presentation Status: Revision 2022 22-05-05 RM References: 1.01.03 (22) 2.07 (6) 2.09 (3) 3.02.02 (13) 3.09.04 (19/2) 3.09.04 (27/2) 3.10.02 (37/2) 4.03.03 (33/5) 4.07 (5) 4.08 (14) 5.04 (14) 6.02 (15/4) 6.04 (31) 6.06 (7) 6.07 (7/2) 7.03.01 (10) 7.03.01 (19) 7.05 (21) 8.05.05 (5) 9 (11/5) 9.03 (12) 9.05.01 (19/5) 9.05.01 (20) 9.05.01 (23/5) 9.05.02 (29/2) 9.05.02 (30) 9.06 (33) 9.07.03 (4) 10.01.02 (32/5) 10.01.03 (22/5) 10.02 (31) 10.02 (32) 11.04.03 (1) 11.04.03 (11) 13.08 (9) 13.09.02 (12/4) 13.11 (35) 13.11 (38/3) 13.11.03 (9/3) 13.11.04 (34/3) A.03.05 (63/3) A.07 (16) A.10.05 (52) A.18.02 (263/2) B.01 (42/3) B.01 (44/3) B.03.01 (58) B.03.01 (59) B.04 (100) C.03.01 (22/3) C.06 (26/5) D.01 (29/3) D.08 (50/3) D.08 (50/3) E (7) E.02.02 (20/3) H (6) H.01 (9) H.04 (28/2) H.06 (17/2) J.10 (8/2) J.15.01 (6/3) AI12-0441-1/04 2022-05-12 -- Introductory wording changes Priority: Critical Difficulty: Medium Class: Presentation Status: Revision 2022 22-05-05 RM References: 1.01 (2/3) 1.01 (3/4) 1.01.03 (0) 1.01.03 (16) 1.02 (2) 1.02 (3/5) 1.02 (4/2) 1.02 (5) 1.02 (5.1/3) 1.02 (6/3) 1.02 (7/3) 1.02 (9/3) 1.02 (10/2) 1.02 (11/5) 1.02.01 (0) AI12-0442-1/03 2022-05-25 -- Rewordings of notes Priority: Critical Difficulty: Medium Class: Presentation Status: Revision 2022 22-05-05 RM References: 3.04 (34) 3.05 (58) 3.05.05 (12) 3.05.09 (22) 3.05.09 (24) 3.06.01 (12) 3.09 (27) 3.09.03 (16) 3.09.04 (26/2) 3.09.04 (33/2) 3.10.02 (39) 4.03.05 (85/5) 4.07 (9) 4.08 (15/3) 5.01 (18/5) 5.02.01 (8/5) 5.05 (14) 6.01.01 (43/3) 6.01.02 (44/5) 7.03 (18) 7.03 (20/2) 7.03 (20.1/2) 7.05 (9/3) 7.06.01 (24) 8.01 (18) 8.05 (4) 9.01 (21/2) 9.02 (8) 9.05.03 (29) 9.06.01 (90/5) 9.07.04 (13) 9.08 (22) 9.09 (7) 9.09 (8) 10.01.01 (27) 10.01.04 (9) 10.02 (34) 11.04.02 (28/2) 11.05 (29) 12.05.01 (5.1/4) 12.05.01 (6/3) 12.05.01 (24/2) 12.05.01 (25) 12.05.01 (26) 12.05.02 (9) 12.06 (11) 12.06 (16.1/2) 13.04 (11/5) 13.09.02 (14/2) 13.11 (26) 13.11.04 (33/3) 13.11.04 (35/3) 13.13.02 (57) A.04.03 (107/3) A.05.02 (50) A.16 (127/2) A.16 (131/2) A.16.01 (37/2) A.18.03 (164/2) B.03.01 (60) B.04 (112) C.03.01 (23/2) C.07.02 (31) C.07.02 (32) D.02.05 (18/2) D.03 (21) D.05.01 (19) E.02.02 (18) E.04.02 (12) H.05 (7/2) M (1/3) M.01 (1/2) M.02 (1/2) M.03 (1/2) AI12-0443-1/03 2022-06-01 -- Convert the glossary into a separate Terms and Definitions clause Priority: Critical Difficulty: Medium Class: Presentation Status: Revision 2022 22-05-05 RM References: 1.03 (0) N (0) AI12-0444-1/03 2022-05-05 -- Rewordings to remove "need not" Priority: Critical Difficulty: Medium Class: Presentation Status: Revision 2022 22-05-05 RM References: 1.01.05 (8) 1.01.05 (10) 2.01 (4/5) 3.05.04 (5) 3.05.04 (24) 3.05.04 (25) 3.05.04 (26) 3.05.06 (7/5) 3.05.06 (8/5) 3.05.07 (5) 3.05.07 (16) 3.06 (15) 3.09.03 (6/4) 6.01.02 (41/5) 6.03 (4) 7.04 (8/3) 7.06 (19/3) 7.06 (21/3) 9.05.03 (22) 9.05.03 (23/4) 9.05.03 (25) 9.06 (31) 9.08 (3) 9.10.01 (25/5) 10.01.03 (11) 10.02.01 (11.2/5) 11.04.02 (27/3) 11.06 (5) 12.05.01 (15) 13.01 (13/5) 13.01 (22/3) 13.01 (23/5) 13.01 (24/3) 13.01 (25/3) 13.01 (26/3) 13.01 (27/3) 13.01 (28/3) 13.02 (8/4) 13.03 (31/2) 13.03 (32/2) 13.03 (32.1/2) 13.03 (35.2/2) 13.03 (56.2/2) 13.03 (56.3/2) 13.03 (72) 13.04 (10) 13.05.01 (22) 13.11 (25.4/2) 13.12.01 (7/2) 13.13.01 (36/5) A.04.12 (1/5) A.05.01 (48) A.10 (8) A.10.08 (23) A.10.09 (36) A.10.09 (37) A.13 (16) B.01 (41/4) B.03 (62.1/3) C.03.02 (24/5) C.07.02 (28) D.02.02 (17/2) D.02.02 (18/2) D.03 (15/2) D.04 (15/2) D.04.01 (8/5) D.11 (10) D.14 (28/2) E.01 (13) E.02.03 (20/5) E.05 (27) G.01.01 (54) G.01.02 (46) G.02 (3) G.03.01 (87/2) G.03.02 (156/2) G.03.02 (157/2) H.07.01 (14/5) AI12-0445-1/05 2022-05-25 -- Rewordings of normative material Priority: Critical Difficulty: Medium Class: Presentation Status: Revision 2022 22-05-05 RM References: 3.02 (8) 3.04.01 (6/2) 3.10.02 (20) 5.05.03 (21/5) 5.05.03 (27/5) 5.05.03 (28/5) 5.05.03 (29/5) 6.01.02 (18/5) 7.06.01 (16/2) 9.06.01 (82/2) 9.08 (20/3) 10.01.01 (24) 10.01.04 (2) 11.01 (6) 11.04.02 (26/3) 12.05.01 (1/3) 13.01 (7/2) 13.03 (37/2) 13.03 (55) 13.03 (58.13/5) 13.06 (1/3) 13.06 (2/5) 13.11 (21.6/3) 13.11 (22) 13.11.02 (9/3) 13.11.03 (5.2/4) 13.11.04 (19/3) 13.13.02 (56/3) 13.13.02 (56.1/3) A.01 (51) A.04.02 (1) A.04.04 (1) A.04.05 (1) A.05.02 (29/3) A.05.02 (40.1/1) A.06 (1/2) A.10.04 (1) A.10.06 (7) A.13 (1) A.18.09 (74.2/5) A.18.09 (74.8/5) A.18.09 (74.9/5) A.18.32 (16/5) B.01 (3) B.03.02 (2) C.03 (9) D.09 (12) D.09 (13) D.15 (1/3) G (4) AI12-0446-1/02 2022-09-08 -- Additional Wording improvements Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 22-09-08 RM References: 1.01.02 (2) 1.01.02 (7) 1.01.02 (17) 6.05 (2.1/5) 9.01 (3/3) 12.05.01 (3/2) A.19 (9/3) A.19 (10/3) A.19 (11/3) A.19 (12/3) AI12-0447-1/03 2023-03-01 -- More rewordings of notes Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 22-12-14 RM References: 3.09 (29) 3.09.01 (8) 3.09.01 (9) 3.09.03 (12) 3.10.01 (13) 4.01.02 (8) 4.01.04 (17/2) 4.03.01 (21) 4.03.02 (9) 9.07.01 (22) 10.02.01 (27) 10.02.01 (28) 11.04.02 (28/5) 12.01 (12) 12.05.01 (28) 13.11.04 (33/5) A.05.02 (50/5) A.16 (131/5) C.03 (29) D.03 (20) D.05.01 (18/3) H.03.02 (9/2) H.03.02 (11) AI12-0448-1/02 2022-12-13 -- Fixes for Terms and Definitions Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 22-12-09 RM References: 10.02 (2/5) 10.02 (3) 10.02 (4) 10.02 (5) 10.02 (6/2) 10.02 (6.1/2) 10.02 (9) AI12-0449-1/03 2022-12-28 -- Appearance of cross-references Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 22-12-20 RM References: 3.02.01 (6) 3.02.01 (9) 3.03.01 (6/3) 3.03.02 (4/3) 3.05.02 (9/3) 3.05.05 (15) 3.06.02 (17) 3.07.01 (14/3) 3.11.01 (10) 4.05.10 (21/5) 4.06 (57/4) 4.07 (4/4) 5 (2/3) 5.01 (1/5) 5.02 (14/3) 5.02.01 (5/5) 5.05 (8.1/5) 5.06.01 (5/5) 6.01 (10/3) 6.05 (22/5) 7.03 (9) 9.07.01 (20/3) 9.08 (24) 10.02 (33/5) 12.03 (28) 13.10 (4) A.03.05 (64/3) A.07 (13/2) A.07 (14/3) A.08.02 (1) A.10 (1/3) A.10 (2/3) A.10.02 (1) A.10.06 (11) A.12.01 (28/4) A.18 (6/4) A.18 (7/4) B.01 (47) F (5/2) M.01 (2/2) M.02 (2/2) AI12-0450-1/01 2022-12-01 -- Update references to standards Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Revision 2022 22-12-06 RM References: 1.01.04 (14.2/5) 1.02 (4.1/3) 1.02 (8/5) 1.02.01 (5/5) 1.02.01 (6/5) 1.02.01 (8/5) 1.02.01 (9/5) 1.02.01 (10/5) 2.01 (1/5) 2.01 (3.1/5) 2.01 (4/5) 2.01 (4.1/5) 2.01 (5/5) 2.01 (15/5) 2.03 (4.1/5) 2.03 (5/5) 3.05.02 (2/5) 3.05.02 (3/5) 3.05.02 (4/5) A.01 (36.1/5) A.01 (36.2/5) A.03.02 (32.6/5) A.03.05 (33.2/5) A.03.05 (51.2/5) A.03.05 (55/5) A.03.05 (59/5) A.03.05 (61.2/5) A.03.05 (63/5) A.04.06 (8/3) A.04.10 (3/5) A.19 (12/5) B.03 (39.1/2) B.05 (21/5) F.03.03 (46) F.03.03 (47) F.03.03 (48) F.03.03 (49) F.03.03 (50) F.03.03 (51) F.03.03 (52) AI12-0451-1/03 2022-12-15 -- Still more changes to wording Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 22-12-14 RM References: 3.02 (2/2) 3.10.02 (37/5) 3.10.02 (38) 4.03.01 (19/5) 7.03.01 (5.3/5) 11.04 (8) D.08 (31) F.03.02 (19) F.03.02 (20) F.03.02 (41) F.03.02 (44) G.02.04 (11/2) G.02.04 (13) G.02.06 (6/2) G.02.06 (7/1) AI12-0452-1/01 2022-12-02 -- Notes on examples is not a thing Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 22-12-02 RM References: 3.09.03 (16/5) 4.01.01 (10) 5.02 (28) 7.03.01 (18) 7.05 (21/5) 13.03 (85) 13.05.01 (31) A.05.02 (61) E.04.02 (7) AI12-0453-1/02 2022-12-15 -- Remove "i.e." and "e.g." Priority: Low Difficulty: Easy Class: Presentation Status: Revision 2022 22-12-15 RM References: A.05.01 (35) A.05.01 (47) A.05.03 (32) A.05.03 (35) B.03.03 (17/2) C.01 (12) C.01 (13) C.01 (14) C.01 (15) C.03 (16) C.03 (20) G.02.01 (14) G.02.03 (6) G.02.03 (20) G.02.03 (21) G.02.05 (4) G.02.06 (2) G.02.06 (3) |