* snames.ads-tmpl (Name_Ivdep): New pragma-related name.

[official-gcc.git] / gcc / testsuite / gnat.dg / constant2.adb

-- { 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;