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
PR debug/66535
[official-gcc.git]
/
gcc
/
testsuite
/
gnat.dg
/
opt34_pkg.ads
blob
83ecb493ef4ff243071cd652495b94c64c56a6b5
1
package
Opt34_Pkg
is
2
3
type
T_Private
is record
4
I
:
Integer
:=
0
;
5
end record
;
6
7
T_Private_Zero
:
constant
T_Private
:= (
I
=>
0
);
8
9
function
Get_Private
(
I
:
Integer
)
return
T_Private
;
10
function
Get_Integer
(
X
:
T_Private
)
return
Integer
;
11
12
procedure
Assert
(
Cond
:
Boolean
);
13
14
end
Opt34_Pkg
;