-- { dg-do run }
-- { dg-options "-O2" }
with Casesi;
procedure Test_Casesi is
begin
Casesi.Try (1);
Casesi.Try (2);
Casesi.Try (3);
end;
-- { dg-do run }
-- { dg-options "-O2" }
with Casesi;
procedure Test_Casesi is
begin
Casesi.Try (1);
Casesi.Try (2);
Casesi.Try (3);
end;