1-- { dg-do run } 2-- { dg-options "-O2" } 3 4with Opt12_Pkg; use Opt12_Pkg; 5 6procedure Opt12 is 7 8 Static_Target : Static_Integer_Subtype; 9 10begin 11 12 Static_Target := Static_Integer_Subtype(Fix_Half); 13 14 if not Equal(Static_Target, 1) then 15 raise Program_Error; 16 end if; 17 18end Opt12; 19