Version 1.6 of ai12s/amd2xcon.txt
!comment This file contains Corrigendum conflicts for Amendment 3 (Ada 202x).
!comment Conflicts occur when multiple issues change the same
!comment paragraph of the standard.
!comment This file (and the reading of it in the program) would need to
!comment be changed for a new Corrigendum or Amendment.
!comment The paragraphs must be in sorted order!!
!corrigendum 1.2(3/2)
!AI-0058-1
!AI-0224-1
@drepl
ISO/IEC 1539-1:2004, @i<Information technology @emdash Programming languages
@emdash Fortran @emdash Part 1: Base language>.
@dby
ISO/IEC 1539-1:2018, @i<Information technology @emdash Programming languages
@emdash Fortran @emdash Part 1: Base language>.
!corrigendum 5.5.2(5/4)
!AI-0156-1
!AI-0183-1
@drepl
The subtype defined by the @fa<subtype_indication>, if any, of an array
component iterator shall statically match the component subtype of the type of
the @i<iterable_>@fa<name>. The subtype defined by the @fa<subtype_indication>,
if any, of a container element iterator shall statically match the default
element subtype for the type of the @i<iterable_>@fa<name>.
@dby
The subtype defined by the @fa<loop_parameter_subtype_indication>, if any, of a
generalized iterator shall statically match the iteration cursor subtype.
The subtype defined by the @fa<loop_parameter_subtype_indication>, if any, of an array
component iterator shall statically match the component subtype of the type of
the @i<iterable_>@fa<name>. The subtype defined by the @fa<loop_parameter_subtype_indication>,
if any, of a container element iterator shall statically match the default
element subtype for the type of the @i<iterable_>@fa<name>.
!corrigendum 13.1(9/4)
!AI-0181-1
!AI-0222-1
@drepl
A representation item that directly specifies an aspect of an entity shall
appear before the entity is frozen (see 13.14). In addition, a
representation item that directly specifies an aspect of a subtype or type
shall appear after the type is completely defined (see 3.11.1).
@dby
A representation item or operational item that directly specifies an aspect
of an entity shall appear before the entity is frozen (see 13.14).
!corrigendum 13.1(9.1/4)
!AI-0181-1
!AI-0222-1
@drepl
An operational item that directly specifies an aspect of an entity shall
appear before the entity is frozen (see 13.14).
@dby
An @fa<expression> or @fa<name> that freezes an entity shall not occur within
an @fa<aspect_specification> that specifies a representation or operational
aspect of that entity.
A representation aspect of a subtype or type shall not be specified (whether
by a representation item or an @fa<aspect_specification>) before the type is
completely defined (see 3.11.1).
!corrigendum 13.1.1(18.3/4)
!AI-0206-1
!AI-0211-1
@drepl
If a nonoverridable aspect is directly specified for a type @i<T>, then any
explicit specification of that aspect for any other descendant of @i<T>
shall be @i<confirming>; that is, the specified @fa<name> shall @i<match>
the inherited aspect, meaning that the specified @fa<name> shall denote the
same declarations as would the inherited @fa<name>.
@dby
If a nonoverridable aspect is directly specified for a type @i<T>, then any
explicit specification of that aspect for any descendant of @i<T>
(other than @i<T> itself) shall be @i<confirming>. In the case of an aspect
whose value is a @fa<name>,
this means that the specified @fa<name> shall @i<match> the inherited aspect
in the sense that it shall denote the same declarations as would the inherited
@fa<name>.
!corrigendum 13.14(3/4)
!AI-0155-1
!AI-0168-1
@drepl
The end of a @fa<declarative_part>, @fa<protected_body>, or a declaration of a
library package or generic library package, causes @i<freezing> of each entity
and profile declared within it, except for incomplete types. A @fa<proper_body>,
@fa<body_stub>, or @fa<entry_body> causes freezing of each entity and profile
declared before it within the same @fa<declarative_part> that is not an
incomplete type; it only causes freezing of an incomplete type if the body is
within the immediate scope of the incomplete type.
@dby
The end of a @fa<declarative_part>, @fa<protected_body>, or a declaration of a
library package or generic library package, causes @i<freezing> of each entity
and profile declared within it. A noninstance @fa<proper_body>,
@fa<body_stub>, or @fa<entry_body> causes freezing of each entity and profile
declared before it within the same @fa<declarative_part>.
!corrigendum D.4(7/2)
!AI-0163-1
!AI-0183-1
@drepl
Two queuing policies, FIFO_Queuing and
Priority_Queuing, are language defined. If no Queuing_Policy pragma applies
to any of the program units comprising the partition, the queuing policy
for that partition is FIFO_Queuing. The rules for this policy are specified
in 9.5.3 and 9.7.1.
@dby
Three queuing policies, FIFO_Queuing, Ordered_FIFO_Queuing, and
Priority_Queuing, are language defined. If no Queuing_Policy pragma applies
to any of the program units comprising the partition, the queuing policy
for that partition is FIFO_Queuing. The rules for the FIFO_Queuing policy are
specified in 9.5.3 and 9.7.1.
The Ordered_FIFO_Queuing policy is defined as follows:
@xbullet<Calls are selected on a given entry queue in order of arrival.>
@xbullet<When more than one condition of an @fa<entry_barrier> of a protected
object becomes True, and more than one of the respective queues is nonempty,
the call that arrived first is selected.>
@xbullet<If the expiration time of two or more open @fa<delay_alternative>s
is the same and no other @fa<accept_alternative>s are open, the
@fa<sequence_of_statements> of the @fa<delay_alternative> that is first in
textual order in the @fa<selective_accept> is executed.>
@xbullet<When more than one alternative of a @fa<selective_accept> is open
and has queued calls, the alternative whose queue has the call that arrived
first is selected.>
Questions? Ask the ACAA Technical Agent