From eaeec5c6587b40452ef09945b8166a8c95919e51 Mon Sep 17 00:00:00 2001 From: no-author Date: Tue, 28 Oct 2003 15:01:42 +0000 Subject: This commit was manufactured by cvs2svn to create branch 'tree-ssa-20020619-branch'. git-svn-id: https://gcc.gnu.org/svn/gcc/branches/tree-ssa-20020619-branch@73008 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/testsuite/ada/acats/tests/e/e28002b.ada | 111 ++++++++++++++++++ gcc/testsuite/ada/acats/tests/e/e28005d.ada | 55 +++++++++ gcc/testsuite/ada/acats/tests/e/e52103y.ada | 132 ++++++++++++++++++++++ gcc/testsuite/ada/acats/tests/e/eb4011a.ada | 79 +++++++++++++ gcc/testsuite/ada/acats/tests/e/eb4012a.ada | 59 ++++++++++ gcc/testsuite/ada/acats/tests/e/eb4014a.ada | 87 ++++++++++++++ gcc/testsuite/ada/acats/tests/e/ee3203a.ada | 168 ++++++++++++++++++++++++++++ gcc/testsuite/ada/acats/tests/e/ee3204a.ada | 128 +++++++++++++++++++++ gcc/testsuite/ada/acats/tests/e/ee3402b.ada | 118 +++++++++++++++++++ gcc/testsuite/ada/acats/tests/e/ee3409f.ada | 103 +++++++++++++++++ gcc/testsuite/ada/acats/tests/e/ee3412c.ada | 144 ++++++++++++++++++++++++ 11 files changed, 1184 insertions(+) create mode 100644 gcc/testsuite/ada/acats/tests/e/e28002b.ada create mode 100644 gcc/testsuite/ada/acats/tests/e/e28005d.ada create mode 100644 gcc/testsuite/ada/acats/tests/e/e52103y.ada create mode 100644 gcc/testsuite/ada/acats/tests/e/eb4011a.ada create mode 100644 gcc/testsuite/ada/acats/tests/e/eb4012a.ada create mode 100644 gcc/testsuite/ada/acats/tests/e/eb4014a.ada create mode 100644 gcc/testsuite/ada/acats/tests/e/ee3203a.ada create mode 100644 gcc/testsuite/ada/acats/tests/e/ee3204a.ada create mode 100644 gcc/testsuite/ada/acats/tests/e/ee3402b.ada create mode 100644 gcc/testsuite/ada/acats/tests/e/ee3409f.ada create mode 100644 gcc/testsuite/ada/acats/tests/e/ee3412c.ada (limited to 'gcc/testsuite/ada/acats/tests/e') diff --git a/gcc/testsuite/ada/acats/tests/e/e28002b.ada b/gcc/testsuite/ada/acats/tests/e/e28002b.ada new file mode 100644 index 00000000000..d7c7869e4d5 --- /dev/null +++ b/gcc/testsuite/ada/acats/tests/e/e28002b.ada @@ -0,0 +1,111 @@ +-- E28002B.ADA + +-- Grant of Unlimited Rights +-- +-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, +-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained +-- unlimited rights in the software and documentation contained herein. +-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making +-- this public release, the Government intends to confer upon all +-- recipients unlimited rights equal to those held by the Government. +-- These rights include rights to use, duplicate, release or disclose the +-- released technical data and computer software in whole or in part, in +-- any manner and for any purpose whatsoever, and to have or permit others +-- to do so. +-- +-- DISCLAIMER +-- +-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR +-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED +-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE +-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE +-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A +-- PARTICULAR PURPOSE OF SAID MATERIAL. +--* +-- OBJECTIVE: +-- CHECK THAT A PREDEFINED OR AN UNRECOGNIZED PRAGMA MAY HAVE +-- ARGUMENTS INVOLVING OVERLOADED IDENTIFIERS WITHOUT ENOUGH +-- CONTEXTUAL INFORMATION TO RESOLVE THE OVERLOADING. + +-- PASS/FAIL CRITERIA: +-- THIS TEST IS PASSED IF IT REPORTS "TENTATIVELY PASSED" AND +-- THE STARRED COMMENT DOES NOT APPEAR IN THE LISTING. + +-- AN IMPLEMENTATION FAILS THIS TEST IF THE STARRED COMMENT +-- LINE APPEARS IN THE COMPILATION LISTING. + +-- HISTORY: +-- TBN 02/24/86 CREATED ORIGINAL TEST. +-- JET 01/13/88 ADDED CALLS TO SPECIAL_ACTION AND UPDATED HEADER. +-- EDS 10/28/97 ADDED DECLARATIONS FOR PROCEDURES XYZ. + +WITH REPORT, SYSTEM; USE REPORT, SYSTEM; +PROCEDURE E28002B IS + + FUNCTION OFF RETURN INTEGER IS + BEGIN + RETURN 1; + END OFF; + + FUNCTION OFF RETURN BOOLEAN IS + BEGIN + RETURN TRUE; + END OFF; + + PRAGMA LIST (OFF); +--***** THIS LINE MUST NOT APPEAR IN COMPILATION LISTING. + PRAGMA LIST (ON); + + FUNCTION ELABORATION_CHECK RETURN INTEGER IS + BEGIN + RETURN 1; + END ELABORATION_CHECK; + + FUNCTION ELABORATION_CHECK RETURN BOOLEAN IS + BEGIN + RETURN TRUE; + END ELABORATION_CHECK; + + PRAGMA SUPPRESS (ELABORATION_CHECK, ELABORATION_CHECK); + + FUNCTION TIME RETURN INTEGER IS + BEGIN + RETURN 1; + END TIME; + + FUNCTION TIME RETURN BOOLEAN IS + BEGIN + RETURN TRUE; + END TIME; + + PRAGMA OPTIMIZE (TIME); + + PROCEDURE XYZ; + PROCEDURE XYZ (COUNT : INTEGER); + + PRAGMA INLINE (XYZ); + PRAGMA PHIL_BRASHEAR (XYZ); + + PROCEDURE XYZ IS + BEGIN + NULL; + END XYZ; + + PROCEDURE XYZ (COUNT : INTEGER) IS + BEGIN + NULL; + END XYZ; + +BEGIN + TEST ("E28002B", "CHECK THAT A PREDEFINED OR AN UNRECOGNIZED " & + "PRAGMA MAY HAVE ARGUMENTS INVOLVING " & + "OVERLOADED IDENTIFIERS WITHOUT ENOUGH " & + "CONTEXTUAL INFORMATION TO RESOLVE THE " & + "OVERLOADING"); + + SPECIAL_ACTION ("CHECK THAT THE COMPILATION LISTING DOES NOT " & + "SHOW THE STARRED COMMENT LINE"); + + RESULT; + +END E28002B; diff --git a/gcc/testsuite/ada/acats/tests/e/e28005d.ada b/gcc/testsuite/ada/acats/tests/e/e28005d.ada new file mode 100644 index 00000000000..a6632d65f50 --- /dev/null +++ b/gcc/testsuite/ada/acats/tests/e/e28005d.ada @@ -0,0 +1,55 @@ +PRAGMA PAGE; +-- E28005D.ADA + +-- Grant of Unlimited Rights +-- +-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, +-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained +-- unlimited rights in the software and documentation contained herein. +-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making +-- this public release, the Government intends to confer upon all +-- recipients unlimited rights equal to those held by the Government. +-- These rights include rights to use, duplicate, release or disclose the +-- released technical data and computer software in whole or in part, in +-- any manner and for any purpose whatsoever, and to have or permit others +-- to do so. +-- +-- DISCLAIMER +-- +-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR +-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED +-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE +-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE +-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A +-- PARTICULAR PURPOSE OF SAID MATERIAL. +--* +-- OBJECTIVE: +-- CHECK THAT WHEN PRAGMA PAGE IS USED AT THE BEGINNING OR END OF A +-- COMPILATION, THERE IS NO PROBLEM. + +-- PASS/FAIL CRITERIA: +-- THE TEST MUST COMPILE TO EXECUTE WITH A 'TENTATIVELY PASSED' +-- RESULT. THERE IS A PAGE BREAK BEFORE THE TEST NAME AND A +-- PAGE BREAK AFTER THE END OF THE TEST. + +-- HISTORY: +-- RJW 04/16/86 CREATED ORIGINAL TEST. +-- JET 01/13/88 ADDED CALLS TO SPECIAL_ACTION AND UPDATED HEADER. + +WITH REPORT; USE REPORT; + +PROCEDURE E28005D IS +BEGIN + TEST ( "E28005D", "CHECK THAT WHEN PRAGMA PAGE IS USED AT THE " & + "BEGINNING OR END OF A COMPILATION, THERE " & + "IS NO PROBLEM"); + + SPECIAL_ACTION ("CHECK THAT THE PAGE PRAGMAS AT THE BEGINNING " & + "AND END OF THE PROGRAM CAUSE THE TEXT " & + "FOLLOWING THE PRAGMAS TO APPEAR AT THE START " & + "OF A NEW PAGE OF THE COMPILATION LISTING"); + RESULT; + +END E28005D; + +PRAGMA PAGE; diff --git a/gcc/testsuite/ada/acats/tests/e/e52103y.ada b/gcc/testsuite/ada/acats/tests/e/e52103y.ada new file mode 100644 index 00000000000..e2a7a95a03b --- /dev/null +++ b/gcc/testsuite/ada/acats/tests/e/e52103y.ada @@ -0,0 +1,132 @@ +-- E52103Y.ADA + +-- Grant of Unlimited Rights +-- +-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, +-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained +-- unlimited rights in the software and documentation contained herein. +-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making +-- this public release, the Government intends to confer upon all +-- recipients unlimited rights equal to those held by the Government. +-- These rights include rights to use, duplicate, release or disclose the +-- released technical data and computer software in whole or in part, in +-- any manner and for any purpose whatsoever, and to have or permit others +-- to do so. +-- +-- DISCLAIMER +-- +-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR +-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED +-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE +-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE +-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A +-- PARTICULAR PURPOSE OF SAID MATERIAL. +--* +-- CHECK WHETHER A NULL ARRAY WITH ONE DIMENSION OF LENGTH GREATER THAN +-- INTEGER'LAST RAISES CONSTRAINT_ERROR OR NO EXCEPTION, +-- EITHER WHEN DECLARED OR ASSIGNED. + +-- CHECK THAT LENGTHS MUST MATCH IN ARRAY AND SLICE ASSIGNMENTS. +-- MORE SPECIFICALLY, TEST THAT ARRAY ASSIGNMENTS WITH MATCHING +-- LENGTHS DO NOT CAUSE CONSTRAINT_ERROR TO BE RAISED AND +-- ARE PERFORMED CORRECTLY. +-- (OVERLAPS BETWEEN THE OPERANDS OF THE ASSIGNMENT STATEMENT +-- ARE TREATED ELSEWHERE.) + + +-- THIS IS A SPECIAL CASE IN + +-- DIVISION D : NULL ARRAYS WHOSE LENGTHS ARE NOT DETERMINABLE +-- STATICALLY + +-- WHICH (THE SPECIAL CASE) TREATS TWO-DIMENSIONAL ARRAYS WHOSE LENGTH +-- ALONG ONE DIMENSION IS GREATER THAN INTEGER'LAST AND WHOSE +-- LENGTH ALONG THE OTHER DIMENSION IS 0 . + + +-- *** NOTE: This test has been modified since ACVC version 1.11 to -- 9X +-- *** remove incompatibilities associated with the transition -- 9X +-- *** to Ada 9X. -- 9X +-- *** -- 9X + +-- RM 07/31/81 +-- SPS 03/22/83 +-- JBG 05/02/83 +-- JBG 06/01/85 +-- EG 10/28/85 FIX NUMERIC_ERROR/CONSTRAINT_ERROR ACCORDING TO +-- AI-00387. +-- LDC 06/01/88 CHANGED HEADER COMMENT TO INDICATE CONSTRAINT_ERROR +-- IS ALLOWED. ADDED CODE TO PREVENT DEAD VARIABLE +-- OPTIMIZATION. +-- MRM 03/30/93 REMOVED NUMERIC_ERROR FOR 9X COMPATIBILITY + +WITH REPORT; +PROCEDURE E52103Y IS + + USE REPORT ; + +BEGIN + + TEST( "E52103Y","CHECK WHETHER CONSTRAINT_ERROR " & + "OR NO EXCEPTION IS RAISED WHEN DIMENSION OF " & + "AN ARRAY HAS LENGTH > INTEGER'LAST"); + BEGIN + + DECLARE + + TYPE TA42 IS ARRAY( + INTEGER RANGE IDENT_INT( 13 )..IDENT_INT( 12 ), + INTEGER RANGE IDENT_INT(-2)..IDENT_INT(INTEGER'LAST) + ) OF BOOLEAN ; + + SUBTYPE TA41 IS TA42 ; + + ARR41 : TA41 ; + ARR42 : TA42 ; + + BEGIN + + COMMENT ("NO EXCEPTION FOR ARRAY DECLARATION"); + + -- NULL ARRAY ASSIGNMENT: + + ARR42 := ARR41 ; + IF ARR42'LENGTH(1) /= 0 THEN + FOR I IN TA42'RANGE(2) LOOP + ARR41(13,I) := IDENT_BOOL(ARR42(13,I)); + END LOOP; + END IF; + + COMMENT ("NO EXCEPTION RAISED FOR NULL ARRAY " & + "ASSIGNMENT"); + + EXCEPTION + + WHEN CONSTRAINT_ERROR => + COMMENT ("CONSTRAINT_ERROR RAISED IN LENGTH " & + "COMPARISON"); + + WHEN OTHERS => + FAILED( "OTHER EXCEPTION RAISED - SUBTEST 2" ); + + END ; + + EXCEPTION + + WHEN CONSTRAINT_ERROR => + COMMENT ("CONSTRAINT_ERROR RAISED BY DECLARATION OF " & + "NULL ARRAY TYPE WITH ONE DIMENSION > " & + "INTEGER'LAST"); + + WHEN OTHERS => + FAILED ("SOME OTHER EXCEPTION RAISED"); + + END; + + ------------------------------------------------------------------- + + + RESULT ; + + +END E52103Y; diff --git a/gcc/testsuite/ada/acats/tests/e/eb4011a.ada b/gcc/testsuite/ada/acats/tests/e/eb4011a.ada new file mode 100644 index 00000000000..24705ba5fc8 --- /dev/null +++ b/gcc/testsuite/ada/acats/tests/e/eb4011a.ada @@ -0,0 +1,79 @@ +-- EB4011A.ADA + +-- Grant of Unlimited Rights +-- +-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, +-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained +-- unlimited rights in the software and documentation contained herein. +-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making +-- this public release, the Government intends to confer upon all +-- recipients unlimited rights equal to those held by the Government. +-- These rights include rights to use, duplicate, release or disclose the +-- released technical data and computer software in whole or in part, in +-- any manner and for any purpose whatsoever, and to have or permit others +-- to do so. +-- +-- DISCLAIMER +-- +-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR +-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED +-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE +-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE +-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A +-- PARTICULAR PURPOSE OF SAID MATERIAL. +--* +-- OBJECTIVE: +-- CHECK THAT UNHANDLED EXCEPTIONS RAISED IN PACKAGE SUBUNITS ARE +-- PROPAGATED TO THE ENVIRONMENT STATICALLY ENCLOSING THE +-- CORRESPONDING BODY STUB (DECLARER OF THE PARENT UNIT). + +-- PASS/FAIL CRITERIA: +-- THIS TEST MUST EXECUTE AND REPORT "TENTATIVELY PASSED". IN +-- ADDITION, THE OUTPUT/LOG FILE MUST INDICATE THAT THE PROGRAM +-- TERMINATED WITH AN UNHANDLED EXCEPTION. + +-- HISTORY: +-- DHH 03/29/88 CREATED ORIGINAL TEST. + +WITH REPORT; USE REPORT; +PROCEDURE EB4011A IS + + PACKAGE EB4011A_OUTSIDE IS + END EB4011A_OUTSIDE; + + PACKAGE EB4011A1 IS + END EB4011A1; + + PACKAGE BODY EB4011A1 IS + BEGIN + + TEST("EB4011A", "CHECK THAT UNHANDLED EXCEPTIONS RAISED IN " & + "PACKAGE SUBUNITS ARE PROPAGATED TO THE " & + "ENVIRONMENT STATICALLY ENCLOSING THE" & + "CORRESPONDING BODY STUB (DECLARER OF THE " & + "PARENT UNIT)"); + + SPECIAL_ACTION("CHECK THE OUTPUT FILE TO SEE IF THIS " & + "PROGRAM TERMINATED WITH AN UNHANDLED " & + "EXCEPTION"); + + RESULT; + + END EB4011A1; + + PACKAGE BODY EB4011A_OUTSIDE IS SEPARATE; + +BEGIN + + TEST("EB4011A", "THIS LINE SHOULD NOT PRINT OUT"); + + FAILED("EXCEPTION DID NOT CAUSE MAIN PROGRAM TERMINATION"); + RESULT; + +END EB4011A; + +SEPARATE (EB4011A) +PACKAGE BODY EB4011A_OUTSIDE IS +BEGIN + RAISE CONSTRAINT_ERROR; +END EB4011A_OUTSIDE; diff --git a/gcc/testsuite/ada/acats/tests/e/eb4012a.ada b/gcc/testsuite/ada/acats/tests/e/eb4012a.ada new file mode 100644 index 00000000000..7166c0b083a --- /dev/null +++ b/gcc/testsuite/ada/acats/tests/e/eb4012a.ada @@ -0,0 +1,59 @@ +-- EB4012A.ADA + +-- Grant of Unlimited Rights +-- +-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, +-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained +-- unlimited rights in the software and documentation contained herein. +-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making +-- this public release, the Government intends to confer upon all +-- recipients unlimited rights equal to those held by the Government. +-- These rights include rights to use, duplicate, release or disclose the +-- released technical data and computer software in whole or in part, in +-- any manner and for any purpose whatsoever, and to have or permit others +-- to do so. +-- +-- DISCLAIMER +-- +-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR +-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED +-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE +-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE +-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A +-- PARTICULAR PURPOSE OF SAID MATERIAL. +--* +-- OBJECTIVE: +-- CHECK THAT WHEN AN UNHANDLED EXCEPTION IS RAISED IN THE MAIN +-- PROGRAM, THE MAIN PROGRAM IS ABANDONED. + +-- PASS/FAIL CRITERIA: +-- THIS TEST MUST EXECUTE AND PRINT "TENTATIVELY PASSED". IN +-- ADDITION, THE OUTPUT/LOG FILE MUST SHOW THAT THE PROGRAM +-- WAS ABANDONED DUE TO AN UNHANDLED EXCEPTION. + +-- HISTORY: +-- DHH 03/29/88 CREATED ORIGINAL TEST. + +WITH REPORT; USE REPORT; +PROCEDURE EB4012A IS + +BEGIN + TEST("EB4012A", "CHECK THAT WHEN AN UNHANDLED EXCEPTION IS " & + "RAISED IN THE MAIN PROGRAM, THE MAIN PROGRAM " & + "IS ABANDONED"); + SPECIAL_ACTION("CHECK THE OUTPUT/LOG FILE TO SEE THAT THIS " & + "PROGRAM WAS ABANDONED BECAUSE OF AN UNHANDLED " & + "EXCEPTION"); + + RESULT; + + IF EQUAL(3,3) THEN + RAISE CONSTRAINT_ERROR; + END IF; + + TEST("EB4012A", "SHOULD NOT PRINT OUT"); + FAILED("CONSTRAINT_ERROR NOT RAISED"); + + RESULT; + +END EB4012A; diff --git a/gcc/testsuite/ada/acats/tests/e/eb4014a.ada b/gcc/testsuite/ada/acats/tests/e/eb4014a.ada new file mode 100644 index 00000000000..d520bd05493 --- /dev/null +++ b/gcc/testsuite/ada/acats/tests/e/eb4014a.ada @@ -0,0 +1,87 @@ +-- EB4014A.ADA + +-- Grant of Unlimited Rights +-- +-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, +-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained +-- unlimited rights in the software and documentation contained herein. +-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making +-- this public release, the Government intends to confer upon all +-- recipients unlimited rights equal to those held by the Government. +-- These rights include rights to use, duplicate, release or disclose the +-- released technical data and computer software in whole or in part, in +-- any manner and for any purpose whatsoever, and to have or permit others +-- to do so. +-- +-- DISCLAIMER +-- +-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR +-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED +-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE +-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE +-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A +-- PARTICULAR PURPOSE OF SAID MATERIAL. +--* +-- OBJECTIVE: +-- CHECK THAT WHEN EXCEPTIONS ARE RAISED DURING THE ELABORATION OF +-- A LIBRARY UNIT, EXECUTION OF THE MAIN PROGRAM IS ABANDONED. + +-- PASS/FAIL CRITERIA: +-- THIS TEST MUST EXECUTE AND REPORT "TENTATIVELY PASSED". IN +-- ADDITION, THE OUTPUT/LOG FILE MUST INDICATE THAT THE PROGRAM +-- TERMINATED WITH AN UNHANDLED EXCEPTION. + +-- HISTORY: +-- DHH 03/29/88 CREATED ORIGINAL TEST. +-- PWN 05/25/94 ADDED A PROCEDURE TO KEEP PACKAGE BODIES LEGAL. + +WITH REPORT; USE REPORT; +FUNCTION EB4014A1 RETURN INTEGER IS +BEGIN + + TEST("EB4014A", "THIS LINE SHOULD NOT BE PRINTED"); + + FAILED("THE MAIN PROGRAM BODY WAS ENTERED"); + RESULT; + + RETURN IDENT_INT(1); + +END EB4014A1; + +WITH REPORT; USE REPORT; +PRAGMA ELABORATE (REPORT); +PACKAGE EB4014A_OUTSIDE IS + PROCEDURE REQUIRE_BODY; +END EB4014A_OUTSIDE; + +PACKAGE BODY EB4014A_OUTSIDE IS + PROCEDURE REQUIRE_BODY IS + BEGIN + NULL; + END; +BEGIN + TEST("EB4014A", "CHECK THAT WHEN EXCEPTIONS ARE RAISED DURING " & + "THE ELABORATION OF A LIBRARY UNIT, EXECUTION " & + "OF THE MAIN PROGRAM IS ABANDONED"); + + SPECIAL_ACTION("CHECK THE OUTPUT/LOG FILE TO SEE IF THIS " & + "PROGRAM TERMINATED WITH AN UNHANDLED " & + "EXCEPTION"); + + RESULT; + + RAISE CONSTRAINT_ERROR; +END EB4014A_OUTSIDE; + +WITH EB4014A1; WITH EB4014A_OUTSIDE; +WITH REPORT; USE REPORT; +PROCEDURE EB4014A IS + X : INTEGER := EB4014A1; +BEGIN + + TEST("EB4014A", "THIS LINE SHOULD NOT PRINT OUT"); + + FAILED("EXCEPTION DID NOT CAUSE MAIN PROGRAM TERMINATION"); + RESULT; + X := IDENT_INT(X); +END EB4014A; diff --git a/gcc/testsuite/ada/acats/tests/e/ee3203a.ada b/gcc/testsuite/ada/acats/tests/e/ee3203a.ada new file mode 100644 index 00000000000..a31887d96be --- /dev/null +++ b/gcc/testsuite/ada/acats/tests/e/ee3203a.ada @@ -0,0 +1,168 @@ +-- EE3203A.ADA + +-- Grant of Unlimited Rights +-- +-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, +-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained +-- unlimited rights in the software and documentation contained herein. +-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making +-- this public release, the Government intends to confer upon all +-- recipients unlimited rights equal to those held by the Government. +-- These rights include rights to use, duplicate, release or disclose the +-- released technical data and computer software in whole or in part, in +-- any manner and for any purpose whatsoever, and to have or permit others +-- to do so. +-- +-- DISCLAIMER +-- +-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR +-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED +-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE +-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE +-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A +-- PARTICULAR PURPOSE OF SAID MATERIAL. +--* +-- OBJECTIVE: +-- CHECK THAT SET_INPUT AND SET_OUTPUT CAN BE USED, AND THAT THEY +-- DO NOT REDEFINE OR CLOSE THE CORRESPONDING STANDARD FILES. + +-- APPLICABILITY CRITERIA: +-- THIS TEST IS APPLICABLE ONLY TO IMPLEMENTATIONS WHICH SUPPORT +-- TEXT FILES. + +-- PASS/FAIL CRITERIA: +-- THIS TEST IS PASSED IF IT EXECUTES AND THE STANDARD OUTPUT FILE +-- CONTAINS THE LINE "INITIAL TEXT OF STANDARD_OUTPUT". + +-- HISTORY: +-- ABW 08/25/82 +-- SPS 11/19/82 +-- VKG 02/15/83 +-- TBN 11/04/86 REVISED TEST TO OUTPUT A NOT_APPLICABLE +-- RESULT WHEN FILES ARE NOT SUPPORTED. +-- JLH 08/19/87 CORRECTED EXCEPTION HANDLING, REMOVED DEPENDENCE +-- ON RESET, AND ADDED CHECKS FOR USE_ERROR ON DELETE. + +WITH REPORT; +USE REPORT; +WITH TEXT_IO; +USE TEXT_IO; +WITH CHECK_FILE; + +PROCEDURE EE3203A IS + + INCOMPLETE : EXCEPTION; + FILE_IN, FILE_OUT : FILE_TYPE; + LST : NATURAL; + IN_STR : STRING (1 .. 50); + +BEGIN + + TEST ("EE3203A", "CHECK THAT SET_INPUT AND SET_OUTPUT " & + "CAN BE USED, AND THAT CORRESPONDING " & + "STANDARD FILES ARE UNCHANGED"); + + BEGIN + CREATE (FILE_IN, OUT_FILE, LEGAL_FILE_NAME); + EXCEPTION + WHEN USE_ERROR => + NOT_APPLICABLE ("USE_ERROR RAISED ON TEXT CREATE WITH " & + "OUT_FILE MODE - 1"); + RAISE INCOMPLETE; + WHEN NAME_ERROR => + NOT_APPLICABLE ("NAME_ERROR RAISED ON TEXT CREATE " & + "WITH OUT_FILE MODE - 1"); + RAISE INCOMPLETE; + WHEN OTHERS => + FAILED ("UNEXPECTED EXCEPTION RAISED ON TEXT CREATE"); + RAISE INCOMPLETE; + END; + + BEGIN + CREATE (FILE_OUT, OUT_FILE, LEGAL_FILE_NAME(2)); + EXCEPTION + WHEN USE_ERROR => + NOT_APPLICABLE ("USE_ERROR RAISED ON TEXT CREATE WITH " & + "OUT_FILE MODE - 2"); + RAISE INCOMPLETE; + WHEN NAME_ERROR => + NOT_APPLICABLE ("NAME_ERROR RAISED ON TEXT CREATE " & + "WITH OUT_FILE MODE - 2"); + RAISE INCOMPLETE; + WHEN OTHERS => + FAILED ("UNEXPECTED EXCEPTION RAISED ON TEXT CREATE"); + RAISE INCOMPLETE; + END; + + PUT (FILE_IN, "INITIAL TEXT OF FILE_IN"); + PUT (FILE_OUT, "INITIAL TEXT OF FILE_OUT"); + PUT ("INITIAL TEXT OF STANDARD_OUTPUT"); + + CLOSE (FILE_IN); + + BEGIN + OPEN (FILE_IN, IN_FILE, LEGAL_FILE_NAME); + EXCEPTION + WHEN USE_ERROR => + NOT_APPLICABLE ("USE_ERROR RAISED ON TEXT OPEN WITH " & + "IN_FILE MODE"); + RAISE INCOMPLETE; + END; + + SET_INPUT (FILE_IN); + SET_OUTPUT (FILE_OUT); + + IF NOT IS_OPEN (STANDARD_INPUT) THEN + FAILED ("STANDARD_INPUT NOT OPEN"); + END IF; + + IF NOT IS_OPEN (FILE_IN) THEN + FAILED ("FILE_IN NOT OPEN"); + END IF; + + IF NOT IS_OPEN (STANDARD_OUTPUT) THEN + FAILED ("STANDARD_OUTPUT NOT OPEN"); + END IF; + + IF NOT IS_OPEN (FILE_OUT) THEN + FAILED ("FILE_OUT NOT OPEN"); + END IF; + + NEW_LINE; + PUT ("SECOND LINE OF OUTPUT"); + + GET_LINE (IN_STR, LST); + IF IN_STR (1 .. LST) /= "INITIAL TEXT OF FILE_IN" THEN + FAILED ("DEFAULT INPUT INCORRECT"); + END IF; + + CHECK_FILE (FILE_IN, "INITIAL TEXT OF FILE_IN#@%"); + SET_OUTPUT (FILE => STANDARD_OUTPUT); + SET_INPUT (FILE => STANDARD_INPUT); + CHECK_FILE (FILE_OUT, "INITIAL TEXT OF FILE_OUT#" & + "SECOND LINE OF OUTPUT#@%"); + + SPECIAL_ACTION ("THE STANDARD OUTPUT FILE SHOULD CONTAIN " & + "THE LINE : INITIAL TEXT OF STANDARD_OUTPUT"); + + BEGIN + DELETE (FILE_IN); + EXCEPTION + WHEN USE_ERROR => + NULL; + END; + + BEGIN + DELETE (FILE_OUT); + EXCEPTION + WHEN USE_ERROR => + NULL; + END; + + RESULT; + +EXCEPTION + WHEN INCOMPLETE => + RESULT; + +END EE3203A; diff --git a/gcc/testsuite/ada/acats/tests/e/ee3204a.ada b/gcc/testsuite/ada/acats/tests/e/ee3204a.ada new file mode 100644 index 00000000000..2482b19409b --- /dev/null +++ b/gcc/testsuite/ada/acats/tests/e/ee3204a.ada @@ -0,0 +1,128 @@ +-- EE3204A.ADA + +-- Grant of Unlimited Rights +-- +-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, +-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained +-- unlimited rights in the software and documentation contained herein. +-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making +-- this public release, the Government intends to confer upon all +-- recipients unlimited rights equal to those held by the Government. +-- These rights include rights to use, duplicate, release or disclose the +-- released technical data and computer software in whole or in part, in +-- any manner and for any purpose whatsoever, and to have or permit others +-- to do so. +-- +-- DISCLAIMER +-- +-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR +-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED +-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE +-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE +-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A +-- PARTICULAR PURPOSE OF SAID MATERIAL. +--* +-- OBJECTIVE: +-- CHECK THAT AFTER THE DEFAULT FILES HAVE BEEN REDEFINED, +-- OUTPUT ON THE STANDARD FILES IS STILL PROPERLY HANDLED. + +-- APPLICABILITY CRITERIA: +-- THIS TEST IS ONLY APPLICABLE TO IMPLEMENTATIONS WHICH SUPPORT +-- TEXT FILES. + +-- PASS/FAIL CRITERIA: +-- THIS TEST IS PASSED IF IT EXECUTES, PRINTS TENTATIVELY PASSED, +-- AND THE CONTENTS OF THE STANDARD OUTPUT FILE ARE CORRECT. + +-- HISTORY: +-- JLH 07/08/88 CREATED ORIGINAL TEST. + +WITH REPORT; USE REPORT; +WITH TEXT_IO; USE TEXT_IO; + +PROCEDURE EE3204A IS + + FILE1, FILE2 : FILE_TYPE; + ITEM : CHARACTER := 'B'; + INCOMPLETE : EXCEPTION; + +BEGIN + + TEST ("EE3204A", "CHECK THAT AFTER THE DEFAULT FILES HAVE BEEN " & + "REDEFINED, OUTPUT ON THE STANDARD " & + "FILES IS STILL PROPERLY HANDLED"); + + BEGIN + + BEGIN + CREATE (FILE1, OUT_FILE, LEGAL_FILE_NAME); + EXCEPTION + WHEN USE_ERROR => + NOT_APPLICABLE ("USE_ERROR RAISED ON CREATE " & + "WITH MODE OUT_FILE"); + RAISE INCOMPLETE; + WHEN NAME_ERROR => + NOT_APPLICABLE ("NAME_ERROR RAISED ON CREATE " & + "WITH MODE OUT_FILE"); + RAISE INCOMPLETE; + WHEN OTHERS => + FAILED ("UNEXPECTED EXCEPTION RAISED ON CREATE"); + RAISE INCOMPLETE; + END; + + CREATE (FILE2, OUT_FILE, LEGAL_FILE_NAME(2)); + PUT (FILE2, 'A'); + NEW_LINE (FILE2); + PUT (FILE2, 'B'); + + CLOSE (FILE2); + + BEGIN + OPEN (FILE2, IN_FILE, LEGAL_FILE_NAME(2)); + EXCEPTION + WHEN USE_ERROR => + NOT_APPLICABLE ("USE_ERROR RAISED ON OPEN WITH " & + "WITH MODE IN_FILE"); + RAISE INCOMPLETE; + END; + + SET_INPUT (FILE2); + + GET (ITEM); + IF ITEM /= 'A' THEN + FAILED ("INCORRECT VALUE READ FROM DEFAULT FILE"); + END IF; + + SET_OUTPUT (FILE1); + + PUT ("THIS TEST FAILS IF THIS APPEARS IN STANDARD OUTPUT"); + NEW_LINE; + PUT ("THIS TEST FAILS IF THIS APPEARS IN STANDARD OUTPUT"); + + PUT (STANDARD_OUTPUT, "FIRST LINE OF INPUT"); + NEW_LINE (STANDARD_OUTPUT); + PUT (STANDARD_OUTPUT, "SECOND LINE OF INPUT"); + + SPECIAL_ACTION ("CHECK THAT THE CONTENTS OF THE STANDARD " & + "OUTPUT FILE ARE CORRECT"); + SPECIAL_ACTION ("IT SHOULD CONTAIN:"); + SPECIAL_ACTION ("TEST HEADER LINES"); + SPECIAL_ACTION ("FIRST LINE OF INPUT"); + SPECIAL_ACTION ("SECOND LINE OF INPUT"); + + BEGIN + DELETE (FILE1); + DELETE (FILE2); + EXCEPTION + WHEN USE_ERROR => + NULL; + END; + + EXCEPTION + WHEN INCOMPLETE => + NULL; + END; + + RESULT; + +END EE3204A; diff --git a/gcc/testsuite/ada/acats/tests/e/ee3402b.ada b/gcc/testsuite/ada/acats/tests/e/ee3402b.ada new file mode 100644 index 00000000000..ee6660b1d94 --- /dev/null +++ b/gcc/testsuite/ada/acats/tests/e/ee3402b.ada @@ -0,0 +1,118 @@ +-- EE3402B.ADA + +-- Grant of Unlimited Rights +-- +-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, +-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained +-- unlimited rights in the software and documentation contained herein. +-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making +-- this public release, the Government intends to confer upon all +-- recipients unlimited rights equal to those held by the Government. +-- These rights include rights to use, duplicate, release or disclose the +-- released technical data and computer software in whole or in part, in +-- any manner and for any purpose whatsoever, and to have or permit others +-- to do so. +-- +-- DISCLAIMER +-- +-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR +-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED +-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE +-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE +-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A +-- PARTICULAR PURPOSE OF SAID MATERIAL. +--* +-- OBJECTIVE: +-- CHECK THAT NEW_LINE HAS AN OPTIONAL SPACING PARAMETER WITH +-- DEFAULT VALUE ONE, AND CHECK THAT NEW_LINE OPERATES ON THE +-- CURRENT DEFAULT OUTPUT FILE IF NO FILE IS SPECIFIED. + +-- APPLICABILITY CRITERIA: +-- THIS TEST IS APPLICABLE ONLY TO IMPLEMENTATIONS WHICH SUPPORT +-- TEXT FILES. + +-- PASS/FAIL CRITERIA: +-- THIS TEST IS PASSED IF IT EXECUTES, PRINTS TENTATIVELY PASSED, +-- AND THE CONTENTS OF THE STANDARD OUTPUT FILE ARE CORRECT. + +-- HISTORY: +-- ABW 08/26/82 +-- SPS 09/16/82 +-- TBN 11/04/86 REVISED TEST TO OUTPUT A NON_APPLICABLE +-- RESULT WHEN FILES ARE NOT SUPPORTED. +-- DWC 08/19/87 ADDED SPECIAL ACTION FUNCTION AND REMOVED +-- EXCEPTION HANDLERS. CHANGED TO AN E TEST. + +WITH REPORT; +USE REPORT; +WITH TEXT_IO; +USE TEXT_IO; +WITH CHECK_FILE; + +PROCEDURE EE3402B IS + + INCOMPLETE : EXCEPTION; + FILE, FILE_OUT : FILE_TYPE; + SPAC : CONSTANT POSITIVE_COUNT := POSITIVE_COUNT (IDENT_INT(4)); + TWO : CONSTANT POSITIVE_COUNT := POSITIVE_COUNT (IDENT_INT(2)); + FOUR : CONSTANT POSITIVE_COUNT := POSITIVE_COUNT (IDENT_INT(4)); + CUR_LINE : COUNT; + +BEGIN + + TEST ("EE3402B", "CHECK THAT NEW_LINE HAS AN OPTIONAL " & + "SPACING PARAMETER WITH DEFAULT VALUE ONE, " & + "AND CHECK THAT NEW_LINE OPERATES ON THE " & + "CURRENT DEFAULT OUTPUT FILE IF NO FILE IS " & + "SPECIFIED."); + + BEGIN + CREATE (FILE); + EXCEPTION + WHEN USE_ERROR => + NOT_APPLICABLE ("USE_ERROR RAISED; TEXT CREATE " & + "WITH OUT_FILE MODE"); + RAISE INCOMPLETE; + WHEN OTHERS => + FAILED ("UNEXPECTED EXCEPTION RAISED; TEXT CREATE - 1"); + RAISE INCOMPLETE; + END; + + CREATE (FILE_OUT); + + SPECIAL_ACTION ("CHECK OUTPUT FOR FOUR BLANK LINES"); + + NEW_LINE (FILE); + IF LINE (FILE) /= TWO THEN + FAILED ("SPACING DEFAULT NOT ONE"); + END IF; + + SPECIAL_ACTION ("FOUR BLANK LINES SHOULD FOLLOW THIS COMMENT"); + CUR_LINE := LINE (STANDARD_OUTPUT); + NEW_LINE (SPAC); + IF LINE (STANDARD_OUTPUT) /= CUR_LINE + 4 THEN + FAILED ("FILE DEFAULT NOT CORRECT FOR STANDARD_OUTPUT"); + END IF; + + SET_OUTPUT (FILE_OUT); + NEW_LINE (SPAC); + IF LINE (CURRENT_OUTPUT) /= FOUR + 1 THEN + FAILED ("FILE DEFAULT NOT CORRECT FOR CURRENT_OUTPUT"); + END IF; + + SET_OUTPUT (STANDARD_OUTPUT); -- RESET STANDARD OUTPUT + COMMENT ("CHECKING FILE"); + CHECK_FILE (FILE, "#@%"); + COMMENT ("CHECKING FILE_OUT"); + CHECK_FILE (FILE_OUT, "####@%"); + + CLOSE (FILE); + CLOSE (FILE_OUT); + + RESULT; + +EXCEPTION + WHEN INCOMPLETE => + RESULT; + +END EE3402B; diff --git a/gcc/testsuite/ada/acats/tests/e/ee3409f.ada b/gcc/testsuite/ada/acats/tests/e/ee3409f.ada new file mode 100644 index 00000000000..8460c466560 --- /dev/null +++ b/gcc/testsuite/ada/acats/tests/e/ee3409f.ada @@ -0,0 +1,103 @@ +-- EE3409F.ADA + +-- Grant of Unlimited Rights +-- +-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, +-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained +-- unlimited rights in the software and documentation contained herein. +-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making +-- this public release, the Government intends to confer upon all +-- recipients unlimited rights equal to those held by the Government. +-- These rights include rights to use, duplicate, release or disclose the +-- released technical data and computer software in whole or in part, in +-- any manner and for any purpose whatsoever, and to have or permit others +-- to do so. +-- +-- DISCLAIMER +-- +-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR +-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED +-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE +-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE +-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A +-- PARTICULAR PURPOSE OF SAID MATERIAL. +--* +-- OBJECTIVE: +-- CHECK THAT THE FILE PARAMETER FOR SET_COL IS OPTIONAL, AND +-- THAT THE FUNCTION IS THEN APPLIED TO THE CURRENT DEFAULT +-- OUTPUT FILE. + +-- APPLICABILITY CRITERIA: +-- THIS TEST IS APPLICABLE ONLY TO IMPLEMENTATIONS WHICH SUPPORT +-- CREATION OF TEMPORARY TEXT FILES WITH OUT_FILE MODE. + +-- PASS/FAIL CRITERIA: +-- THIS TEST IS PASSED IF IT EXECUTES, PRINTS TENTATIVELY PASSED, +-- AND THE CONTENTS OF THE STANDARD OUTPUT FILE ARE CORRECT. + +-- HISTORY: +-- ABW 08/26/82 +-- SPS 09/20/82 +-- TBN 11/10/86 REVISED TEST TO OUTPUT A NOT_APPLICABLE +-- RESULT WHEN FILES ARE NOT SUPPORTED. +-- JLH 08/31/87 CORRECTED EXCEPTION HANDLING, CHECKED FOR +-- USE_ERROR ON DELETE, AND RENAMED FROM +-- CE3409F.ADA. + +WITH REPORT; +USE REPORT; +WITH TEXT_IO; +USE TEXT_IO; + +PROCEDURE EE3409F IS + + INCOMPLETE : EXCEPTION; + FILE_OUT : FILE_TYPE; + TWO : POSITIVE_COUNT := POSITIVE_COUNT(IDENT_INT(2)); + THREE : POSITIVE_COUNT := POSITIVE_COUNT(IDENT_INT(3)); + +BEGIN + + TEST ("EE3409F", "CHECK DEFAULT FILE FOR SET_COL"); + + BEGIN + CREATE (FILE_OUT); + EXCEPTION + WHEN USE_ERROR => + NOT_APPLICABLE ("USE_ERROR RAISED ON TEXT CREATE " & + "FOR TEMPORARY FILES WITH " & + "OUT_FILE MODE"); + RAISE INCOMPLETE; + WHEN OTHERS => + FAILED ("UNEXPECTED EXCEPTION RAISED ON TEXT CREATE"); + RAISE INCOMPLETE; + END; + + SPECIAL_ACTION ("THE NEXT LINE SHOULD BEGIN IN COLUMN TWO"); + + SET_COL (TWO); + PUT ("SHOULD BEGIN IN COLUMN TWO"); + + IF COL (STANDARD_OUTPUT) /= 28 THEN + FAILED ("SET_COL DOES NOT OPERATE ON THE DEFAULT " & + "STANDARD_OUTPUT"); + END IF; + + NEW_LINE; + + SET_OUTPUT (FILE_OUT); + SET_COL (THREE); + IF COL (CURRENT_OUTPUT) /= THREE THEN + FAILED ("SET_COL DOES NOT OPERATE ON THE DEFAULT " & + "CURRENT_OUTPUT"); + END IF; + + CLOSE (FILE_OUT); + + RESULT; + +EXCEPTION + WHEN INCOMPLETE => + RESULT; + +END EE3409F; diff --git a/gcc/testsuite/ada/acats/tests/e/ee3412c.ada b/gcc/testsuite/ada/acats/tests/e/ee3412c.ada new file mode 100644 index 00000000000..b5c10ab49a9 --- /dev/null +++ b/gcc/testsuite/ada/acats/tests/e/ee3412c.ada @@ -0,0 +1,144 @@ +-- EE3412C.ADA + +-- Grant of Unlimited Rights +-- +-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687, +-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained +-- unlimited rights in the software and documentation contained herein. +-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making +-- this public release, the Government intends to confer upon all +-- recipients unlimited rights equal to those held by the Government. +-- These rights include rights to use, duplicate, release or disclose the +-- released technical data and computer software in whole or in part, in +-- any manner and for any purpose whatsoever, and to have or permit others +-- to do so. +-- +-- DISCLAIMER +-- +-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR +-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED +-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE +-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE +-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A +-- PARTICULAR PURPOSE OF SAID MATERIAL. +--* +-- OBJECTIVE: +-- CHECK THAT LINE OPERATES ON THE CURRENT DEFAULT OUTPUT FILE WHEN +-- NO FILE IS SPECIFIED. CHECK THAT LINE CAN OPERATE ON FILES OF +-- MODE IN_FILE AND OUT_FILE, INCLUDING THE CURRENT DEFAULT +-- INPUT_FILE. + +-- APPLICABILITY CRITERIA: +-- THIS TEST IS APPLICABLE ONLY TO IMPLEMENTATIONS WHICH SUPPORT +-- TEXT FILES. + +-- PASS/FAIL CRITERIA: +-- THIS TEST IS PASSED IF IT EXECUTES, PRINTS TENTATIVELY PASSED, +-- AND THE CONTENTS OF THE STANDARD OUTPUT FILE ARE CORRECT. + +-- HISTORY: +-- SPS 09/29/82 +-- JBG 08/30/83 +-- JLH 09/02/87 REMOVED DEPENDENCE ON RESET, REMOVED UNNECESSARY +-- CODE, CHECKED FOR USE_ERROR ON DELETE, AND RENAMED +-- FROM CE3412C.ADA. + +WITH REPORT; +USE REPORT; +WITH TEXT_IO; +USE TEXT_IO; + +PROCEDURE EE3412C IS + INCOMPLETE : EXCEPTION; + +BEGIN + + TEST ("EE3412C", "CHECK THAT LINE OPERATES ON DEFAULT IN_FILE " & + "AND OUT_FILE FILES"); + + DECLARE + F1, F2 : FILE_TYPE; + C : POSITIVE_COUNT; + X : CHARACTER; + ITEM : STRING (1..6); + BEGIN + C := LINE (STANDARD_OUTPUT); + NEW_LINE (STANDARD_OUTPUT); + SPECIAL_ACTION ("ONE BLANK LINE SHOULD PRECEDE THIS COMMENT"); + IF LINE /= C+2 THEN + FAILED ("DEFAULT FOR LINE NOT STANDARD_OUTPUT"); + END IF; + + BEGIN + CREATE (F1, OUT_FILE, LEGAL_FILE_NAME); + EXCEPTION + WHEN USE_ERROR => + NOT_APPLICABLE ("USE_ERROR RAISED ON TEXT CREATE " & + "WITH OUT_FILE MODE"); + RAISE INCOMPLETE; + WHEN NAME_ERROR => + NOT_APPLICABLE ("NAME_ERROR RAISED ON TEXT " & + "CREATE WITH OUT_FILE MODE"); + RAISE INCOMPLETE; + END; + + CREATE (F2, OUT_FILE); + + SET_OUTPUT (F2); + + FOR I IN 1 .. 6 LOOP + PUT (F1, "STRING"); + NEW_LINE (F1); + END LOOP; + IF LINE (F1) /= 7 THEN + FAILED ("LINE INCORRECT SUBTEST 1"); + END IF; + + SET_LINE_LENGTH (3); + PUT ("OUTPUT STRING"); + IF LINE /= LINE(F2) THEN + FAILED ("LINE INCORRECT SUBTEST 2"); + END IF; + + CLOSE (F1); + + BEGIN + OPEN (F1, IN_FILE, LEGAL_FILE_NAME); + EXCEPTION + WHEN USE_ERROR => + NOT_APPLICABLE ("USE_ERROR RAISED ON TEXT OPEN " & + "WITH IN_FILE MODE"); + RAISE INCOMPLETE; + END; + + SET_INPUT (F1); + + GET (F1, ITEM); + IF ITEM /= "STRING" THEN + FAILED ("INCORRECT VALUE READ"); + END IF; + + SKIP_LINE(F1); + SKIP_LINE(F1); + SKIP_LINE(F1); + IF LINE (CURRENT_INPUT) /= 4 AND LINE (F1) /= 4 THEN + FAILED ("LINE INCORRECT SUBTEST 3"); + END IF; + + BEGIN + DELETE (F1); + EXCEPTION + WHEN USE_ERROR => + NULL; + END; + + CLOSE (F2); + + EXCEPTION + WHEN INCOMPLETE => + NULL; + END; + + RESULT; + +END EE3412C; -- cgit v1.2.3