gcc/testsuite/gnat.dg/limited2_pack_2.adb

with Limited2_Pack_1;

package body Limited2_Pack_2 is
   Obj_1 : Limited2_Pack_1.A;
   Obj_2 : Limited2_Pack_1.A;
   Obj_3 : Limited2_Pack_1.A;

   procedure M (R : Limited2_Pack_1.A) is
   begin
      null;
   end M;

   procedure Create (P : in C) is
   begin
      M (R => Obj_1);
      M (R => (case P is
                 when C1 => Obj_1,
                 when C2 => Obj_2,
                 when C3 => Obj_3));
   end Create;
end Limited2_Pack_2;