ACATS Test Modification List
Version 2.4C
June 29, 2001
Changes from the last list:
Test B371001 (three files) was modified to have the correct "ERROR:" comment
format. This is a pending new test, so its required date was adjusted
accordingly.
Test B851001 (three files) is a pending new test, which checks a corrigendum
rule that renames of discriminant-dependent components are rechecked in
instances, and are illegal in bodies if the type is descended from a indefinite
untagged formal derived type.
Test B392011 is a pending new test, which checks a corrigendum rule that if the
expected type for an expression is an anonymous access-to-specific tagged type,
then the object designated by the expression shall not be dynamically tagged
unless it is a controlling operand in a call on a dispatching operation.
Test C460012 is a pending new test, which checks a corrigendum rule that the
view created by a view conversion is constrained if the target subtype is
indefinite.
Tests C490001 and C490002 were modified to remove the requirement of rounding
away from zero. This requirement was dropped by (pending) AI-268, and thus the
tests must not insist on it.
Tests C52011A, C52011B, C58005H, C86003A, C93005F, and C94001E were modified to
eliminate violations of 11.6. An aggressive compiler could eliminate assignments
and checks, thus causing the tests to call Report.Failed.
Test C760013 is a pending new test, checking a corrigendum rule that Initialize
is not called for default- initialized subcomponents of the ancestor type of an
extension aggregate.
Test CDD2001 is a pending new test, checking a corrigendum rule that the default
'Read and 'Input raise End_Error at the end of stream.
New tests inserted between April 1, 2001 and July 1, 2001 will become required
for conformity assessments on January 1, 2002. New tests inserted between
January 1, 2001 and April 1, 2001 will become required for conformity
assessments on October 1, 2001. New tests inserted between October 1, 2000 and
January 1, 2001 will become required for conformity assessments on July 1, 2001.
New tests added to the ACATS before October 1, 2000 are now required for
conformity assessments (and are included in ACATS 2.4). The effective dates of
tests are marked in the lists.
Questions about this document? Contact the ACAA Technical Agent at
agent@ada-auth.org.
List explanation:
Test numbers given are for the basic test. Categories are "Withdrawn" (the test
should not be processed for Ada conformity assessments); "Allowed Modification"
(either the original test or the modified one should be processed for Ada
conformity assessments); "Modified" (the modified test must be processed for Ada
conformity assessments); "Pending New" (the test does not need to be processed
for Ada conformity assessments, but will be added in the future); "New" (the
test is processed for Ada conformity assessments).
ACATS version labels are provided with all new and modified tests. Use this
label to retrieve the test from the ACATS VCS. See "How to get new and modified
tests".
In citations, line numbers are given relative to the start of a test file in the
format of '@'; if a test program comprises more than one file,
then the particular file will be indicated by "fn", where "n" is the
test-program name's file-designator numeral. E.g., "B38103E : @f1-31, ... "
denotes test file b38103e1.ada. In cases where there are two or more rationales
for different errors in a test program, these different rationales with their
respective line citations are listed on separate lines. References to the Ada
83 & Ada 95 standards are given in the format:
.[.]:
These references are to the Ada 95 standard unless "Ada83" is specified.
Main list:
===== Core Language =====
Name Category Version label (effective date; old version label)
Short description.
B371001 [Pending New] New VCS Label: A2_4C
Required after 2002-01-01
[A2_4A] Check that a discriminant_constraint of a general access
type is illegal if there is a place within the immediate scope of
the designated subtype where the designated subtype's view is
unconstrained.
[A2_4C] Corrected the "ERROR:" comment format.
B392011 [Pending New] New VCS Label: A2_4C
Required after 2002-01-01
Check that if the expected type for an expression is an anonymous
access-to-specific tagged type, then the object designated by the
expression shall not be dynamically tagged unless it is a
controlling operand in a call on a dispatching operation. Test
new cases, that is X'Access (where X is of a class-wide type) and
new T'Class'(...). (Technical Corrigendum 3.9.2(9/1)).
C392013 [Pending New] New VCS Label: A2_4B
Required after 2002-01-01
[A2_4A] Check that "/=" implicitly declared for tagged types is
legal and can be used in a dispatching call.
[A2_4B] Corrected result for 9 = 9 case.
C392014 [Pending New] New VCS Label: A2_4A
Required after 2001-10-01
Check that objects designated by X'Access (where X is of a
class-wide type) and new T'Class'(...) are dynamically tagged and
can be used in dispatching calls.
C3A0015 [Pending New] New VCS Label: A2_4C
Required after 2002-01-01
Check that a derived access type has the same storage pool as its
parent. (Technical Corrigendum 3.10(7/1)).
B460005 [Pending New] New VCS Label: A2_4A
Required after 2001-10-01
Check that in a view conversion of arrays, the target and operand
components may not have different aliasing.
C460012 [Pending New] New VCS Label: A2_4C
Required after 2002-01-01
Check that the view created by a view conversion is constrained if
the target subtype is indefinite. (Technical Corrigendum
4.6(54/1)).
C490001 [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
Required after 2001-10-01
Removed requirement to round away from zero, as this conflicts
with AI-268.
C490002 [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
Required after 2001-10-01
Removed requirement to round away from zero, as this conflicts
with AI-268.
C52011A [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
Required after 2001-10-01
The assignments and checks @114 and 129 could be eliminated by
11.6 permissions.
C52011B [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
Required after 2001-10-01
The assignments and checks @124 and 139 could be eliminated by
11.6 permissions.
C58005H [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
Required after 2001-10-01
The assignments and checks @117, 126, 135, and 144 could be
eliminated by 11.6 permissions.
C761006 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
Required after 2001-07-01
Call to Good Adjust @291 need not be made (by change in Technical
Corrigendum).
C760013 [Pending New] New VCS Label: A2_4C
Required after 2002-01-01
Check that Initialize is not called for default-initialized
Subcomponents of the ancestor type of an extension aggregate.
C761011 [Pending New] New VCS Label: A2_4A
Required after 2001-10-01
Check that the failure of a finalization of an object (in various
cases) does not prevent other needed finalizations from occurring.
B851001 [Pending New] New VCS Label: A2_4C
Required after 2002-01-01
Check that the restrictions on renaming components that depend on
a discriminant are enforced in the public and private parts of an
instance. Check that the restrictions on renaming components that
depend on a discriminant are enforced in the body of a generic
unit. Include the decendant of an untagged generic formal derived
type case. (Technical Corrigendum 8.5.1(5/1)).
C86003A [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
Required after 2001-10-01
The assignment and check @76 could be eliminated by 11.6
permissions.
C93005F [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
Required after 2001-10-01
The assignment and check @228 could be eliminated by 11.6
permissions.
C94001E [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
Required after 2001-10-01
The assignment and check @58 could be eliminated by 11.6
permissions.
CDB0A02 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
Required after 2001-07-01
Requirements on the maximum size of 'Max_Size_in_Storage_Elements
are not justified by 13.11.1:3.
CDD1001 [Pending New] New VCS Label: A2_4A
Required after 2001-10-01
Check that components of Stream_Element_Array are aliased.
Corrigendum 13.13.1(4/1).
CDD2001 [Pending New] New VCS Label: A2_4A
Required after 2002-01-01
Check that the default implementation of Read and Input raise
End_Error if the end of stream is reached before the reading of
a value is completed. Corrigendum 13.13.2(35.1/1).
CE2120A [Withdrawn] Org VCS Label: A2_4
A.8.2(22) is Implementation Advice, not a requirement.
CE2120B [Withdrawn] Org VCS Label: A2_4
A.8.2(22) is Implementation Advice, not a requirement.
CE3119A [Withdrawn] Org VCS Label: A2_4
A.8.2(22) is Implementation Advice, not a requirement.
CXA4005 [Pending New] New VCS Label: A2_4A
Required after 2001-10-01
Added checks that the lower bound of function results is 1.
[Note: This is an enhancement of an existing test; the
existing test remains required for conformity assessment until
this new test becomes effective.]
CXA4016 [Pending New] New VCS Label: A2_4A
Required after 2001-10-01
Added checks that the lower bound of function results is 1.
[Note: This is an enhancement of an existing test; the
existing test remains required for conformity assessment until
this new test becomes effective.]
CXA4034 [Pending New] New VCS Label: A2_4A
Required after 2001-10-01
Check that Ada.Strings.Bounded.Slice and
Ada.Strings.Wide_Bounded.Slice raise Index_Error as needed.
CXA5011 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
Required after 2001-07-01
Conversions @361 and @408 may raise Constraint_Error if Integer is
16-bits in size.
CXAA019 [Pending New] New VCS Label: A2_4A
Required after 2001-10-01
Check that the parameter mode of Ada.Text_IO.Flush and
Ada.Streams.Stream_IO.Flush is 'in'.
CXAC002 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
Required after 2001-07-01
The Not_Applicable case @276 should raise Incomplete.
CXAC003 [Pending New] New VCS Label: A2_4A
Required after 2001-10-01
Added a check that Stream raises Status_Error if its argument
is not open.
[Note: This is an enhancement of an existing test; the
existing test remains required for conformity assessment until
this new test becomes effective.]
CXAC005 [Pending New] New VCS Label: A2_4A
Required after 2001-10-01
Check that operations of Stream_IO update the index properly.
CXB3010 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
Required after 2001-07-01
Assignment @287 might raise Constraint_Error, obscuring the
subtest objective.
MACRO.DFS [Allowed Modification] New VCS Label: A2_4B Org VCS Label:
A2_4
Required after 2001-10-01
Substitutions for withdrawn tests were removed.
===== Annex C =====
[None]
===== Annex D =====
[None]
===== Annex E =====
CXE4002 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
Required after 2001-07-01
A race condition at start time might cause the test to fail
unnecessarily.
CXE4004 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
Required after 2001-07-01
A race condition at start time might cause the test to fail
unnecessarily.
CXE4005 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
Required after 2001-07-01
A race condition at start time might cause the test to fail
unnecessarily.
===== Annex F =====
[None]
===== Annex G =====
CXG2008 [Pending New] New VCS Label: A2_4A
Required after 2001-10-01
Added checks that the non-generic packages are declared Pure.
[Note: This is an enhancement of an existing test; the
existing test remains required for conformity assessment until
this new test becomes effective.]
===== Annex H =====
[None]
How to get new and modified tests:
The official home of the ACATS test suite is the ACAA web site. The site can be
accessed from the Compilers and Conformance section of the Ada IC web site
(www.adaic.org). It also can be accessed directly at www.ada-auth.org.
The complete set of official new and modified tests are available in the
Mod_2_4C Zip and Tar files on the ACAA web site.
Individual new and modified tests can be retrieved from the ACATS VCS. Simply
navigate to the appropriate directory (folder), and select the test you want.
Select the revision you want (usually the most recent) and it will be retrieved
for you. Tests are stored in directories that correspond to the test's prefix.
For instance, the test CD92001.A will be found in the CD directory. You can also
browse the differences between versions of a test. [In case of a conflict, the
files in the ACATS VCS should be considered the 'official' versions.]
If you cannot get the files from the official site or you cannot get the files
in a format appropriate for your processor, please contact your ACAL.
The baseline ACATS 2.4 is available in various formats on the ACAA web site.
Summary lists:
Withdrawn Tests
(Refer to the main list for details)
CE2120A
CE2120B
CE3119A
Allowed Modification Tests
(Refer to the main list for details)
C490001 2001-10-01
C490002 2001-10-01
C52011A 2001-10-01
C52011B 2001-10-01
C58005H 2001-10-01
C761006 2001-07-01
C86003A 2001-10-01
C93005F 2001-10-01
C94001E 2001-10-01
CDB0A02 2001-07-01
CXA5011 2001-07-01
CXAC002 2001-07-01
CXB3010 2001-07-01
CXE4002 2001-07-01
CXE4004 2001-07-01
CXE4005 2001-07-01
MACRO.DFS 2001-10-01
Modified Tests
(Refer to the main list for details)
[None.]
New Tests
(Refer to the main list for details)
[None.]
Pending New Tests
(Refer to the main list for details)
B371001 2002-01-01
B392011 2002-01-01
B460005 2001-10-01
B851001 2002-01-01
C392013 2002-01-01
C392014 2001-10-01
C3A0015 2002-01-01
C460012 2002-01-01
C760013 2002-01-01
C761011 2001-10-01
CDD1001 2001-10-01
CDD2001 2002-01-01
CXA4005 2001-10-01
CXA4016 2001-10-01
CXA4034 2001-10-01
CXAA019 2001-10-01
CXAC003 2001-10-01
CXAC005 2001-10-01
CXG2008 2001-10-01