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
2015-07-03 Christophe Lyon <christophe.lyon@linaro.org>
[official-gcc.git]
/
gcc
/
testsuite
/
gnat.dg
/
array9.adb
blob
4a13876187241ab86a5f11e4622575d5217b11d2
1
-- { dg-do run }
2
3
procedure
Array9
is
4
5
V1
:
String
(
1
.
.10
) :=
"1234567890"
;
6
V2
:
String
(
1
..-
1
) :=
""
;
7
8
procedure
Compare
(
S
:
String
)
is
9
begin
10
if
S
'Size
/=
8
*
S
'Length
then
11
raise
Program_Error
;
12
end if
;
13
end
;
14
15
begin
16
Compare
(
""
);
17
Compare
(
"1234"
);
18
Compare
(
V1
);
19
Compare
(
V2
);
20
end
;