ACATS Test Modification List

ACATS Test Modification List
Version 2.2D
August 27, 1999

Changes from the last list:

BA15002 (a new test) was repaired to include missing with clauses in files 5 and 7, and the missing body in file 9. This repair does not change its effective date.

CA15003 (a new test) was repaired to fix two errors: a call to a non-existent subprogram, and a pair of incorrect type conversions. This repair does not change its effective date.

FXC6A00 was repaired so that NonVolatile_Tagged was actually non-volatile. This forced a repair to BXC6A02 (which was changed in ACVC 2.1 to reflect the error in the foundation), and corrections to comments in BXC6A03. This repair was forced by an incomplete correction to BXC6A03. While making that repair as intended would have been easier, it weakened the test; changing the tests to match the original intent is a better repair.

CXD6001 was repaired; the previous version was truncated.

CXE4006 was corrected to avoid a race condition when the two partitions of the test start.

CXH3001 and CXH3003 were corrected to avoid using a function of an uninitialized object as part of the pass/fail criteria. The result of operating on an uninitialized value is undefined by RM 13.9.1(9-11).

Test modified before April 1, 1999 are now required.

New tests inserted between July 1, 1999 and October 1, 1999 will become required for conformity assessments on April 1, 2000. New tests inserted between April 1, 1999 and July 1, 1999 will become required for conformity assessments on January 1, 2000. New tests added to the ACATS before April 1, 1999 will become required for conformity assessments on October 1, 1999. The effective dates of tests are marked in the lists.

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); "New" (the test does not need to be processed for Ada conformity assessments, but will be added to future baseline ACATS).

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 '@<line#,line#,...>'; 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:

<section|chapter>.<clause>[.<subclause>]:<paragraph>

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.

B455002 [Pending New] New VCS Label: A2_2B
   Required after 2000-01-01
   This test checks the rule requiring the result of a universal
   fixed multiplying operator is not universal fixed.

B830001 [Modified] VCS Label: A2_2A
Multiple source units in a single source file are dubious.

C330001 [Modified] VCS Label: A2_2A
Calls to potentially unelaborated Indef_Func_1 and Indef_Func_2
may raise Program_Error.

C332001 [Modified] VCS Label: A2_2A
Decimal types have been removed from the tests.

C455001 [Pending New] New VCS Label: A2_2B
   Required after 2000-01-01
   This test checks that universal fixed multiplying
operators can be
   given without a type conversion (as required in Ada 83), and that
   constants can be used with such operators.

C460008 [Modified] VCS Label: A2_2A
Decimal type operations have been split out into a separate test.

C460011 [Pending New] New VCS Label: A2_1E
   Required after 1999-10-01
   Checks at @193 and @199 test the wrong object. (VCS Label A2_1E)
   This test contains the decimal type operations formerly found in test
   C460008, and some additional rounding tests for decimal type conversions. (VCS Label A2_1C)

C650001 [Modified] New VCS Label: A2_2A
Call at @352 may cause conversion @337 to raise Constraint_Error
as the tag check will fail.

C910003 [Pending New] New VCS Label: A2_2A
   Required after 1999-10-01
   Check that task discriminants of an access subtype can be
   selected, indexed, and dereferenced.

CA14028 [Pending New] New VCS Label: A2_2C
   Required after 2000-04-01
   Check that a subprogram body replaces (not completes)
   a generic instantiation.

BA15002 [Pending New] New VCS Label: A2_2C
   Required after 2000-04-01
   Check that program unit pragmas cannot be given in a generic
   formal part or private part. Check that program unit pragmas which
   apply to a compilation unit must be given first in that unit or
   immediately following.

CA15003 [Pending New] New VCS Label: A2_2C
Required after 2000-04-01
Check that program unit pragmas can be given in a generic package.

CA20002 [Pending New] New VCS Label: A2_1F
   Required after 1999-10-01
   Check that a partition can be created even if multiple units with
   the same expanded name have been compiled.

CA5004B [Modified] VCS Label: A2_2A
   If an implementation obsoletes entire source files, unit Header
   may be made obsolete by the recompilation of unit CA5004B0.
    [Note: The fix is to split the first test file (CA5004B0).
   This changes the numbers of the remaining test files; scripts
   will need to be updated!]

CD10001 [Modified] VCS Label: A2_2A
Made small value for Tenths a power of two.

CD2A53A [Modified] VCS Label: A2_2A
Added applicability criteria, to allow rejection for non-support of
decimal small values. (This is allowed by 3.5.9(21)).

CD30002 [Modified] VCS Label: A2_2A
   @130 Alignment declared as Max_Word*2, but tests @178 forMultiple_Alignment.
   Multiple_Alignment may exceed maximum supported by implementation.
   Test divides by zero if Word_Size = Storage_Size (@171, 184)

CD30003 [Modified] VCS Label: A2_2A
The test will fail unless that Storage_Unit = 8.

CD30004 [Allowed Modification] New VCS Label: A2_2C
   Required after 2000-01-01 Org VCS Label: A2_2
   Subtests check 13.3(53) (which is implementation advice) and
   13.3(56) (which is untestable). These have been deleted.
   The test requires all implementations to support the recommended
   level of support, even if this is not required.
    [Pending New] New VCS Label: A2_2C
   Required after 2000-04-01
   A subtest was added to check that Size clauses confirming the
   recommended level of support are supported.

CD92001 [Modified] VCS Label: A2_2A
Test assumes arrays have same Component_Size without
justification.

CDE0001 [Modified] VCS Label: A2_2A
Instantiation of potentially unelaborated CDE0001_2 may raise
Program_Error.

CE3115A [Modified] VCS Label: A2_2A
Output to external file may be buffered.

CXAA016 [Modified] VCS Label: A2_2A
For implementations which do not support creating Text_IO files,
file deletions may fail (@93).

CXB3010 [Pending New] New VCS Label: A2_2C
   Required after 2000-04-01
   Added a test case to check that Value raises Constraint_Error if
   Length = 0. [Note: This is an enhancement of an existing test; the
   Existing test remains required for conformity assessment until
   this new test becomes effective.]

CXB3013 [Modified] VCS Label: A2_2A
The Strdup function @95 is not ANSI standard.

LA20001 [Pending New] New VCS Label: A2_1F
   Required after approximately 1999-10-01
   Check that 10.2(19) is enforced. This test was created out of the
   removed test case from B830001.

===== Annex C =====

BXC6A02 [Allowed Modification] New VCS Label: A2_2D
   Required after 2000-01-01 Org VCS Label: A2_2
   The repair of FXC6A00 required that this test be reverted to its
   original version, which is closer to the author's intent.

BXC6A03 [Allowed Modification] New VCS Label: A2_2D
   Required after 2000-01-01 Org VCS Label: A2_2
   Test comments didn't reflect the actual errors. Note that the
   repaired version of FXC6A00 is required for this test.

CXC7001 [Modified] VCS Label: A2_2A
The routine TC_Match_States is not safe on a multi-processor
implementation.

CXC7002 [Modified] VCS Label: A2_2A
The test may fail on an implementation that restricts attribute
size to the size of an access value.

CXC7003 [Modified] VCS Label: A2_2A
The test may fail on an implementation that restricts attribute
size.

FXC6A00 [Allowed Modification] New VCS Label: A2_2D
   Required after 2000-01-01 Org VCS Label: A2_2
   The NonVolatile_Tagged type inherits the volatile property from
   its parent type.

===== Annex D =====

BXD1001 [Modified] VCS Label: A2_2A
Interrupt_Priority pragmas in tasks may be rejected.

CXD1006 [Modified] New VCS Label: A2_2A
Added applicability criteria, allowing rejection of
Interrupt_Priority pragma.

CXD2004 [Modified] VCS Label: A2_2A
The Not_Applicable check for a multi-processor is missing.

CXD6001 [Modified] VCS Label: A2_2D
   Required after 2000-01-01 Org VCS Label: A2_2A
   The previous version was truncated. (VCS label A2_2D)
   The Not_Applicable check for a multi-processor is missing.
    (VCS Label A2_2A)

==== Annex E ====

BXE2011 [Allowed Modification] New VCS Label: A2_2B
Required after 1999-10-01 Org VCS Label: A2_2
The conversions @203, 206 are legal by E.2.2(15).

CXE4005 [Modified] VCS Label: A2_2A
The call @481 does not contain a classwide parameter, so it cannot
check E.4(18) as is intended.

CXE4006 [Allowed Modification] New VCS Label: A2_2D
    Required after 2000-01-01 Org VCS Label: A2_2
    If partition B runs to completion before partition A finishes
    elaboration, it is possible for Report.Result to be
    called before Report.Test.

CXE5002 Allowed Modification] New VCS Label: A2_2C
    Required after 2000-01-01 Org VCS Label: A2_2A
    An implementation must support the recompilation of the body
    of System.RPC. (VCS Label A2_2C)
    Optional partition B prints a spurious failure message. (VCS Label A2_2A)
    [Note: VCS Label A2_2A is required for conformity assessment.]

CXE5003 [Allowed Modification] New VCS Label: A2_2C
Required after 2000-01-01 Org VCS Label: A2_2
An implementation must support the recompilation of
the body of System.RPC.

LXE3001 [Modified] VCS Label: A2_2A
    Test may hang when exceptions are raised as expected.
    Test requires that Program_Error must be raised, but
    it is not required. (E.3:6)

===== Annex F =====

[None]

===== Annex G =====

CXG2014 [Modified] VCS Label: A2_2A
Subtraction_Error_Test does not contain enough terms in the Taylor
series for any possible floating point type.

CXG2016 [Allowed Modification] New VCS Label: A2_2B
    Required after 1999-10-01, Org VCS Label: A2_2
    The call to Arctan @243 is missing a comma, resulting in incorrect
    parameters.

===== Annex H =====

CXH3001 [Allowed Modification] New VCS Label: A2_2D
    Required after 2000-01-01, Org VCS Label: A2_2
    The value of A_Truth after the assignment @205 is undefined by
    13.9.1(9-11).

CXH3003 [Allowed Modification] New VCS Label: A2_2D
   Required after 2000-01-01, Org VCS Label: A2_2
   The value of A_Truth after the assignment @178 is
    undefined by 13.9.1(9-11).

LXH4014 [Modified] VCS Label: A2_2A
Corrected errors in "Special Requirements" section.

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 pebbles.ocsystems.com/~acats - but note that this is a temporary home, and may change in the future.

The complete set of official new and modified tests are available in the Mod_2_2D 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.

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 (AVF).

The baseline ACATS 2.2 is available in various formats on the ACAA web site.

Summary lists:

Withdrawn Tests

(Refer to the main list for details)

[None Currently]

Allowed Modification Tests

(Refer to the main list for details)

BXC6A02 2000-01-01
BXC6A03 2000-01-01
BXE2011 1999-10-01
CD30004 2000-01-01
CXD6001 2000-01-01
CXE4006 2000-01-01
CXE5002 2000-01-01
CXE5003 2000-01-01
CXG2016 1999-10-01
CXH3001 2000-01-01
CXH3003 2000-01-01
FXC6A00 2000-01-01

Modified Tests

(Refer to the main list for details)

B830001
BXD1001
C330001
C332001
C460008
C650001
CA5004B
CD10001
CD2A53A
CD30002
CD30003
CD92001
CDE0001
CE3115A
CXAA016
CXB3013
CXC7001
CXC7002
CXC7003
CXD1006
CXD2004
CXD6001 (VCS Label A2_2A)
CXE4005
CXE5002 (VCS Label A2_2A)
CXG2014
LXE3001
LXH4014

Pending New Tests

(Refer to the main list for details)

B455002 2000-01-01
BA15002 2000-04-01
C455001 2000-01-01
C460011 1999-10-01
C910003 1999-10-01
CA14028 2000-04-01
CA15003 2000-04-01
CA20002 1999-10-01
CD30004 2000-04-01
LA20001 1999-10-01
CXB3010 2000-04-01

New Tests

(Refer to the main list for details)

[None currently]

================