gcc/testsuite/gnat.dg/subp_elim_errors.adb

   1 -- [ dg-do compile }
   2
   3 with System;
   4
   5 package 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
  24 begin
  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" }
  32 end Subp_Elim_Errors;