gcc/testsuite/gnat.dg/opt25.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O" }
   3
   4 with Opt25_Pkg1;
   5 with Opt25_Pkg2;
   6
   7 procedure Opt25 (B1, B2 : in out Boolean) is
   8
   9    package Local_Pack_Instance is new Opt25_Pkg1 (Boolean, True);
  10
  11    package Local_Stack is new Opt25_Pkg2 (Integer, 0);
  12
  13    S : Local_Stack.Stack := Local_Stack.Default_Stack;
  14
  15 begin
  16    Local_Pack_Instance.Swap (B1, B2);
  17 end;