summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/controlled_record.adb
blob: 89a9380b9d2a3fd39577baa8497070f6389150e6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
-- { dg-do compile }
-- { dg-options "-O2" }

with Ada.Text_IO; use Ada.Text_IO;
with Assert;

package body Controlled_Record is
   
   procedure Assert_Invariants (PA : Point_T) is
     PB : Point_T;
   begin
      Assert.Assert (PB.Pos = PA.Pos);
   end;

end Controlled_Record;