trans.c (check_for_eliminated_entity): New function.

	* gcc-interface/trans.c (check_for_eliminated_entity): New function.
	(Attribute_to_gnu): Invoke it for Access- and Address-like attributes.
	(call_to_gnu): Invoke it instead of manually checking.

From-SVN: r145652

3 files changed, 43 insertions, 0 deletions

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 41488df..8842321 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2009-04-07  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gnat.dg/subp_elim_errors.ad[sb]: New test.
+
 2009-04-07  Janus Weil  <janus@gcc.gnu.org>
 
 	PR fortran/38920
diff --git a/gcc/testsuite/gnat.dg/subp_elim_errors.adb b/gcc/testsuite/gnat.dg/subp_elim_errors.adb
new file mode 100644
index 0000000..669e877
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/subp_elim_errors.adb
@@ -0,0 +1,32 @@
+-- [ dg-do compile }
+
+with System;
+
+package body Subp_Elim_Errors is
+
+   type Acc_Proc is access procedure;
+
+   procedure Proc is
+   begin
+      null;
+   end Proc;
+
+   procedure Pass_Proc (P : Acc_Proc) is
+   begin
+      P.all;
+   end Pass_Proc;
+
+   procedure Pass_Proc (P : System.Address) is
+   begin
+      null;
+   end Pass_Proc;
+
+begin
+   Proc;                           -- { dg-error "eliminated" }
+
+   Pass_Proc (Proc'Access);        -- { dg-error "eliminated" }
+
+   Pass_Proc (Proc'Address);       -- { dg-error "eliminated" }
+
+   Pass_Proc (Proc'Code_Address);  -- { dg-error "eliminated" }
+end Subp_Elim_Errors;
diff --git a/gcc/testsuite/gnat.dg/subp_elim_errors.ads b/gcc/testsuite/gnat.dg/subp_elim_errors.ads
new file mode 100644
index 0000000..d42f1b2
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/subp_elim_errors.ads
@@ -0,0 +1,7 @@
+pragma Eliminate (Subp_Elim_Errors, Proc);
+
+package Subp_Elim_Errors is
+
+   procedure Proc;
+
+end Subp_Elim_Errors;