Projet_SETI_RISC-V/riscv-gnu-toolchain/gcc/gcc/testsuite/gnat.dg/warn20_pkg.adb
2023-03-06 14:48:14 +01:00

10 lines
209 B
Ada

package body Warn20_Pkg is
L : array (1 .. 10) of T := (1 .. 10 => None);
procedure Foo is
begin
for A of L loop
exit when A = None;
Dispatch (A);
end loop;
end;
end;