summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/opt10.adb
blob: 5a256a04e8774286512a0ecc631ae1b3d2ccacda (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
-- { dg-do compile }
-- { dg-options "-O2" }

with Opt10_Pkg; use Opt10_Pkg;

procedure Opt10 is

   procedure Compare_Rep_Data (MA, MB : Rep_Message) is
   begin
      if MA.Data /= MB.Data then
         raise Program_Error;
      end if;
   end;

   procedure Check_Rep_For (Bit : Boolean) is
      MA, MB : Rep_Message;
   begin
      Safe_Assign (MA, Bit);
      Safe_Assign (MB, Bit);
      Compare_Rep_Data (MA, MB);
   end;

begin
   Check_Rep_For (Bit => False);
end;