gcc/testsuite/gnat.dg/opt10.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O2" }
   3
   4 with Opt10_Pkg; use Opt10_Pkg;
   5
   6 procedure Opt10 is
   7
   8    procedure Compare_Rep_Data (MA, MB : Rep_Message) is
   9    begin
  10       if MA.Data /= MB.Data then
  11          raise Program_Error;
  12       end if;
  13    end;
  14
  15    procedure Check_Rep_For (Bit : Boolean) is
  16       MA, MB : Rep_Message;
  17    begin
  18       Safe_Assign (MA, Bit);
  19       Safe_Assign (MB, Bit);
  20       Compare_Rep_Data (MA, MB);
  21    end;
  22
  23 begin
  24    Check_Rep_For (Bit => False);
  25 end;
  26