aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/testsuite/ada/acats/tests/c5/c55b15a.ada
diff options
context:
space:
mode:
Diffstat (limited to 'gcc-4.9/gcc/testsuite/ada/acats/tests/c5/c55b15a.ada')
-rw-r--r--gcc-4.9/gcc/testsuite/ada/acats/tests/c5/c55b15a.ada207
1 files changed, 207 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/ada/acats/tests/c5/c55b15a.ada b/gcc-4.9/gcc/testsuite/ada/acats/tests/c5/c55b15a.ada
new file mode 100644
index 000000000..a04941962
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/ada/acats/tests/c5/c55b15a.ada
@@ -0,0 +1,207 @@
+-- C55B15A.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 THAT IF A DISCRETE_RANGE OF THE FORM 'ST RANGE L..R'
+-- RAISES AN EXCEPTION BECAUSE L OR R IS A NON-STATIC
+-- EXPRESSION WHOSE VALUE IS OUTSIDE THE RANGE OF VALUES
+-- ASSOCIATED WITH ST (OR BECAUSE ST'FIRST IS NON-STATIC
+-- AND L IS STATIC AND LESS THAN ST'FIRST ; SIMILARLY FOR
+-- ST'LAST AND R ), CONTROL DOES NOT ENTER THE LOOP.
+
+-- *** 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 04/13/81
+-- SPS 11/01/82
+-- BHS 07/13/84
+-- EG 10/28/85 FIX NUMERIC_ERROR/CONSTRAINT_ERROR ACCORDING TO
+-- AI-00387.
+-- MRM 03/30/93 REMOVED NUMERIC_ERROR FOR 9X COMPATIBILITY
+-- GJD 11/15/95 REMOVED CASE OF POTENTIALLY STATICALLY INCOMPATIBLE RANGE.
+
+WITH SYSTEM;
+WITH REPORT;
+PROCEDURE C55B15A IS
+
+ USE REPORT ;
+
+BEGIN
+
+ TEST( "C55B15A" , "WHEN 'FOR I IN ST RANGE L..R LOOP' " &
+ "RAISES AN EXCEPTION, CONTROL DOES NOT ENTER " &
+ "THE BODY OF THE LOOP" );
+
+ -------------------------------------------------------------------
+ ----------------- STATIC (SUB)TYPE, DYNAMIC RANGE -----------------
+
+ DECLARE
+
+ SUBTYPE ST IS INTEGER RANGE 1..4 ;
+
+ FIRST : CONSTANT INTEGER := IDENT_INT( 1) ;
+ SECOND : CONSTANT INTEGER := IDENT_INT( 2) ;
+ THIRD : CONSTANT INTEGER := IDENT_INT( 3) ;
+ FOURTH : CONSTANT INTEGER := IDENT_INT( 4) ;
+ FIFTH : CONSTANT INTEGER := IDENT_INT( 5) ;
+ TENTH : CONSTANT INTEGER := IDENT_INT(10) ;
+ ZEROTH : CONSTANT INTEGER := IDENT_INT( 0) ;
+
+ BEGIN
+
+ BEGIN
+
+ FOR I IN ST RANGE 3..TENTH LOOP
+ FAILED( "EXCEPTION NOT RAISED (I1)" );
+ END LOOP;
+
+ EXCEPTION
+
+ WHEN CONSTRAINT_ERROR => NULL ;
+ WHEN OTHERS =>
+ FAILED( "WRONG EXCEPTION RAISED (I1)" );
+
+ END ;
+
+
+ BEGIN
+
+ FOR I IN ST RANGE 0..THIRD LOOP
+ FAILED( "EXCEPTION NOT RAISED (I2)" );
+ END LOOP;
+
+ EXCEPTION
+
+ WHEN CONSTRAINT_ERROR => NULL ;
+ WHEN OTHERS =>
+ FAILED( "WRONG EXCEPTION RAISED (I2)" );
+
+ END ;
+ END ;
+
+
+ -------------------------------------------------------------------
+ ----------------- DYNAMIC (SUB)TYPE, STATIC RANGE -----------------
+
+ DECLARE
+
+ TYPE ENUM IS ( AMINUS , A,B,C,D,E, F,G,H,I,J );
+
+ SUBTYPE ST IS ENUM RANGE ENUM'VAL( IDENT_INT( 1) ) ..
+ ENUM'VAL( IDENT_INT( 4) ) ;
+
+ FIRST : CONSTANT ENUM := A ;
+ SECOND : CONSTANT ENUM := B ;
+ THIRD : CONSTANT ENUM := C ;
+ FOURTH : CONSTANT ENUM := D ;
+ FIFTH : CONSTANT ENUM := E ;
+ TENTH : CONSTANT ENUM := J ;
+ ZEROTH : CONSTANT ENUM := AMINUS ;
+
+ BEGIN
+
+ BEGIN
+
+ FOR I IN ST RANGE C..TENTH LOOP
+ FAILED( "EXCEPTION NOT RAISED (E1)" );
+ END LOOP;
+
+ EXCEPTION
+
+ WHEN CONSTRAINT_ERROR => NULL ;
+ WHEN OTHERS =>
+ FAILED( "WRONG EXCEPTION RAISED (E1)" );
+
+ END ;
+
+
+ BEGIN
+
+ FOR I IN ST RANGE AMINUS..THIRD LOOP
+ FAILED( "EXCEPTION NOT RAISED (E2)" );
+ END LOOP;
+
+ EXCEPTION
+
+ WHEN CONSTRAINT_ERROR => NULL ;
+ WHEN OTHERS =>
+ FAILED( "WRONG EXCEPTION RAISED (E2)" );
+
+ END ;
+
+ END ;
+
+
+ DECLARE
+
+ SUBTYPE ST IS CHARACTER RANGE IDENT_CHAR( 'A' ) ..
+ IDENT_CHAR( 'D' ) ;
+
+ FIRST : CONSTANT CHARACTER := 'A' ;
+ SECOND : CONSTANT CHARACTER := 'B' ;
+ THIRD : CONSTANT CHARACTER := 'C' ;
+ FOURTH : CONSTANT CHARACTER := 'D' ;
+ FIFTH : CONSTANT CHARACTER := 'E' ;
+ TENTH : CONSTANT CHARACTER := 'J' ;
+ ZEROTH : CONSTANT CHARACTER := '0' ;--ZERO; PRECEDES LETTERS
+
+ BEGIN
+
+ BEGIN
+
+ FOR I IN ST RANGE 'C'..TENTH LOOP
+ FAILED( "EXCEPTION NOT RAISED (C1)" );
+ END LOOP;
+
+ EXCEPTION
+
+ WHEN CONSTRAINT_ERROR => NULL ;
+ WHEN OTHERS =>
+ FAILED( "WRONG EXCEPTION RAISED (C1)" );
+
+ END ;
+
+
+ BEGIN
+
+ FOR I IN ST RANGE '0'..THIRD LOOP -- ZERO..'C'
+ FAILED( "EXCEPTION NOT RAISED (C2)" );
+ END LOOP;
+
+ EXCEPTION
+
+ WHEN CONSTRAINT_ERROR => NULL ;
+ WHEN OTHERS =>
+ FAILED( "WRONG EXCEPTION RAISED (C2)" );
+
+ END ;
+
+ END ;
+
+
+ RESULT ;
+
+
+END C55B15A ;