URL
https://opencores.org/ocsvn/scarts/scarts/trunk
Subversion Repositories scarts
[/] [scarts/] [trunk/] [toolchain/] [scarts-gcc/] [gcc-4.1.1/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [c6/] [c64005b.ada] - Rev 12
Compare with Previous | Blame | View Log
-- C64005B.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 A SUBPROGRAM CAN BE CALLED RECURSIVELY AND THAT NON-LOCAL -- VARIABLES AND CONSTANTS ARE PROPERLY ACCESSED FROM WITHIN RECURSIVE -- INVOCATIONS. -- CPP 7/2/84 WITH REPORT; USE REPORT; PROCEDURE C64005B IS COUNT : INTEGER := 0; TWENTY : CONSTANT INTEGER := 20; C1 : CONSTANT INTEGER := 1; G1, G2, G3 : INTEGER := 0; G4, G5 : INTEGER := 0; PROCEDURE R (A1 : INTEGER; A2 : IN OUT INTEGER; A3 : OUT INTEGER) IS C1 : CONSTANT INTEGER := 5; TEN : CONSTANT INTEGER := 10; J1, J2 : INTEGER := 1; J3 : INTEGER := 0; PROCEDURE RECURSE (P1 : INTEGER; P2 : IN OUT INTEGER) IS C1 : INTEGER := 2; BEGIN -- RECURSE C1 := IDENT_INT (10); IF P1 < TWENTY THEN RECURSE (P1 + C1, G2); G1 := G1 + C64005B.C1; G3 := G3 + P1; P2 := P2 + IDENT_INT(2); A2 := A2 + IDENT_INT(1); J2 := J2 + R.C1; END IF; END RECURSE; BEGIN -- R IF A2 < TEN THEN A2 := A2 + C1; RECURSE (0, J1); J3 := J3 + TEN; COUNT := COUNT + 1; COMMENT ("ON PASS # " & INTEGER'IMAGE(COUNT)); COMMENT ("VALUE OF A2 IS " & INTEGER'IMAGE(A2)); COMMENT ("VALUE OF J3 IS " & INTEGER'IMAGE(J3)); R (0, A2, J3); J3 := J3 + A2; END IF; A3 := J1 + J3; END R; BEGIN TEST("C64005B", "RECURSIVE SUBPROGRAMS WITH ALL KINDS " & "OF DATA ACCESS"); R (0, G4, G5); IF (COUNT /= 2) OR (G1 /= 4) OR (G2 /= 4) OR (G3 /= 20) OR (G4 /= 14) OR (G5 /= 35) THEN FAILED ("RECURSIVE INVOCATIONS' DATA ACCESS IS NOT" & " WORKING CORRECTLY"); END IF; COMMENT ("VALUE OF COUNT IS " & INTEGER'IMAGE(COUNT)); COMMENT ("VALUE OF G1 IS " & INTEGER'IMAGE(G1)); COMMENT ("VALUE OF G2 IS " & INTEGER'IMAGE(G2)); COMMENT ("VALUE OF G3 IS " & INTEGER'IMAGE(G3)); COMMENT ("VALUE OF G4 IS " & INTEGER'IMAGE(G4)); COMMENT ("VALUE OF G5 IS " & INTEGER'IMAGE(G5)); RESULT; EXCEPTION WHEN PROGRAM_ERROR => FAILED ("PROGRAM_ERROR RAISED"); COMMENT ("VALUE OF COUNT IS " & INTEGER'IMAGE(COUNT)); COMMENT ("VALUE OF G1 IS " & INTEGER'IMAGE(G1)); COMMENT ("VALUE OF G2 IS " & INTEGER'IMAGE(G2)); COMMENT ("VALUE OF G3 IS " & INTEGER'IMAGE(G3)); COMMENT ("VALUE OF G4 IS " & INTEGER'IMAGE(G4)); COMMENT ("VALUE OF G5 IS " & INTEGER'IMAGE(G5)); RESULT; END C64005B;