-- { 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;