AdaIC Ada Information Clearinghouse |
Compilers ^ Conformance Testing & Evaluation^ ACATS Test Modification List V 2.1C |
ACATS Test Modification List Changes from the last list: Test BXD1001.A has been modified to allow an implementation to reject the use of Interrupt_Priority pragmas in tasks. Since the permission D.2.1(10) allows arbitrary restrictions on tasks running at Interrupt_Priority, it is acceptable to reject these pragmas. Test C330001.A has been modified to add Elaborate pragmas. These prevent a legal (but unusual) elaboration order from being selected, and causing Program_Error to be raised. Test C332001.A has been modified to eliminate decimal types. Decimal types are optional by 3.5.9(21); since the test objective has nothing to do with decimal types, their presence only makes the test inapplicable to some implementations. Test C460008.A has been modified to remove decimal types. The decimal type operations have been moved to a new test. Decimal types are optional by 3.5.9(21); since the test objective has nothing to do with decimal types, their presence only makes the test inapplicable to some implementations. Test CD10001.A has been modified to use a small value for Tenths which is a power of two. This was the original intent of the test, but a repair changed it. Since implementations need not support smalls other than a power of two (3.5.9(21)), the small value unnecessarily restricted the applicability of the test. Test CD2A53A.Ada has been modified to add appropriate applicability criteria. This test is not applicable to implementation not validating Annex C or that dont support decimal small values - but the latter reason was not mentioned in the test. (It was an Ada 83 test, and the "binary only" permission was not in the language.) Test CDE0001.A also has been modified to add an Elaborate pragma. This prevents a legal (but unusual) elaboration order from being selected, and causing Program_Error to be raised. Test CXC7001.A was modified to fix its checking code to be tolerate of a multi-processor implementation. On a multi-processor, the checking code and the tested tasks may run in parallel, changing task states while they are being checked. Test CXD1006.A was modified to add Applicability Criteria. An implementation can reject the Interrupt_Priority pragma if D.2.1(10) is used to not allow tasks at interrupt priorities. Test CXD2004.A was modified to add a Not_Applicable call for multi-processor implementations. It was not intended that this test would be applicable to such implementations. Test CXD6001.A was modified to add a Not_Applicable call for multi-processor implementations. The test objective only applies to single processor implementations. Test EA3004Gx.Ada has been withdrawn. The test encouraged the worst possible implementation for pragma Inline by accusing implementations that supported automatic recompilations of not supporting Inline! This is of no possible value. Indeed, the contractor for the ACVC 2.2 tests noted this and removed it from that version of the test suite. ACATS 2.1 should be consistent with that. Test C460011.A is a new test. It contains the decimal type subtests previously found in C460008, and some additional rounding tests for decimal type to integer type conversions. A reminder that ACVC 2.2 will be used as a new baseline suite, and some of the tests in that suite would meet the requirements for new tests. That baseline will be effective April 5, 1999. 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. B37312B [Withdrawn] B392002 [Allowed Modification] New VCS Label: A2_1A B393006 [Modified] VCS Label: A2_1A B490001 [Allowed Modification] New VCS Label: A2_1A B610001 [Modified] VCS Label: A2_1A B83E01C [Allowed Modification] New VCS Label: A2_1A B83E01D [Allowed Modification] New VCS Label: A2_1A B83E01E [Allowed Modification] New VCS Label: A2_1A BA21003 [Allowed Modification] New VCS Label: A2_1A BC3503A [Modified] VCS Label: A2_1A BC3503C [Modified] VCS Label: A2_1A BC51C02 [Modified] VCS Label: A2_1A BDE0001 [Allowed Modification] New VCS Label: A2_1A C330001 [Allowed Modification] New VCS Label: A2_1C C332001 [Allowed Modification] New VCS Label: A2_1C C390010 [Withdrawn] C392010 [Withdrawn] C392012 [Withdrawn] C3A2A02 [Allowed modification] New VCS Label: A2_1A C460008 [Allowed Modification] New VCS Label: A2_1C C460011 [New] New VCS Label: A2_1C C42006A [Withdrawn] C48009A [Withdrawn] C760007 [Withdrawn] C760009 [Allowed modification] New VCS Label: A2_1A C760010 [Allowed modification] New VCS Label: A2_1A C760012 [Withdrawn] C761006 [Withdrawn] C761007 [Modified] VCS Label: A2_1A C761008 [Withdrawn] C761009 [Withdrawn] C980001 [Modified] VCS Label: A2_1A C9A005A [Withdrawn] C9A007A [Allowed Modification] New VCS Label: A2_1A C9A008A [Withdrawn] CA2009C [Modified] VCS Label: A2_1A CA2009F [Modified] VCS Label: A2_1A CD10001 [Allowed Modification] New VCS Label: A2_1C CD20001 [Withdrawn] CD2A53A [Allowed Modification] New VCS Label: A2_1C CD30002 [Allowed Modification] New VCS Label: A2_1B @130 Alignment declared as Max_Word*2, but tests @178 for Multiple_Alignment. (VCS
Label A2_1A) Multiple_Alignment may exceed maximum supported by implementation. (VCS Label A2_1B) CD30005 [Allowed Modification] New VCS Label: A2_1A CDE0001 [Allowed Modification] New VCS Label: A2_1C CE3115A [Allowed Modification] New VCS Label: A2_1A CXA5012 [Allowed Modification] New VCS Label: A2_1A CXA5015 [Allowed Modification] New VCS Label: A2_1A CXA5A01 [Allowed Modification] New VCS Label: A2_1A CXA5A02 [Allowed Modification] New VCS Label: A2_1A CXA5A03 [Allowed Modification] New VCS Label: A2_1A CXA5A04 [Allowed Modification] New VCS Label: A2_1A CXA5A09 [Allowed Modification] New VCS Label: A2_1A CXAF001 [Allowed Modification] New VCS Label: A2_1A CXB3008 [Allowed Modification] New VCS Label: A2_1A CXB3009 [Modified] VCS Label: A2_1A CXB3010 [Modified] VCS Label: A2_1A CXB4001 [Modified] VCS Label: A2_1A CXB4007 [Modified] VCS Label: A2_1A CXB4009 [Modified] VCS Label: A2_1A CXB5004 [Modified] VCS Label: A2_1A E28002B [Withdrawn] EA3004G [Withdrawn] FDB0A00 [Allowed Modification] New VCS Label: A2_1A LA1001F [Withdrawn] ===== Annex C ===== BXC6A02 [Allowed modification] New VCS Label: A2_1A BXC6A03 [Withdrawn] CXC3004 [Withdrawn] CXC7001 [Allowed Modification] New VCS Label: A2_1C FXC6A00 [Modified] VCS Label: A2_1A ===== Annex D ===== BXD1001 [Allowed Modification] New VCS Label: A2_1C CXD1006 [Allowed Modification] New VCS Label: A2_1C CXD1008 [Allowed Modification] New VCS Label: A2_1A CXD2004 [Allowed Modification] New VCS Label: A2_1B CXD2005 [Withdrawn] CXD4008 [Modified] VCS Label: A2_1A CXD4009 [Withdrawn] CXD5002 [Withdrawn] CXD6001 [Allowed Modification] New VCS Label: A2_1C (VCS Label A2_1C) CXD6002 [Allowed Modification] New VCS Label: A2_1A CXD8002 [Allowed Modification] New VCS Label: A2_1A CXDB005 [Withdrawn] CXDC001 [Withdrawn] ==== Annex E ==== BXE2009 [Modified] VCS Label: A2_1A BXE2012 [Modified] VCS Label: A2_1A BXE4001 [Modified] VCS Label: A2_1A CXE4003 [Modified] VCS Label: A2_1A CXE4006 [Modified] VCS Label: A2_1A CXE5002 [Allowed Modification] New VCS Label: A2_1B CXE5003 [Allowed Modification] New VCS Label: A2_1A LXE3001 [Allowed Modification] New VCS Label: A2_1A ===== Annex F ===== [None] ===== Annex G ===== CXG1004 [Modified] VCS Label: A2_1A CXG2002 [Allowed Modification] New VCS Label: A2_1A CXG2004 [Modified] VCS Label: A2_1A CXG2008 [Allowed Modification] New VCS Label: A2_1A CXG2011 [Modified] VCS Label: A2_1A CXG2012 [Allowed Modification] New VCS Label: A2_1A CXG2013 [Modified] VCS Label: A2_1A CXG2014 [Allowed Modification] New VCS Label: A2_1A CXG2016 [Modified] VCS Label: A2_1A CXG2017 [Allowed Modification] New VCS Label: A2_1A CXG2020 [Allowed Modification] New VCS Label: A2_1A CXG2022 [Withdrawn] ===== Annex H ===== LXH4001 [Allowed Modification] New VCS Label: A2_1A LXH4002 [Allowed Modification] New VCS Label: A2_1A LXH4003 [Allowed Modification] New VCS Label: A2_1A LXH4004 [Allowed Modification] New VCS Label: A2_1A LXH4005 [Allowed Modification] New VCS Label: A2_1A LXH4006 [Allowed Modification] New VCS Label: A2_1A LXH4007 [Allowed Modification] New VCS Label: A2_1A LXH4008 [Allowed Modification] New VCS Label: A2_1A LXH4009 [Allowed Modification] New VCS Label: A2_1A LXH4010 [Allowed Modification] New VCS Label: A2_1A LXH4011 [Allowed Modification] New VCS Label: A2_1A LXH4012 [Allowed Modification] New VCS Label: A2_1A LXH4013 [Modified] VCS Label: A2_1A How to get new and modified tests: The ACATS VCS is not yet running, so we are providing the tests in several forms. The official modified tests are available currently in the Mods_2_1C Zip and Tar files available at http://www.adaic.org/compilers/testing.html. If you cannot get the files from the official site or you cannot convert the MS-DOS
format files in the Zip, please contact your ACAL (AVF). ACATS 2.2 is available in various formats from the www.adaic.org (in the compilers
section). As noted above, it will be effective April 5, 1999. Summary lists: Withdrawn Tests (Refer to the main list for details) Allowed Modification Tests (Refer to the main list for details) Modified Tests (Refer to the main list for details) New Tests (Refer to the main list for details) C460011 Modified grading: [Note: This was inherited from the AVO; it cannot be handled with simple test
modifications; final resolution is postponed until the ACATS 2.2 is used.] LXH4011: Errors before and after pragma Restrictions can't both be detected The ACAA directs that this test program shall be processed with the following grading modification for conformity assessment using ACATS 2.1: accept a compile-time error detection of the violation at line 67 of file LXH40112 as passing (even though link-time detection of the earlier-compiled violations in LXH40110 cannot be achieved) The test wrongly includes violations of the configuration pragma Restrictions in units compiled both before and after the pragma is processed. Later units may be rejected as violations, and so the implementation cannot reach the link stage and detect the previously compiled violations. This test will be split into two tests in ACATS 2.2. ================ |