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
2016-11-21 Thomas Preud'homme <thomas.preudhomme@arm.com>
[official-gcc.git]
/
gcc
/
testsuite
/
gnat.dg
/
loop_boolean.adb
blob
f2836c393431fae46532f1781931e6abc8c129a2
1
-- { dg-do run }
2
-- { dg-options "-gnatVaM" }
3
4
procedure
Loop_Boolean
is
5
6
type
R
is record
7
B
:
Boolean
;
8
end record
;
9
10
procedure
proc
(
X
:
R
)
is
11
B
:
Boolean
;
12
begin
13
B
:=
X
.
B
;
14
end
;
15
16
begin
17
for
I
in reverse
Boolean
loop
18
Proc
((
B
=>
I
));
19
end loop
;
20
end
;