gcc/testsuite/gnat.dg/renaming8.adb


1
2
3
4
5
6
7
8
9
10
11

-- { dg-do run }
-- { dg-options "-gnatp" }

with Renaming8_Pkg1; use Renaming8_Pkg1;

procedure Renaming8 is
begin
  if not B then
    raise Program_Error;
  end if;
end;