gcc/testsuite/gnat.dg/specs/import_abstract.ads


1
2
3
4
5
6

-- { dg-do compile }
package Import_Abstract is
   type T1 is abstract tagged null record;
   procedure p1(X : T1) is abstract;
   pragma Import (Ada, p1);    -- { dg-error "cannot import abstract subprogram" }
end Import_Abstract;