repo.or.cz
/
official-gcc.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
RISC-V: Add support for riscv-*-*.
[official-gcc.git]
/
gcc
/
testsuite
/
gnat.dg
/
discr47.adb
blob
0aaa655ca785bef89da875c9d740eaba501ffe3c
1
-- { dg-do run }
2
-- { dg-options "-O -gnatws" }
3
4
procedure
Discr47
is
5
6
type
Rec
(
D
:
Boolean
:=
False
)
is record
7
case
D
is
8
when
True
=>
null
;
9
when
False
=>
C
:
Character
;
10
end case
;
11
end record
;
12
13
R
:
Rec
;
14
15
begin
16
if
R
'Size
/=
16
then
17
raise
Program_Error
;
18
end if
;
19
end
;