1 files changed, 116 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/ada/acats/tests/a/a83a02b.ada b/gcc-4.9/gcc/testsuite/ada/acats/tests/a/a83a02b.ada
new file mode 100644
index 000000000..7613f09ae
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/ada/acats/tests/a/a83a02b.ada
@@ -0,0 +1,116 @@
+-- A83A02B.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 LABEL IN A NESTED TASK CAN BE IDENTICAL TO A LABEL
+--    OUTSIDE THE TASK.  
+
+
+-- "INSIDE LABEL":  INSIDE   * TASK BODY                  _TASK        A
+--                           * BLOCK IN TASK BODY         _TASKBLOCK   B
+--                           * LOOP IN BLOCK IN TASK BODY _TASKBLOCKLOOP
+--                           * ACCEPT ST. WITHIN TASK BDY _TASKACCEPT  D
+
+-- "OUTSIDE LABEL": INSIDE   * MAIN                       _MAIN        1
+--                           * BLOCK IN MAIN              _BLOCK       2
+--                           * LOOP IN BLOCK IN MAIN      _BLOCKLOOP   3
+--                           * LOOP IN MAIN               _LOOP        4
+
+-- CASES TESTED:  A1  B2  A3  B4                        |  1 2 3 4
+--                D1  C2  C3  D4                     ---+----------
+--                                                    A |  X . X .
+--                                                    B |  . X . X
+--                                                    C |  . X X .
+--                                                    D |  X . . X
+  
+
+-- RM 02/10/80
+
+
+WITH REPORT ;
+PROCEDURE  A83A02B  IS
+
+     USE REPORT ;
+
+     TASK TYPE  TASK1  IS
+          ENTRY  E1 ;
+     END  TASK1 ;
+
+     TASK BODY  TASK1  IS
+     BEGIN
+
+          << LAB_TASK_MAIN >>                    NULL ;  -- A1    A
+          << LAB_TASK_BLOCKLOOP >>               NULL ;  -- A3
+
+          BEGIN
+
+               << LAB_TASKBLOCK_BLOCK >>         NULL ;  -- B2    B
+               << LAB_TASKBLOCK_LOOP >>          NULL ;  -- B4
+
+               FOR  I  IN  1..2  LOOP
+                    << LAB_TASKBLOCKLOOP_BLOCK >>NULL ;  -- C2    C
+                    << LAB_TASKBLOCKLOOP_BLOCKLOOP >>
+                                                 NULL ;  -- C3        
+               END LOOP;
+
+          END ;
+
+          ACCEPT  E1  DO
+               << LAB_TASKACCEPT_MAIN >>         NULL ;  -- D1    D
+               << LAB_TASKACCEPT_LOOP >>         NULL ;  -- D4
+          END  E1 ;
+
+     END  TASK1 ;
+
+BEGIN                                                       
+
+     TEST( "A83A02B" , "CHECK THAT A LABEL IN A NESTED TASK" &
+                       " CAN BE IDENTICAL TO A LABEL"   &
+                       " OUTSIDE THE TASK" );
+
+     << LAB_TASK_MAIN >>                         NULL ;  -- A1         1
+     << LAB_TASKACCEPT_MAIN >>                   NULL ;  -- D1
+
+
+     BEGIN
+
+          << LAB_TASKBLOCK_BLOCK >>              NULL ;  -- B2         2
+          << LAB_TASKBLOCKLOOP_BLOCK >>          NULL ;  -- C2
+
+          FOR  I  IN  1..2  LOOP
+               << LAB_TASK_BLOCKLOOP >>          NULL ;  -- A3         3
+               << LAB_TASKBLOCKLOOP_BLOCKLOOP >> NULL ;  -- C3
+          END LOOP;
+
+     END ;
+
+     FOR  I  IN  1..2  LOOP
+          << LAB_TASKBLOCK_LOOP >>               NULL ;  -- B4         4
+          << LAB_TASKACCEPT_LOOP >>              NULL ;  -- D4
+     END LOOP;
+
+
+     RESULT ;
+
+
+END A83A02B ;