CVS difference for acats/docs/mod_list.txt

Differences between 1.3 and version 1.4
Log of other versions for file acats/docs/mod_list.txt

--- acats/docs/mod_list.txt	1998/12/18 21:26:49	1.3
+++ acats/docs/mod_list.txt	1998/12/18 21:30:12	1.4
@@ -1,21 +1,76 @@
 ACATS Test Modification List
 
-Version 2.1B
-October 30, 1998
+Version 2.1C
+November 25, 1998
 
 
 Changes from the last list:
 
-Test CD30002.A has been modified again. The alignment calculation for Multiple_Alignment still failed to
-produce legitimate values on some targets. The alignment value could be larger than the maximum
-supported by the implementation.
+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.
 
-Test CXE5002.A is newly modified. If the optional partition B is executed, the provided body for
-System.RPC prints a spurious failed message. Even so, the test meets its passing criteria.
-
-There are no new tests.  (Note 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
@@ -100,6 +155,15 @@
 			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
 
@@ -113,6 +177,16 @@
 			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)
 
@@ -140,7 +214,8 @@
 	The expected string "GHGHIJ" @376 is impossible.
 
 C761008 [Withdrawn]
-	@280 reports Failed but is a possible handler for finalization's P_E
+	@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
@@ -157,7 +232,8 @@
 	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)
+	@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.
@@ -165,18 +241,35 @@
 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)
+	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)
+	@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.
@@ -193,19 +286,19 @@
 			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
+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
+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
+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
+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.
 
@@ -237,15 +330,20 @@
 	FORTRAN code used in test is not legal.
 
 E28002B [Withdrawn]
-	@91 the pragma argument violates 10.1.5:6 (no subprogram_declaration)
+	@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)
+	Has an invalid test objective (cf AI95-00172/01, ARG Minutes
+	97-04)
 
 ===== Annex C =====
 
@@ -255,10 +353,16 @@
 
 BXC6A03 [Withdrawn]
 	@117 applies pragma Volatile in violation of 13.1:10
-      @129,137 is illegal--FXC6A00.NonVolatile_Tagged IS a volatile type
+	@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
+	@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)
@@ -266,16 +370,29 @@
 
 ===== 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_1A
+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
+	@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.
@@ -284,10 +401,15 @@
 	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)
+	@138 checks a task priority that may not yet be set (9.8:18,
+	D.5:10)
 
-CXD6001 [Modified] VCS Label: A2_1A
-	"Victim_Type" tasks need not complete before Check_Results is called.
+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
@@ -332,7 +454,8 @@
 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)
+	Test requires that Program_Error must be raised, but it is not
+	required. (E.3:6)
 
 ===== Annex F =====
 
@@ -352,7 +475,8 @@
 
 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.
+	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.
@@ -381,7 +505,8 @@
 	Intermediate result in expression @119 may overflow.
 
 CXG2022 [Withdrawn]
-	@103,113,116,143,181,184,250,253 no "**" returns fixed-point values.
+	@103,113,116,143,181,184,250,253 no "**" returns fixed-point
+	values.
 
 ===== Annex H =====
 
@@ -435,20 +560,19 @@
 	Main subprogram name violates naming standards.
 
 LXH4013 [Modified] VCS Label: A2_1A
-	Main subprogram does not depend on correct units. (With @97 is missing).
+	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 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_1B.Zip file
-temporarily available at ftp://ocsystems.com/private/arg  A more permanent site
-will be announced soon.  The permanent site will include tar files as well.
+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).
+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.
@@ -484,6 +608,7 @@
 CXDC001
 CXG2022
 E28002B
+EA3004G
 LA1001F
 
 
@@ -497,12 +622,19 @@
 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
@@ -512,6 +644,13 @@
 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
@@ -577,15 +716,15 @@
 
 (Refer to the main list for details)
 
-[None]
+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.]
+[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

Questions? Ask the ACAA Technical Agent