gcc/testsuite/gnat.dg/loop_optimization11_pkg.ads

   1 package Loop_Optimization11_Pkg is
   2
   3    function Img (X : Integer) return String;
   4
   5    procedure Put_Line (Data : String);
   6
   7    type Prot is (Execute, Execute_Read, Execute_Read_Write);
   8
   9    type Mem is (Mem_Image, Mem_Mapped, Mem_Private, Unknown);
  10
  11 end Loop_Optimization11_Pkg;