gcc/testsuite/gnat.dg/subp_elim_errors.ads

pragma Eliminate (Subp_Elim_Errors, Proc);

package Subp_Elim_Errors is

   procedure Proc;

end Subp_Elim_Errors;