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