1-- [ dg-do compile } 2 3with System; 4 5package body Subp_Elim_Errors is 6 7 type Acc_Proc is access procedure; 8 9 procedure Proc is 10 begin 11 null; 12 end Proc; 13 14 procedure Pass_Proc (P : Acc_Proc) is 15 begin 16 P.all; 17 end Pass_Proc; 18 19 procedure Pass_Proc (P : System.Address) is 20 begin 21 null; 22 end Pass_Proc; 23 24begin 25 Proc; -- { dg-error "eliminated" } 26 27 Pass_Proc (Proc'Access); -- { dg-error "eliminated" } 28 29 Pass_Proc (Proc'Address); -- { dg-error "eliminated" } 30 31 Pass_Proc (Proc'Code_Address); -- { dg-error "eliminated" } 32end Subp_Elim_Errors; 33