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