From: Bob Duff <duff@adacore.com>
Date: Tue, 22 May 2018 13:23:12 +0000 (+0000)
Subject: [Ada] Ignore pragma Elaborate_Body in spec of a SAL_Interface package
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6b3035ab58483345370f144fd9b12e8e072027e4;p=gcc.git

[Ada] Ignore pragma Elaborate_Body in spec of a SAL_Interface package

2018-05-22  Bob Duff  <duff@adacore.com>

gcc/ada/

	* binde.adb: (Choose): Ignore a pragma Elaborate_Body that appears in
	the spec of a SAL_Interface package.

From-SVN: r260517
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 378ccad0a6c..6f73f881d2f 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2018-05-22  Bob Duff  <duff@adacore.com>
+
+	* binde.adb: (Choose): Ignore a pragma Elaborate_Body that appears in
+	the spec of a SAL_Interface package.
+
 2018-05-22  Ed Schonberg  <schonberg@adacore.com>
 
 	* freeze.adb (Freeze_Entity): When analyzing delayed aspects of an
diff --git a/gcc/ada/binde.adb b/gcc/ada/binde.adb
index 6874b915fea..72a67161a28 100644
--- a/gcc/ada/binde.adb
+++ b/gcc/ada/binde.adb
@@ -1123,6 +1123,14 @@ package body Binde is
            and then Units.Table (Chosen).RCI
          then
             null;
+
+         --  If this unit is an interface to a stand-alone library, then we
+         --  don't want to elaborate the body -- that will happen as part of
+         --  the library.
+
+         elsif Units.Table (Chosen).SAL_Interface then
+            null;
+
          else
             Choose
               (Elab_Order => Elab_Order,