ghost1.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/ghost1.ads

blob: afbcc2fbf18025b4ef7c7b32b75686c86eb0778e (plain)

package Ghost1 is
   type Ghost_Typ is record
      Data : Integer;
   end record
     with Ghost;

   procedure Spec_And_Body (Obj : Ghost_Typ)
     with Ghost;
end Ghost1;