gcc/testsuite/ada/acats/tests/cb/cb1004a.ada

   1 -- CB1004A.ADA
   2
   3 --                             Grant of Unlimited Rights
   4 --
   5 --     Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
   6 --     F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
   7 --     unlimited rights in the software and documentation contained herein.
   8 --     Unlimited rights are defined in DFAR 252.227-7013(a)(19).  By making
   9 --     this public release, the Government intends to confer upon all
  10 --     recipients unlimited rights  equal to those held by the Government.
  11 --     These rights include rights to use, duplicate, release or disclose the
  12 --     released technical data and computer software in whole or in part, in
  13 --     any manner and for any purpose whatsoever, and to have or permit others
  14 --     to do so.
  15 --
  16 --                                    DISCLAIMER
  17 --
  18 --     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
  19 --     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
  20 --     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
  21 --     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
  22 --     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
  23 --     PARTICULAR PURPOSE OF SAID MATERIAL.
  24 --*
  25 -- CHECK THAT EXCEPTIONS DECLARED IN RECURSIVE PROCEDURES ARE NOT
  26 --    REPLICATED ANEW FOR EACH RECURSIVE ACTIVATION OF THE PROCEDURE.
  27
  28 -- DCB 03/30/80
  29 -- JRK 11/17/80
  30 -- SPS 3/23/83
  31
  32 WITH REPORT;
  33 PROCEDURE CB1004A IS
  34
  35      USE REPORT;
  36
  37      FLOW_COUNT : INTEGER := 0;
  38
  39      PROCEDURE P1(SWITCH1 : IN INTEGER) IS
  40
  41           E1 : EXCEPTION;
  42
  43           PROCEDURE P2 IS
  44
  45           BEGIN
  46                FLOW_COUNT := FLOW_COUNT + 1;   -- 3
  47                P1(2);
  48                FAILED("EXCEPTION NOT PROPAGATED");
  49
  50           EXCEPTION
  51                WHEN E1 =>
  52                     FLOW_COUNT := FLOW_COUNT + 1;   -- 6
  53                WHEN OTHERS =>
  54                     FAILED("WRONG EXCEPTION RAISED");
  55           END P2;
  56
  57      BEGIN
  58           FLOW_COUNT := FLOW_COUNT + 1;   -- 2   -- 4
  59           IF SWITCH1 = 1 THEN
  60                P2;
  61           ELSIF SWITCH1 = 2 THEN
  62                FLOW_COUNT := FLOW_COUNT + 1;   -- 5
  63                RAISE E1;
  64                FAILED("EXCEPTION NOT RAISED");
  65           END IF;
  66      END P1;
  67
  68 BEGIN
  69      TEST("CB1004A","CHECK THAT EXCEPTIONS ARE NOT RECURSIVELY " &
  70                     "REPLICATED");
  71
  72      FLOW_COUNT := FLOW_COUNT + 1;   -- 1
  73      P1(1);
  74
  75      IF FLOW_COUNT /= 6 THEN
  76           FAILED("INCORRECT FLOW_COUNT VALUE");
  77      END IF;
  78
  79      RESULT;
  80
  81 EXCEPTION
  82      WHEN OTHERS =>
  83           FAILED("EXCEPTION HANDLED IN WRONG SCOPE");
  84           RESULT;
  85 END CB1004A;