[Bug ada/59907] New: Ada 2012 Indefinite_Holders Reference_Type is not implemented

[christian_morgenroth@t-online.de]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59907

            Bug ID: 59907
           Summary: Ada 2012 Indefinite_Holders Reference_Type is not
                    implemented
           Product: gcc
           Version: unknown
               URL: http://ada-auth.org/standards/12rm/html/RM-A-18-18.htm
                    l
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: christian_morgenroth@t-online.de

The Ada 2012 Indefinite_Holders package declares the following types and
functions which aren't implemented yet:

type Constant_Reference_Type
      (Element : not null access constant Element_Type) is private
   with Implicit_Dereference => Element;

type Reference_Type (Element : not null access Element_Type) is private
   with Implicit_Dereference => Element;

function Constant_Reference (Container : aliased in Holder)
   return Constant_Reference_Type;

function Reference (Container : aliased in out Holder)
   return Reference_Type;