OSDN Git Service
(root)
/
pf3gnuchains
/
gcc-fork.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
In gcc/testsuite/:
[pf3gnuchains/gcc-fork.git]
/
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;