This is a summary of all Ada 2012 Issues. Priority is Low, Medium, or High; Difficulty is Easy, Medium, or Hard. AI12-0001-1/06 2013-08-27 -- Independence and Representation clauses for atomic objects Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2015 13-07-08 RM References: 13.02 (6.1/2) 13.02 (7) 13.02 (8) 13.02 (9/3) C.06 (8.1/3) C.06 (10) C.06 (11) C.06 (21) C.06 (24) AI12-0002-1/02 2012-06-06 -- RCI units should not allow types with user-defined stream attributes Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Work Item 11-06-16 RM References: E.02.03 (11/1) E.02.03 (17) AI12-0003-1/05 2014-05-25 -- Default storage pool for storage pools Priority: Low Difficulty: Medium Class: Amendment Status: Work Item 11-06-19 RM References: 8.02 (11) 13.11.03 (3.1/3) 13.11.03 (4.1/3) 13.11.03 (4.2/3) 13.11.03 (6.2/3) AI12-0004-1/01 2011-11-08 -- Normalization and allowed characters for identifiers Priority: Low Difficulty: Medium Class: Amendment Status: Work Item 11-11-08 RM References: 2.01 (4.1/2) AI12-0005-1/00 2011-11-11 -- Editorial comments on AARM 2012 Priority: Low Difficulty: Easy Class: Confirmation Status: Received 11-11-11 RM References: 6.06 (6) AI12-0006-1/02 2011-12-14 -- Accessibility of null Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Deleted 11-11-11 RM References: 3.10.02 (13/2) AI12-0007-1/02 2011-12-30 -- Accessibility of access discriminants of a subtype Priority: Low Difficulty: Hard Class: Binding Interpretation Status: Deleted 11-11-12 RM References: 3.10.02 (12.1/2) AI12-0008-1/02 2011-12-30 -- Bad ancestor constraints for extension aggregates Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Deleted 11-11-13 RM References: 4.03.02 (8) AI12-0009-1/01 2011-11-08 -- Iterators for Directories and Environment_Variables Priority: Low Difficulty: Medium Class: Amendment Status: Work Item 11-11-08 RM References: A.16 (112/3) A.17 (23/3) AI12-0010-1/02 2011-12-30 -- Stream_IO should be preelaborated Priority: Low Difficulty: Easy Class: Amendment Status: Deleted 11-11-13 RM References: A.12.01 (3) AI12-0011-1/02 2011-12-30 -- Behavior of Random.Reset with default initialized State Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Deleted 11-11-12 RM References: A.05.02 (12) A.05.02 (35) AI12-0012-1/02 2011-11-11 -- Failure behavior of Directories.Create_Path Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Deleted 11-11-11 RM References: A.16 (61/2) AI12-0013-1/02 2011-11-11 -- More issues with the definition of volatile Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Deleted 11-11-12 RM References: C.06 (16/3) AI12-0014-1/01 2011-12-21 -- Postconditions on subprogram bodies Priority: Low Difficulty: Medium Class: Amendment Status: Work Item 11-12-21 RM References: 6.01.01 (0/3) AI12-0015-1/00 2011-12-30 -- Ada unit information Priority: Low Difficulty: Medium Class: Amendment Status: Work Item 11-12-21 RM References: A.20 (0) AI12-0016-1/02 2013-04-22 -- Implementation model of dynamic accessibility checking Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: Work Item 11-11-13 RM References: 3.10.02 (22) AI12-0017-1/01 2012-01-25 -- Compile-time-checked exception specifications Priority: Medium Difficulty: Medium Class: Amendment Status: Work Item 12-01-25 RM References: 11.04.03 (0) AI12-0018-1/01 2012-01-25 -- Entity versioning Priority: Low Difficulty: Easy Class: Amendment Status: Work Item 12-01-25 RM References: A.16 (112/3) A.17 (23/3) AI12-0019-1/01 2012-01-26 -- Generic formal record types Priority: Medium Difficulty: Medium Class: Amendment Status: Work Item 12-01-26 RM References: 12.05.06 (0) AI12-0020-1/01 2012-02-14 -- 'Image for all types Priority: Medium Difficulty: Medium Class: Amendment Status: Work Item 12-02-14 RM References: 6.01.01 (0/3) AI12-0021-1/01 2012-03-13 -- Additional internationalization of Ada Priority: High Difficulty: Hard Class: Amendment Status: Work Item 12-02-25 RM References: A.16 (0/3) AI12-0022-1/05 2013-05-08 -- Raise expressions Priority: High Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2015 12-12-17 RM References: 4.04 (3/3) 11.02 (6) 11.03 (2/2) 11.03 (3) 11.03 (3.1/2) 11.03 (4/2) 11.04.01 (10.1/3) AI12-0023-1/02 2012-12-02 -- Make Root_Stream_Type an interface Priority: Medium Difficulty: Hard Class: Amendment Status: Work Item 12-04-20 RM References: 6.01.01 (0/3) AI12-0024-1/01 2012-05-02 -- Compile-time detection of range and length errors Priority: Medium Difficulty: Medium Class: Amendment Status: Hold 12-06-15 RM References: 4.06 (30) AI12-0025-1/01 2012-05-16 -- Allow 'Unchecked_Access on subprograms Priority: Medium Difficulty: Medium Class: Amendment Status: Hold 12-06-15 RM References: 13.10 (3) AI12-0026-1/02 2012-11-30 -- Task_Safe aspect Priority: Low Difficulty: Medium Class: Amendment Status: Work Item 12-06-04 RM References: C.08 (0) AI12-0027-1/06 2013-05-08 -- Access values should never designate unaliased components Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2015 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 2015 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 2015 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 2015 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 2015 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 2015 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 2015 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 2015 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 2015 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 2015 12-12-28 RM References: A.19 (4/3) AI12-0038-1/04 2014-06-23 -- Shared_Passive package restrictions Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2015 12-12-31 RM References: E.02.01 (7/1) E.02.01 (8/1) AI12-0039-1/03 2013-05-08 -- Ambiguity in syntax for membership expression removed Priority: High Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2015 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 2015 13-01-02 RM References: 8.06 (9) AI12-0041-1/01 2012-11-29 -- Type_Invariant'Class for interface types Priority: Medium Difficulty: Easy Class: Amendment Status: Promising 11-0-0 13-11-16 RM References: 7.03.02 (3/3) AI12-0042-1/10 2014-07-22 -- Type invariant checking rules Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2015 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 2015 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 2015 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 2015 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 2015 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 2015 12-12-31 RM References: 5.05.02 (6/3) AI12-0048-1/03 2013-05-08 -- Default behavior of tasks on a multiprocessor with a specified dispatching poli Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2015 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 2015 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 2015 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 2015 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 2015 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 2015 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/05 2014-07-11 -- All properties of a usage profile are defined by pragmas Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2015 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 2015 13-01-14 RM References: 1.01 (3/3) 1.01.02 (24/3) 3.09 (12.4/3) 3.10 (22/2) 5.02 (20) 6.01 (39) 6.02 (13) A.18.25 (10/3) A.18.26 (9.2/3) AI12-0057-1/01 2013-01-22 -- Unchecked_Access for discriminant-dependent subcomponents Priority: Medium Difficulty: Easy Class: Amendment Status: Work Item 13-01-22 RM References: 13.10 (3) AI12-0058-1/02 2013-05-20 -- The Fortran Annex needs updating to support Fortran 2008 Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Work Item 13-01-22 RM References: B.05 AI12-0059-1/02 2014-06-19 -- Object_Size attribute Priority: Medium Difficulty: Medium Class: Amendment Status: Work Item 13-01-30 RM References: 13.03 (58) AI12-0060-1/00 2013-01-31 -- Overriding indicators on protected subprogram bodies Priority: Low Difficulty: Medium Class: Amendment Status: Received 12-07-01 RM References: 8.03.01 (3/2) AI12-0061-1/03 2014-05-19 -- Index parameters in array aggregates Priority: Medium Difficulty: Easy Class: Amendment Status: Work Item 13-01-31 RM References: 4.03.03 (5/2) 4.03.03 (23) 3.01 (6/3) 3.03.01 (23/3) 8.06 (4.1/3) AI12-0062-1/02 2013-07-03 -- Raise exception with failing string function Priority: Low Difficulty: Easy Class: Ramification Status: Corrigendum 2015 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: Work Item 13-01-31 RM References: 6.05.01 AI12-0064-1/02 2013-11-12 -- Nonblocking subprograms Priority: Medium Difficulty: Medium Class: Amendment Status: Work Item 13-04-22 RM References: 9.05.01 (18) AI12-0065-1/02 2013-12-17 -- Descendants of incomplete views Priority: Low Difficulty: Medium Class: Ramification Status: Corrigendum 2015 13-12-17 RM References: 7.03.01 (5.2/3) AI12-0066-1/01 2013-12-18 -- If it ain't broke... Priority: Low Difficulty: Easy Class: Confirmation Status: Received 13-03-27 RM References: 4.04 (7/3) 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 2015 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 2015 14-07-22 RM References: 3.10.02 (7/3) AI12-0069-1/02 2013-10-07 -- Inconsistency in Tree container definition Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2015 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 2015 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 2015 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 2015 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 2015 13-07-05 RM References: D.13 (6/3) AI12-0074-1/05 2014-07-23 -- View conversions and out parameters passed by copy Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 2015 14-07-23 RM References: 4.06 (56) 6.04.01 (6.25/3) 6.04.01 (13.1/3) AI12-0075-1/01 2013-06-09 -- Static expression functions Priority: Medium Difficulty: Medium Class: Amendment Status: Work Item 13-06-09 RM References: 4.09 (6) 4.09 (18) AI12-0076-1/04 2013-10-07 -- Variable state in pure packages Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: Corrigendum 2015 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 2015 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 2015 13-06-28 RM References: A.18.10 (2/3) A.18.10 (3/3) AI12-0079-1/00 2013-06-28 -- Global-in and global-out annotations Priority: High Difficulty: Hard Class: Amendment Status: Work Item 13-06-28 RM References: 7.03.02 (3/3) AI12-0080-1/07 2014-07-14 -- More presentation errors in Ada 2012 Priority: Low Difficulty: Easy Class: Presentation Status: Corrigendum 2015 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 2015 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 2015 13-12-07 RM References: D.16.01 (16/3) D.16.01 (22/3) D.16.01 (25/3) D.16.01 (27/3) D.16.01 (29/3) AI12-0083-1/01 2013-10-24 -- Automatic creation of constructor functions Priority: Medium Difficulty: Hard Class: Amendment Status: Hold 13-11-17 (8-0-0) RM References: 3.09.03 (6/2) AI12-0084-1/01 2013-10-28 -- Box expressions in array aggregates Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2015 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 2015 13-12-11 RM References: E.02.02 (17/2) AI12-0086-1/01 2013-10-30 -- Aggregates and variant parts Priority: Medium Difficulty: Easy Class: Amendment Status: Work Item 13-10-30 RM References: 4.03.01 (17/3) 4.03.01 (19/3) AI12-0087-1/01 2013-10-31 -- Reading the default value of a subtype Priority: Low Difficulty: Easy Class: Amendment Status: Work Item 13-10-31 RM References: 3.05 (27) AI12-0088-1/03 2013-12-06 -- UTF_Encoding.Conversions and overlong characters on input Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2015 13-12-06 RM References: A.04.11 (54/3) A.04.11 (55/3) AI12-0089-1/03 2014-05-08 -- Accessibility rules need to take into account that a generic function is not a Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2015 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/02 2014-05-30 -- Pre- and Postconditions and requeues Priority: High Difficulty: Hard Class: Binding Interpretation Status: Work Item 13-10-31 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: Work Item 13-10-31 RM References: A.05.01 (5) AI12-0092-1/00 2013-11-01 -- Soft errors Priority: Low Difficulty: Medium Class: Amendment Status: Received 13-08-29 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 2015 13-12-11 RM References: 5.05.02 (8/3) 5.05.02 (10/3) AI12-0094-1/00 2013-11-12 -- access_to_subprogram_definition should be a declarative region Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Work Item 13-11-12 RM References: 8.03 (26/3) AI12-0095-1/02 2014-07-24 -- Generic bodies assume-the-worst whether formal type have constrained partial vi Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2015 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/01 2014-02-12 -- The exception raised by a subtype conversion with a failed predicate check Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2015 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 2015 14-07-15 RM References: 6.05 (8/3) AI12-0098-1/01 2014-07-14 -- Problematic examples for ATC Priority: Low Difficulty: Medium Class: Ramification Status: Corrigendum 2015 14-07-14 RM References: 9.07.04 (13) AI12-0099-1/02 2014-07-23 -- Wording problems with predicates Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2015 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 2015 14-07-14 RM References: 4.07 (4) AI12-0101-1/02 2014-07-14 -- Incompatibility of hidden untagged record equality Priority: Medium Difficulty: Medium Class: Binding Interpretation Status: Corrigendum 2015 14-07-14 RM References: 4.05.02 (9.8/3) AI12-0102-1/01 2014-05-12 -- Stream_IO.File_Type has Preelaborable_Initialization Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2015 14-07-11 RM References: A.12.01 (5) AI12-0103-1/02 2014-07-30 -- Expression functions that are completions in package specifications Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Work Item 14-05-12 RM References: 13.14 (3/3) AI12-0104-1/01 2014-05-13 -- Overriding an aspect Priority: Low Difficulty: Easy Class: Presentation Status: Corrigendum 2015 14-07-23 RM References: 4.01.06 (4/3) 4.01.06 (17/3) AI12-0105-1/02 2014-07-23 -- Pre is not allowed on any subprogram completion Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2015 14-07-23 RM References: 13.01.01 (18/3) AI12-0106-1/01 2014-05-14 -- Write'Class aspect Priority: Medium Difficulty: Easy Class: Binding Interpretation Status: Work Item 14-05-14 RM References: 13.13.02 (38/3) AI12-0107-1/02 2014-07-23 -- Is an access to a By_Protected_Procedure interface procedure a protected access Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2015 14-07-23 RM References: 6.03.01 (10.1/2) 6.03.01 (12) 6.03.01 (13) AI12-0108-1/01 2014-05-14 -- Out-of-range static constants Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Work Item 14-05-14 RM References: 4.09 (24) AI12-0109-1/01 2014-05-15 -- Representation of untagged derived types Priority: Low Difficulty: Medium Class: Binding Interpretation Status: Work Item 14-05-15 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 2015 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/01 2014-05-15 -- Tampering considered too expensive Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: Work Item 14-05-15 RM References: A.18.02 (97.1/3) AI12-0112-1/01 2014-05-15 -- Preconditions for container operations Priority: Medium Difficulty: Hard Class: Amendment Status: Work Item 14-05-15 RM References: A.18.02 (99/3) AI12-0113-1/01 2014-05-15 -- Class-wide preconditions and statically bound calls Priority: Medium Difficulty: Hard Class: Binding Interpretation Status: Work Item 14-05-15 RM References: 6.01.01 (39/3) 7.03.02 (23/3) AI12-0114-1/02 2014-07-15 -- Overlapping objects designated by access parameters are not thread-safe Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2015 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: Work Item 14-06-19 RM References: 13.03 (58/3) AI12-0116-1/02 2014-07-11 -- Private types and predicates Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2015 14-07-11 RM References: 13.01 (9/3) 13.01 (9.1/3) AI12-0117-1/02 2014-07-14 -- Restriction No_Tasks_Unassigned_To_CPU Priority: Low Difficulty: Easy Class: Amendment Status: Promising 9-0-0 14-06-28 RM References: D.07 (10.8/3) AI12-0118-1/00 2014-06-20 -- Extended precision in static expressions Priority: Low Difficulty: Medium Class: Amendment Status: Work Item 14-06-20 RM References: 4.09 (38/2) AI12-0119-1/00 2014-06-20 -- Parallel operations Priority: Medium Difficulty: Hard Class: Amendment Status: Work Item 14-06-20 RM References: 5.05.02 (2/3) AI12-0120-1/03 2014-07-14 -- Legality and exceptions of generalized loop iteration Priority: Low Difficulty: Easy Class: Binding Interpretation Status: Corrigendum 2015 14-07-14 RM References: 5.05.02 (6.1/4) 5.05.02 (10/3) 5.05.02 (13/3)