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
Require target lra in gcc.dg/pr108095.c
[official-gcc.git]
/
gcc
/
testsuite
/
gnat.dg
/
range_check3_pkg.adb
blob
50c1b1d7bcdda9097c6f38c903e5f9aec6be6bcf
1
package body
Range_Check3_Pkg
is
2
function
One
return
Positive
is
3
begin
4
return
1
;
5
end
One
;
6
7
function
Zero
return
Natural
is
8
begin
9
return
0
;
10
end
Zero
;
11
12
function
Allocate
return
Array_Access
is
13
begin
14
return
15
new
Array_Type
16
(
Positive
(
One
) ..
Positive
(
Zero
));
-- Failed range check
17
end
Allocate
;
18
end
Range_Check3_Pkg
;