OSDN Git Service

* gcc.dg/march.c: Ignore a note for some targets.
[pf3gnuchains/gcc-fork.git] / gcc / testsuite / gnat.dg / constant2.adb
1 -- { dg-do run }
2 -- { dg-options "-gnatVa" }
3
4 with Constant2_Pkg1; use Constant2_Pkg1;
5
6 procedure Constant2 is
7 begin
8   if Val then
9     raise Program_Error;
10   end if;
11 end;