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