Version 1.16 of ai22s/ai22-summary.txt

Unformatted version of ai22s/ai22-summary.txt version 1.16
Other versions for file ai22s/ai22-summary.txt

This is a summary of all Ada 2022 Issues. Priority is Very Low, Low, Medium, High, or Critical; Difficulty is Easy, Medium, or Hard.
AI22-0001-1/03 2022-01-07 -- Presentation issues in Ada 202x submission
Priority: Low Difficulty: Easy Class: Presentation Status: Deleted 21-01-19 RM References: 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)
AI22-0002-1/03 2021-11-18 -- Nonoverridable aspects must be primitive
Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-01-14 RM References: 13.01.01 (18.3/5) 4.03.05 (6/5) 4.03.05 (10/5) 4.03.05 (35/5)
AI22-0003-1/03 2022-01-14 -- Vestigial rule about inheritance of user-defined literal aspects
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-01-14 RM References: 4.02.01 (14/5)
AI22-0004-1/04 2022-02-03 -- Permissions of 4.1.4 and No_Implementation_Attributes
Priority: Very Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-02-03 RM References: 13.12.01 (2/2)
AI22-0005-1/00 2021-11-11 -- Editorial comments on AARM 2022
Priority: Low Difficulty: Easy Class: Confirmation Status: Received 21-11-11 RM References: 6.06 (6)
AI22-0006-1/03 2022-01-14 -- Two-pass iteration for array aggregates
Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-01-14 RM References: 4.03.03 (20.3/5) 4.03.03 (20.4/5) 4.03.03 (32/5)
AI22-0007-1/03 2022-01-19 -- Discriminant checks for aggregates might need to be done early
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-01-19 RM References: 4.03 (6)
AI22-0008-1/03 2022-02-03 -- Nominal subtype of a delta aggregate
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-02-03 RM References: 4.03.03 (14.1/5)
AI22-0009-1/03 2022-08-19 -- Nonvolatile views of volatile objects
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Work Item 21-11-11 RM References: C.06 (12/5) C.06 (12.1/5)
AI22-0010-1/04 2022-01-14 -- Predicates on private extensions
Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-01-14 RM References: 7.03 (13)
AI22-0011-1/05 2022-01-19 -- Reduction expression issues
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-01-19 RM References: 4.05.10 (9/5) 4.05.10 (10/5) 4.05.10 (12/5) 4.05.10 (13/5) 4.05.10 (15/5) 4.05.10 (16/5) 4.05.10 (17/5) 4.05.10 (18/5) 4.05.10 (19/5) 4.05.10 (20/5) 4.05.10 (24/5) 4.05.10 (25/5) 4.05.10 (27/5) 4.05.10 (29/5)
4.05.10 (34/5)
AI22-0012-1/03 2022-01-14 -- Incompatibility for abstract type Pre'Class
Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-01-14 RM References: 6.01.01 (18.2/5)
AI22-0013-1/01 2021-11-12 -- Pragma after a final label
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: No Action 16-0-0 22-02-03 RM References: 5.01 (12.1/3) 5.06 (1) 5.06 (2) 5.06 (3) 5.06 (4) 5.06 (5) 5.06 (6) Alternatives: AI22-0013-2
AI22-0013-2/02 2022-02-03 -- Pragma after a final label
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-02-03 RM References: 5.01 (12.1/3) 2.08 (12) Alternatives: AI22-0013-1
AI22-0014-1/02 2022-02-03 -- Predicates on inherited functions
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-02-03 RM References: 3.04 (27/2)
AI22-0015-1/01 2021-11-12 -- Innermost master of the call is ambiguous
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Work Item 21-11-12 RM References: 3.09 (26.1/3) 3.10.02 (14/3) 7.06.01 (11.3/3) 7.06.01 (11.4/3)
AI22-0016-1/02 2022-02-03 -- Newly constructed objects in a declare expression
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-02-03 RM References: 4.05.09 (6/5)
AI22-0017-1/00 2021-11-12 -- Accessibility level of an object in a declare expression
Priority: Low Difficulty: Hard Class: Binding Interpretation Status: Work Item 21-11-12 RM References: 3.10.02 (7/5) 4.05.09 (7/5)
AI22-0018-1/05 2022-09-06 -- Easy fixes to Ada 2022
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-01-14 RM References: 4.03.05 (24/5) 4.03.05 (26/5) 4.03.05 (38/5) 4.03.05 (39/5) 4.09 (8.1/5) 13.01 (0.1/3)
AI22-0019-1/03 2023-06-24 -- Freezing of aspect specifications
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-06-23 RM References: 13.01.01 (13.1/5)
AI22-0020-1/02 2022-01-13 -- Order of elements in Aggregate aspect
Priority: Low Difficulty: Easy Class: Ramification Status: ARG Approved 15-0-1 22-02-03 RM References: 4.03.05 (3/5) 4.03.05 (4/5)
AI22-0021-1/04 2022-09-06 -- Aggregate aspect resolution should not be too smart
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-02-03 RM References: 4.03.05 (7/5) 4.03.05 (8/5) 4.03.05 (9/5) 4.03.05 (11/5)
AI22-0022-1/01 2022-01-17 -- Difficult example issues from WG 9 review
Priority: Low Difficulty: Easy Class: Presentation Status: Received 21-05-20 RM References: 4.03.05 (93/5) 9.02 (26) 9.02 (27) 9.05.02 (33) 9.05.02 (35) 9.05.02 (36) 9.05.02 (37) A.18.33 (3/3)
AI22-0023-1/02 2022-02-04 -- Deferred presentation issues from the WG 9 review
Priority: Low Difficulty: Easy Class: Presentation Status: Corrigendum 1 for Ada 2022 22-02-03 RM References: 1.01.02 (35) 3.08 (18/2) 7.03.02 (5/5) 9.02 (7) 10.02.01 (18/3)
AI22-0024-1/02 2022-08-30 -- Abstract prefixed views
Priority: Low Difficulty: Hard Class: Binding Interpretation Status: Work Item 22-01-20 RM References: 3.09.03 (7/5) 4.01.03 (9.2/3)
AI22-0025-1/02 2022-01-21 -- Accessibility of generalized iterators
Priority: Low Difficulty: Easy Class: Ramification Status: Work Item 22-01-20 RM References: 5.05.02 (8/3) 5.05.02 (10/5)
AI22-0026-1/01 2022-01-21 -- Problem with nested type extension check
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Work Item 22-01-21 RM References: 4.08 (10.1/3)
AI22-0027-1/04 2022-06-23 -- Primitive equality of a class-wide type
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-06-23 RM References: 3.04.01 (5) 4.05.02 (28.1/5) 12.05.01 (23.2/2) 12.06 (9.2/3)
AI22-0028-1/04 2022-06-14 -- Program_Error for unchecked union equality
Priority: Very Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-06-14 RM References: B.03.03 (22/2) B.03.03 (23/2) B.03.03 (24/2)
AI22-0029-1/04 2022-06-23 -- External_Tag collisions
Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-06-23 RM References: 13.03 (75.1/3) 13.03 (76)
AI22-0030-1/02 2022-01-26 -- Array iterators of slices
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-05-05 RM References: 5.05.02 (6.1/4)
AI22-0031-1/04 2022-09-06 -- Issues with dynamic evaluation of container aggregates
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-02-03 RM References: 4.03.05 (44/5) 4.03.05 (46/5) 4.03.05 (53/5)
AI22-0032-1/04 2022-02-04 -- Abstract and class-wide container aggregates
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-02-03 RM References: 4.03 (4/5) 4.03.05 (11/5)
AI22-0033-1/03 2022-01-26 -- If it ain't broke...
Priority: Low Difficulty: Easy Class: Confirmation Status: Received 22-01-26 RM References: 3.02.04 (21/3) 3.03 (11) 3.03 (25/3) 4.04 (7/3) 5.08 (5) 8.05.01 (6) 12.02 (2) A.10.08 (8) A.10.09 (13)
AI22-0034-1/01 2022-01-26 -- Implementation model of dynamic accessibility checking
Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: Work Item 22-01-26 RM References: 3.10.02 (22)
AI22-0035-1/03 2022-09-06 -- Add "not null" to some Ada.Strings subprograms
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-05-05 RM References: A.04.03 (109) A.04.03 (8.2/2) A.04.03 (10) A.04.03 (14) A.04.03 (20) A.04.03 (21) A.04.03 (56.1/2) A.04.03 (57) A.04.03 (63) A.04.03 (69) A.04.03 (71) A.04.04 (43.2/2) A.04.04 (45) A.04.04 (49) A.04.04 (55)
A.04.04 (56) A.04.05 (38.2/2) A.04.05 (40) A.04.05 (44) A.04.05 (50) A.04.05 (51)
Alternatives: AI22-0035-2
AI22-0035-2/01 2022-04-25 -- Add "not null" to type Character_Mapping_Function
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: No Action 13-0-0 22-05-05 RM References: A.04.02 (25) Alternatives: AI22-0035-1
AI22-0036-1/03 2022-08-19 -- Attributes in the expression of Default_Value
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Work Item 22-01-26 RM References: 3.05 (56.3/3)
AI22-0037-1/02 2022-06-23 -- Freezing of static expressions
Priority: Low Difficulty: Easy Class: Ramification Status: ARG Approved 14-0-1 22-06-23 RM References: 13.14 (7.2/5) 13.14 (8/4)
AI22-0038-1/04 2022-06-23 -- Introduction to 7.3.2
Priority: Low Difficulty: Easy Class: Presentation Status: Corrigendum 1 for Ada 2022 22-06-23 RM References: 7.03.02 (1/5)
AI22-0039-1/03 2022-06-14 -- Clarify 8.3(26/2)
Priority: Low Difficulty: Easy Class: Presentation Status: Corrigendum 1 for Ada 2022 22-06-14 RM References: 8.03 (26/2)
AI22-0040-1/02 2022-03-22 -- Finalization and Implicit Loops
Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Work Item 22-03-04 RM References: 7.06.01 (3) 4.04 (9.7) 6.06.01 (22.12) 7.06 (18) 7.06.01 (13.1)
AI22-0041-1/03 2022-06-23 -- Deferred constant subtype compatibility
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-06-23 RM References: 7.04 (6/3) 7.04 (7/2) 7.04 (7.1/2)
AI22-0042-1/02 2022-06-23 -- Freezing rule needed for dispatching expression functions
Priority: High Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-06-23 RM References: 13.14 (15.1/3)
AI22-0043-1/01 2022-06-15 -- Look through more than parens and qualified exprs to get tag fortag-indeterminat
Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Work Item 22-06-15 RM References: 3.09.02 (17/2) 3.09.02 (18/2) 3.09.02 (18.1/2) 3.09.02 (19)
AI22-0044-1/02 2022-06-23 -- Aggregate discriminants that do not satisfy predicates
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-06-23 RM References: 4.03.01 (17/5)
AI22-0045-1/02 2022-08-30 -- Issues with pragma placement
Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Work Item 22-06-16 RM References: 2.08 (6/5) 2.08 (7/3) 2.08 (7.1/3) 2.08 (7.2/3) 2.08 (12)
AI22-0046-1/02 2022-06-23 -- Statically names misses some cases
Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 1 for Ada 2022 22-06-23 RM References: 4.09 (17.3/5)
AI22-0047-1/01 2022-08-08 -- Initialization of and saving the result back in an accumulator duringreduction
Priority: Low Difficulty: Easy Class: Ramification Status: Work Item 22-08-08 RM References: 4.05.10 (24/5) 4.05.10 (25/5) 4.05.10 (28/5)

Questions? Ask the ACAA Technical Agent