gcc/testsuite/gnat.dg/opt58.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O" }
   3
   4 with Unchecked_Conversion;
   5 with System; use System;
   6 with Opt58_Pkg; use Opt58_Pkg;
   7
   8 procedure 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
  15 begin
  16    if F2 (Null_Address, I = 0) then
  17       null;
  18    end if;
  19 end Opt58;