1-- { dg-do run }
2-- { dg-options "-O1" }
3
4with TREE_STATIC_Def; use TREE_STATIC_Def;
5
6procedure TREE_STATIC_Use is
7   I : Int := One;
8begin
9   check (I, 1);
10end;
11
12
13