projects
/
platform
/
upstream
/
gcc48.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
remove unused files
[platform/upstream/gcc48.git]
/
gcc
/
testsuite
/
gnat.dg
/
range_check.adb
1
-- { dg-do run }
2
3
procedure range_check is
4
function ident (x : integer) return integer is
5
begin
6
return x;
7
end ident;
8
9
guard1 : Integer;
10
11
r : array (1 .. ident (10)) of integer;
12
pragma Suppress (Index_Check, r);
13
14
guard2 : Integer;
15
16
begin
17
guard1 := 0;
18
guard2 := 0;
19
r (11) := 3;
20
end;