blob: e7848701818619ab60ffa5d159031cb876aa4714 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
-- { dg-do compile }
-- { dg-options "-gnatwa" }
with Ada.Exceptions;
procedure Warn25 is
CASA_Unavailable : Ada.Exceptions.Exception_Occurrence;
use Ada.Exceptions;
begin
while True loop
declare
begin
if Exception_Identity (CASA_Unavailable) = Null_Id then
exit;
end if;
exception
when E : others =>
Save_Occurrence (Source => E, Target => CASA_Unavailable);
end;
end loop;
if Exception_Identity (CASA_Unavailable) /= Null_Id then
Reraise_Occurrence (CASA_Unavailable);
end if;
end;
|
