gcc-4.9/gcc/testsuite/gnat.dg/tree_static_use.adb


1
2
3
4
5
6
7
8
9
10
11
12

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

with TREE_STATIC_Def; use TREE_STATIC_Def;

procedure TREE_STATIC_Use is
   I : Int := One;
begin
   check (I, 1);
end;