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
[C++ PATCH]: instantiation via vtable marking
[official-gcc.git]
/
gcc
/
testsuite
/
gnat.dg
/
testint.adb
blob
a5faf4a57ffd2bf9a0b7b6d4de250cd1a904d03d
1
-- { dg-do run }
2
-- { dg-options "-gnato" }
3
4
with
Text_IO
;
use
Text_IO
;
5
procedure
testint
is
6
function
m1
(
a
,
b
:
short_integer
)
return
integer
is
7
begin
8
return
integer
(
a
+
b
);
9
end
m1
;
10
f
:
integer
;
11
begin
12
f
:=
m1
(
short_integer
'Last
,
short_integer
'Last
);
13
end
testint
;