Mercurial > hg > CbC > CbC_gcc

comparison gcc/testsuite/ada/acats/tests/c9/c95040d.ada @ 111:04ced10e8804

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children
comparison
equal deleted inserted replaced
68:561a7518be6b 111:04ced10e8804
1 -- C95040D.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 TASKING_ERROR IS RAISED IN A CALLING
26 -- TASK WHEN THE TASK OWNING THE ENTRY TERMINATES BEFORE RENDEZVOUS
27 -- CAN OCCUR.
28
29 -- CHECK THAT RE-RAISING TASKING_ERROR, ONCE TRAPPED IN THE CALLER,
30 -- DOES NOT PROPAGATE OUTSIDE THE TASK BODY.
31
32 -- GOM 11/29/84
33 -- JWC 05/14/85
34 -- PWB 02/11/86 CORRECTED CALL TO TEST TO SHOW CORRECT TEST NAME.
35 -- RLB 12/15/99 REMOVED POTENTIALLY ERRONEOUS CALLS TO REPORT.COMMENT.
36
37 WITH REPORT;
38 USE REPORT;
39
40 PROCEDURE C95040D IS
41
42 PROCEDURE DRIVER IS
43
44 TASK NEST IS
45 ENTRY OUTER;
46 ENTRY INNER;
47 END NEST;
48
49 TASK SLAVE;
50
51 TASK BODY NEST IS
52 BEGIN
53 --COMMENT("AT TOP OF 'NEST' TASK WAITING ON 'OUTER' " &
54 -- "RENDEZVOUS");
55
56 ACCEPT OUTER DO
57 --COMMENT("IN 'OUTER' RENDEZVOUS OF 'NEST' TASK " &
58 -- "ABOUT TO 'RETURN'");
59
60 RETURN; -- CAUSES 'INNER' RENDEZVOUS TO BE SKIPPED.
61
62 ACCEPT INNER DO
63 FAILED("'INNER' RENDEZVOUS OF 'NEST' TASK " &
64 "SHOULD NEVER BE PERFORMED");
65 END INNER;
66 END OUTER;
67
68 --COMMENT("'OUTER' RENDEZVOUS COMPLETED IN 'NEST' TASK " &
69 -- "AND NOW TERMINATING");
70 END NEST;
71
72 TASK BODY SLAVE IS
73 BEGIN
74 --COMMENT("AT TOP OF 'SLAVE' TASK. CALLING 'INNER' " &
75 -- "RENDEZVOUS");
76
77 NEST.INNER;
78
79 FAILED("SHOULD HAVE RAISED 'TASKING_ERROR' IN 'SLAVE' " &
80 "TASK");
81 EXCEPTION
82 WHEN TASKING_ERROR =>
83 --COMMENT("'SLAVE' TASK CORRECTLY TRAPPING " &
84 -- "'TASKING_ERROR' AND RE-RAISING IT (BUT " &
85 -- "SHOULD NOT BE PROPAGATED)");
86 RAISE;
87 END SLAVE;
88
89 BEGIN -- START OF DRIVER PROCEDURE.
90
91 --COMMENT("AT TOP OF 'DRIVER'. CALLING 'OUTER' ENTRY OF " &
92 -- "'NEST' TASK");
93
94 NEST.OUTER;
95
96 --COMMENT("'OUTER' RENDEZVOUS COMPLETED. 'DRIVER' AWAITING " &
97 -- "TERMINATION OF 'NEST' AND 'SLAVE' TASKS");
98
99 EXCEPTION
100 WHEN TASKING_ERROR =>
101 FAILED("'TASKING_ERROR' CAUGHT IN 'DRIVER' WHEN IT " &
102 "SHOULD HAVE BEEN CAUGHT IN 'SLAVE' TASK, OR " &
103 "'TASKING_ERROR' WAS INCORRECTLY PROPAGATED BY " &
104 "'SLAVE' TASK");
105 END DRIVER;
106
107 BEGIN -- START OF MAIN PROGRAM.
108
109 TEST("C95040D","CHECK THAT 'TASKING_ERROR' IS RAISED IN A " &
110 "CALLER TASK WHEN TASK OWNING THE ENTRY CANNOT " &
111 "PERFORM RENDEZVOUS. ALSO CHECK THAT " &
112 "'TASKING_ERROR', ONCE RAISED, IS NOT PROPAGATED " &
113 "OUTSIDE THE TASK BODY");
114
115 --COMMENT("MAIN PROGRAM CALLING 'DRIVER' PROCEDURE");
116
117 DRIVER;
118
119 --COMMENT("MAIN PROGRAM NOW TERMINATING");
120
121 RESULT;
122 END C95040D;