inline14.adb\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/inline14.adb

blob: 5bf9aa6e6faaff3a5a85934346f22f1488b7110d (plain)

--  { dg-do compile }
--  { dg-options "-O -gnatn" }

with Inline14_Pkg; use Inline14_Pkg;

procedure Inline14 is
begin
  Proc;
end;