gcc/testsuite/gnat.dg/controlled_record.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O2" }
   3
   4 with Ada.Text_IO; use Ada.Text_IO;
   5 with Assert;
   6
   7 package body Controlled_Record is
   8
   9    procedure Assert_Invariants (PA : Point_T) is
  10      PB : Point_T;
  11    begin
  12       Assert.Assert (PB.Pos = PA.Pos);
  13    end;
  14
  15 end Controlled_Record;