gcc/testsuite/gnat.dg/discr6_pkg.ads

   1 generic
   2
   3   type T(<>) is private;
   4
   5 package Discr6_Pkg is
   6
   7   function X (A : T) return Integer;
   8
   9   pragma Interface(C, X);
  10   pragma IMPORT_FUNCTION (
  11          INTERNAL         => X,
  12          EXTERNAL         => X,
  13          PARAMETER_TYPES  => (T),
  14          MECHANISM        => (Descriptor(S)));
  15
  16 end Discr6_Pkg;