Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/controlled_record.adb @ 118:fd00160c1b76
ifdef TARGET_64BIT
author | mir3636 |
---|---|
date | Tue, 27 Feb 2018 15:01:35 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
-- { 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;