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