AdaIC
Ada Information Clearinghouse
Compilers ^
Conformance Testing & Evaluation^
ACATS Test Modification List V 2.1C

ACATS Test Modification List
Version 2.1C
November 25, 1998


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 don’t 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]
    @42,58 is legal in Ada95 (3.8.1:7 (vs. RM83 3.7.3:3))

B392002 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02, Org VCS Label: A2_1
    Primitive function in private part @186 violates 3.9.3:10

B393006 [Modified] VCS Label: A2_1A
    Declaration of Func @102/3 Violates 3.9.3(10)

B490001 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02, Org VCS Label: A2_1
    Errors @295, 298, 324 are in error for other reasons than marked.

B610001 [Modified] VCS Label: A2_1A
    Procedure Calls @221,223,225,228 are ambiguous

B83E01C [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02, Org VCS Label: A2_1
    Errors @172, 177 are "Optional"

B83E01D [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02, Org VCS Label: A2_1
    Errors @302, 307 are "Optional"

B83E01E [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02, Org VCS Label: A2_1
    Errors @F3-56/-61 are "Optional"

BA21003 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02, Org VCS Label: A2_1
    Compilation with errors may affect later error detection.
    [Note: The fix is to split the first test file (BA210030).
    This changes the numbers of the remaining test files; scripts
    will need to be updated!]

BC3503A [Modified] VCS Label: A2_1A
    @100, 109, 118 is not an error.

BC3503C [Modified] VCS Label: A2_1A
    @63 is not an error.

BC51C02 [Modified] VCS Label: A2_1A
    Declaration of FUNC @194 violates 3.9.3:10

BDE0001 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02; Org VCS Label: A2_1
    Both implicit & explicit function @154 violate 3.9.3:10

C330001 [Allowed Modification] New VCS Label: A2_1C
    Required after 1999-02-25, Org VCS Label: A2_1
    Calls to potentially unelaborated Indef_Func_1 and
    Indef_Func_2 may raise Program_Error.

C332001 [Allowed Modification] New VCS Label: A2_1C
    Required after 1999-02-25, Org VCS Label: A2_1
    Decimal types have been removed from the tests.

C390010 [Withdrawn]
    @163 fails the accessibility check of 3.10.2:29

C392010 [Withdrawn]
    @499 the dispatching order produces string "LqmKen", not "NqmMgn"

C392012 [Withdrawn]
    @350 will raise Constraint_Error when a tag check fails

C3A2A02 [Allowed modification] New VCS Label: A2_1A
    Required on 1999-01-02 Org VCS Label: A2_1
    Elaboration check may fail.

C460008 [Allowed Modification] New VCS Label: A2_1C
    Required after 1999-02-25, Org VCS Label: A2_1
    Decimal type operations have been split out into a separate test.

C460011 [New] New VCS Label: A2_1C
    Required in version 2.3, approximately 2000-04-01
    This test contains the decimal type operations formerly
    found in test C460008, and some additional rounding tests
    for decimal type conversions.

C42006A [Withdrawn]
    @56,66,76 static literals must be rejected (4.9:34)

C48009A [Withdrawn]
    @54 the static expression TA'(0) must be rejected (4.9:34)

C760007 [Withdrawn]
    @161 wrongly expects at least one call to Adjust (7.6:21)

C760009 [Allowed modification] New VCS Label: A2_1A
    Required on 1999-01-02 Org VCS Label: A2_1
    Elaboration check may fail.

C760010 [Allowed modification] New VCS Label: A2_1A
    Required on 1999-01-02 Org VCS Label: A2_1
    Elaboration check may fail.

C760012 [Withdrawn]
    @155,183 wrongly requires a component finalization order (7.6.1:9)

C761006 [Withdrawn]
    Expects Adjust to be called in Finalize_Test, but it need not be

C761007 [Modified] VCS Label: A2_1A
    The expected string "GHGHIJ" @376 is impossible.

C761008 [Withdrawn]
    @280 reports Failed but is a possible handler for
    finalization's P_E

C761009 [Withdrawn]
    @562 has enum.value Task_Requeue_To_Task vice Task_Requeue_To_PO
    @609,651 wrongly expects event Got_Program_Error

C980001 [Modified] VCS Label: A2_1A
    Extra calls to Hold_Up.Lock @251, 274 freeze test.

C9A005A [Withdrawn]
    @180,192 aborted calls may be yet not cancelled (9.5.3:25, 9.8:15)

C9A007A [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Absence of priorities results in a race condition.

C9A008A [Withdrawn]
    @94,191,288 aborted calls may be yet not cancelled
    (9.5.3:25, 9.8:15)

CA2009C [Modified] VCS Label: A2_1A
    <Ctrl>-Z left in files in some distributions.

CA2009F [Modified] VCS Label: A2_1A
    <Ctrl>-Z left in files in some distributions.

CD10001 [Allowed Modification] New VCS Label: A2_1C
    Required after 1999-02-25 Org VCS Label: A2_1
    Made small value for Tenths a power of two.

CD20001 [Withdrawn]
    Wrongly requires 'Component_Size to be a factor of
    word size (13.2:9)

CD2A53A [Allowed Modification] New VCS Label: A2_1C
    Required after 1999-02-25 Org VCS Label: A2_1
Added applicability criteria, to allow rejection for non-support of decimal small values. (This is allowed by 3.5.9(21)).

CD30002 [Allowed Modification] New VCS Label: A2_1B
    Required after 1999-01-30 Org VCS Label: A2_1

@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
    Required after 1999-01-02 Org VCS Label: A2_1
    Main subprogram name does not follow conventions.

CDE0001 [Allowed Modification] New VCS Label: A2_1C
    Required after 1999-02-25, Org VCS Label: A2_1
    Instantiation of potentially unelaborated CDE0001_2 may
    raise Program_Error.

CE3115A [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Output to external file may be buffered.

CXA5012 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Integer'Last may be less than 100_000 (@86)

CXA5015 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    The floating-point equivalence @255 need not hold

CXA5A01 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Constraint_Error needn't occur if 'Machine_Overflows=False.

CXA5A02 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Constraint_Error needn't occur if 'Machine_Overflows=False.

CXA5A03 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Constraint_Error needn't occur if 'Machine_Overflows=False.

CXA5A04 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Constraint_Error needn't occur if 'Machine_Overflows=False.

CXA5A09 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Constraint_Error needn't occur if 'Machine_Overflows=False.

CXAF001 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Command_Name returns null string if arguments can't be passed.

CXB3008 [Allowed Modification] New VCS Label: A2_1A
    Required on 1999-01-02 Org VCS Label: A2_1
    C function "atof" might not function as expected

CXB3009 [Modified] VCS Label: A2_1A
    Expected Storage_Error might not occur.

CXB3010 [Modified] VCS Label: A2_1A
    Invocation of Free might be erroneous.

CXB4001 [Modified] VCS Label: A2_1A
    Test uses non-existent procedure name @198.

CXB4007 [Modified] VCS Label: A2_1A
    Bad To_Binary Comparison @263-268.

CXB4009 [Modified] VCS Label: A2_1A
    COBOL code used in test is not legal.
    COBOL code may be unable to be compiled (if no compiler).

CXB5004 [Modified] VCS Label: A2_1A
    FORTRAN code used in test is not legal.

E28002B [Withdrawn]
    @91 the pragma argument violates 10.1.5:6 (no
    subprogram_declaration)

EA3004G [Withdrawn]
    The test reported that pragma Inline is not implemented for
    friendly implementations. The test is of little value.

FDB0A00 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Overflow check @98 is made too soon.

LA1001F [Withdrawn]
    Has an invalid test objective (cf AI95-00172/01, ARG Minutes
    97-04)

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

BXC6A02 [Allowed modification] New VCS Label: A2_1A
    Required after 1999-01-02. Org VCS Label: A2_1
    Type FXC6A00.NonVolatile_Tagged inherits volatility @159, 188

BXC6A03 [Withdrawn]
    @117 applies pragma Volatile in violation of 13.1:10
    @129,137 is illegal--FXC6A00.NonVolatile_Tagged IS a volatile type

CXC3004 [Withdrawn]
    @282 Attach_Handler raises P_E as per C.3.2:21, which is
    unintended

CXC7001 [Allowed Modification] New VCS Label: A2_1C
    Required after 1999-02-25 Org VCS Label: A2_1
    The routine TC_Match_States is not safe on a multi-processor
    implementation.

FXC6A00 [Modified] VCS Label: A2_1A
    Pragma Volatile applied @103,113 violates 13.1(10)

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

BXD1001 [Allowed Modification] New VCS Label: A2_1C
    Required after 1999-02-25 Org VCS Label: A2_1
    Interrupt_Priority pragmas in tasks may be rejected.

CXD1006 [Allowed Modification] New VCS Label: A2_1C
    Required after 1999-02-25 Org VCS Label: A2_1
    Added applicability criteria, allowing rejection of
    Interrupt_Priority pragma.

CXD1008 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    The floating point equivalence @228 need not hold.

CXD2004 [Allowed Modification] New VCS Label: A2_1B
    Required after 1999-01-02 Org VCS Label: A2_1
    The Not_Applicable check for a multi-processor is missing.
    (VCS Label A2_1B)
    Execution correctness depends on ready-queue order.
    (VCS Label A2_1A)

CXD2005 [Withdrawn]
    @187-191 Set_Priority effects need not follow the sequence
    of calls

CXD4008 [Modified] VCS Label: A2_1A
    Wrong queuing policy; Multiprocessors may fail PO and task checks.

CXD4009 [Withdrawn]
    Expects a different order of execution than required by priorities

CXD5002 [Withdrawn]
    @138 checks a task priority that may not yet be set (9.8:18,
    D.5:10)

CXD6001 [Allowed Modification] New VCS Label: A2_1C
    Required after 1999-02-25 Org VCS Label: A2_1A
    The Not_Applicable check for a multi-processor is missing.

(VCS Label A2_1C)
    "Victim_Type" tasks need not complete before Check_Results is
    called. (VCS Label A2_1A, this is a required modification)

CXD6002 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Task Weapon is not terminated for multi-processors.

CXD8002 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    To_Duration(RT.Time_Span_Unit) might equal 0.0.
    Multiprocessor may have different readings of volatile Global.

CXDB005 [Withdrawn]
    @248 expects inherited priority to be lost, contrary to AI95-00092

CXDC001 [Withdrawn]
    @131 doesn't allow for Tasking_Error being raised in activation

==== Annex E ====

BXE2009 [Modified] VCS Label: A2_1A
    Item parameter for Write must be of a base subtype (13.13.2:36)

BXE2012 [Modified] VCS Label: A2_1A
    Wrong type given for controlling param @178

BXE4001 [Modified] VCS Label: A2_1A
    Remote access type declaration is an unintended illegality.

CXE4003 [Modified] VCS Label: A2_1A
    Pragma Remote_Call_Interface @131 Applies only to the generic unit

CXE4006 [Modified] VCS Label: A2_1A
    Test expects wrong type'tag @772

CXE5002 [Allowed Modification] New VCS Label: A2_1B
    Required after 1999-01-30 Org VCS Label: A2_1
    Optional partition B prints a spurious failure message.

CXE5003 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Parameter Last in Read may require a value.

LXE3001 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    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 =====

CXG1004 [Modified] VCS Label: A2_1A
    Checks for exceptions with plus/minus one are incorrect.

CXG2002 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Intermediate results in expressions @97, 272 can overflow.

CXG2004 [Modified] VCS Label: A2_1A
    Calculation of representable X and X/3 is incorrect.

CXG2008 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Constraint_Error need not be raised if Real'Machine_Overflows
    is False.

CXG2011 [Modified] VCS Label: A2_1A
    Log(0.0) must raise Constraint_Error, not Argument_Error.

CXG2012 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Intermediate result in expression @124 may overflow.

CXG2013 [Modified] VCS Label: A2_1A
    Tab(Y) @302 raises Constraint_Error when Y = 0.5, calculation of
    error bound is incorrect.

CXG2014 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Taylor series in Subtraction_Test lacks sufficient terms.

CXG2016 [Modified] VCS Label: A2_1A
    Conversion to degrees in Identitity_1_Test is incorrect.

CXG2017 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Error bound for Tabh(X) is incorrect for X near zero.

CXG2020 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Intermediate result in expression @119 may overflow.

CXG2022 [Withdrawn]
    @103,113,116,143,181,184,250,253 no "**" returns fixed-point
    values.

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

LXH4001 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Main subprogram name violates naming standards.

LXH4002 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Main subprogram name violates naming standards.

LXH4003 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Main subprogram name violates naming standards.

LXH4004 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Main subprogram name violates naming standards.

LXH4005 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Main subprogram name violates naming standards.

LXH4006 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Main subprogram name violates naming standards.

LXH4007 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Main subprogram name violates naming standards.

LXH4008 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Main subprogram name violates naming standards.

LXH4009 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Main subprogram name violates naming standards.

LXH4010 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Main subprogram name violates naming standards.

LXH4011 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
   Main subprogram name violates naming standards.
    (See modified grading).

LXH4012 [Allowed Modification] New VCS Label: A2_1A
    Required after 1999-01-02 Org VCS Label: A2_1
    Main subprogram name violates naming standards.

LXH4013 [Modified] VCS Label: A2_1A
    Main subprogram does not depend on correct units. (With @97 is
    missing).

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)
B37312B
BXC6A03
C390010
C392010
C392012
C42006A
C48009A
C760007
C760012
C761006
C761008
C761009
C9A005A
C9A008A
CD20001
CXC3004
CXD2005
CXD4009
CXD5002
CXDB005
CXDC001
CXG2022
E28002B
EA3004G
LA1001F

 

Allowed Modification Tests

(Refer to the main list for details)
B392002 1999-01-02
B490001 1999-01-02
BDE0001 1999-01-02
BXC6A02 1999-01-02
BXD1001 1999-02-25
C330001 1999-02-25
C332001 1999-02-25
C3A2A02 1999-01-02
C460008 1999-02-25
C760009 1999-01-02
C760010 1999-01-02
C9A007A 1999-01-02
CD10001 1999-02-25
CD2A53A 1999-02-25
CD30002 1999-01-30
CD30005 1999-01-02
CDE0001 1999-02-25
CXA5012 1999-01-02
CXA5015 1999-01-02
CXA5A01 1999-01-02
CXA5A02 1999-01-02
CXA5A03 1999-01-02
CXA5A04 1999-01-02
CXA5A09 1999-01-02
CXAF001 1999-01-02
CXB3008 1999-01-02
CXC7001 1999-02-25
CXD1006 1999-02-25
CXD1008 1999-01-02
CXD2004 1999-02-25
CXD6001 1999-02-25
CXD6002 1999-01-02
CXD8002 1999-01-02
CXE5002 1999-01-30
CXE5003 1999-01-02
CXG2002 1999-01-02
CXG2008 1999-01-02
CXG2012 1999-01-02
CXG2014 1999-01-02
CXG2017 1999-01-02
CXG2020 1999-01-02
FDB0A00 1999-01-02
LXE3001 1999-01-02
LXH4001 1999-01-02
LXH4002 1999-01-02
LXH4003 1999-01-02
LXH4004 1999-01-02
LXH4005 1999-01-02
LXH4006 1999-01-02
LXH4007 1999-01-02
LXH4008 1999-01-02
LXH4009 1999-01-02
LXH4010 1999-01-02
LXH4011 1999-01-02
LXH4012 1999-01-02
LXH4013 1999-01-02

 

Modified Tests

(Refer to the main list for details)
B393006
B610001
BC3503A
BC3503C
BC51C02
BXE2009
BXE2012
BXE4001
C761007
C980001
CA2009C
CA2009F
CXB3009
CXB3010
CXB4001
CXB4007
CXB4009
CXB5004
CXD4008
CXD6001
CXE4003
CXE4006
CXG1004
CXG2004
CXG2011
CXG2013
CXG2016
FXC6A00
LXH4013

 

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.

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