summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/tree_static_def.ads
blob: 1ea58ee03e4984fb4a6a9b2a2ae6a6ff5d125d8e (plain)
1
2
3
4
5
6
7
8
9
10
package TREE_STATIC_Def is

   type Int is record
      Value : Integer;
   end record;

   procedure check (I : Int; v : integer);

   One : constant Int := (Value => 1);
end;