repo.or.cz
/
official-gcc
/
graphite-test-results.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Merge from mainline (165734:167278).
[official-gcc/graphite-test-results.git]
/
gcc
/
testsuite
/
gnat.dg
/
alignment9.adb
blob
ae7a7f67e9e8bb44f2430ce992d3729406b8813e
1
-- { dg-do run }
2
-- { dg-options "-gnatws" }
3
4
procedure
Alignment9
is
5
6
type
Kind
is
(
Small
,
Large
);
7
for
Kind
'Size
use
8
;
8
9
type
Header
is
10
record
11
K
:
Kind
;
12
I
:
Integer
;
13
end record
;
14
15
for
Header
use
16
record
17
K
at
4
range
0
.
.7
;
18
I
at
0
range
0
.
.31
;
19
end record
;
20
21
for
Header
'Size
use
5
*
8
;
22
for
Header
'Alignment
use
1
;
23
24
H
:
Header
;
25
26
begin
27
if
H
'Size
/=
40
then
28
raise
Program_Error
;
29
end if
;
30
end
;