loop_invariant1.ads\gnat.dg\testsuite\gcc - riscv-gnu-toolchain/gcc.git - Unnamed repository; edit this file 'description' to name the repository.

index : riscv-gnu-toolchain/gcc.git

Unnamed repository; edit this file 'description' to name the repository.

root

about summary refs log tree commit diff

path: root/gcc/testsuite/gnat.dg/loop_invariant1.ads

blob: 5c19a92160304bfacaec74fe884708e4bb7b660b (plain)

package Loop_Invariant1 is

   type Arr is array (Natural range <>) of Integer;

   procedure Proc (A : Arr; N : Integer);

end Loop_Invariant1;