gcc/testsuite/gnat.dg/lto21_pkg2.adb

   1 with Ada.Containers; use Ada.Containers;
   2 with Ada.Containers.Hashed_Maps;
   3 with Ada.Containers.Vectors;
   4
   5 package body Lto21_Pkg2 is
   6
   7    pragma Suppress (Tampering_Check);
   8
   9    procedure Proc is
  10
  11       function Hash (Syd : Natural) return Hash_Type is (Hash_Type'Mod (Syd));
  12
  13       package Vect2 is new Vectors (Positive, Natural);
  14
  15       package Maps is
  16         new Hashed_Maps (Natural, Vect2.Vector, Hash, "=", Vect2."=");
  17
  18       procedure Nested (M : Maps.Map) is
  19          use Maps;
  20          procedure Inner (Position : Cursor) is null;
  21       begin
  22          Iterate (M, Inner'Access);
  23       end;
  24
  25       M : Maps.Map;
  26    begin
  27       Nested (M);
  28    end;
  29
  30 end Lto21_Pkg2;