summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/constant2.adb
blob: 41c7e9140360b9e304a33c6a7ede8f0ab1c0c033 (plain)
1
2
3
4
5
6
7
8
9
10
11
-- { dg-do run }
-- { dg-options "-gnatVa" }

with Constant2_Pkg1; use Constant2_Pkg1;

procedure Constant2 is
begin
  if Val then
    raise Program_Error;
  end if;
end;