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
/
loop_invariant1.adb
blob
a5c94769ab62e5cb17411d4bddf96e00f87b0a8d
1
-- { dg-do compile }
2
-- { dg-options "-gnata" }
3
4
package body
Loop_Invariant1
is
5
6
procedure
Proc
(
A
:
Arr
;
N
:
Integer
)
is
7
I
:
Integer
:=
A
'First
;
8
begin
9
while
i
<=
A
'Last
and then
A
(
A
'First
..
A
'Last
) /=
A
loop
10
pragma
Loop_Invariant
(
N
=
N
'Loop_Entry
);
11
i
:=
i
+
1
;
12
end loop
;
13
end
;
14
15
end
Loop_Invariant1
;