2014-07-16 Ed Schonberg <schonberg@adacore.com>

	* a-coinho-shared.adb: Fix spurious accessibility check.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212641 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index ce762077091342955c61549ad4ff34bccf663131..eebff9e128b04351ee2174f44d8d9a74ae167b41 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,7 @@
+2014-07-16  Ed Schonberg  <schonberg@adacore.com>
+
+       * a-coinho-shared.adb: Fix spurious accessibility check.
+
 2014-06-15  Jan Hubicka  <hubicka@ucw.cz>
 
        * gcc-interface/utils.c (process_attributes): Use set_decl_tls_model.

diff --git a/gcc/ada/a-coinho-shared.adb b/gcc/ada/a-coinho-shared.adb
index 222c2f14205093012a4d5b6f8a9a67be57c19d88..4bcfb71518d7632b4a1e1a922f0ea77f82ecc11e 100644 (file)
--- a/gcc/ada/a-coinho-shared.adb
+++ b/gcc/ada/a-coinho-shared.adb
@@ -114,7 +114,7 @@ package body Ada.Containers.Indefinite_Holders is
      (Container : aliased Holder) return Constant_Reference_Type
    is
       Ref : constant Constant_Reference_Type :=
-              (Element => Container.Reference.Element,
+              (Element => Container.Reference.Element.all'Access,
                Control => (Controlled with Container.Reference));
    begin
       Reference (Ref.Control.Container);
@@ -283,7 +283,7 @@ package body Ada.Containers.Indefinite_Holders is
      (Container : aliased in out Holder) return Reference_Type
    is
       Ref : constant Reference_Type :=
-              (Element => Container.Reference.Element,
+              (Element => Container.Reference.Element.all'Access,
                Control => (Controlled with Container.Reference));
    begin
       Reference (Ref.Control.Container);