1-- { dg-do compile }
2-- { dg-options "-O" }
3
4with Unchecked_Conversion;
5with System; use System;
6with Opt58_Pkg; use Opt58_Pkg;
7
8procedure Opt58 is
9
10   function Convert is new Unchecked_Conversion (Integer, Rec);
11
12   Dword : Integer := 0;
13   I : Small_Int := F1 (Convert (Dword));
14
15begin
16   if F2 (Null_Address, I = 0) then
17      null;
18   end if;
19end Opt58;
20