gcc/testsuite/gnat.dg/debug6.adb


1
2
3
4
5
6
7
8
9
10

-- { dg-do compile }
-- { dg-options "-g" }

with Debug6_Pkg; use Debug6_Pkg;

procedure Debug6 is
   V : Value := (Kind => Undefined);
begin
   Process (V);
end Debug6;