14 lines
195 B
Ada
14 lines
195 B
Ada
|
-- { dg-do run }
|
||
|
|
-- { dg-options "-gnatVa" }
|
||
|
|
|
||
|
|
with Valid4_Pkg; use Valid4_Pkg;
|
||
|
|
|
||
|
|
procedure Valid4 is
|
||
|
|
begin
|
||
|
|
Proc (Global);
|
||
|
|
|
||
|
|
if Global then
|
||
|
|
raise Program_Error;
|
||
|
|
end if;
|
||
|
|
end Valid4;
|