[multiple changes]

[gcc.git] / gcc / ada / a-ciormu.ads

diff --git a/gcc/ada/a-ciormu.ads b/gcc/ada/a-ciormu.ads
index 68d1835bed9a49eec4f4360b87480847a0504052..7524cf7be3c8358ce8e2b2d1fd875d4825812cb9 100644 (file)
--- a/gcc/ada/a-ciormu.ads
+++ b/gcc/ada/a-ciormu.ads
@@ -489,7 +489,11 @@ private
 
    type Constant_Reference_Type
      (Element : not null access constant Element_Type) is record
-      Control : Reference_Control_Type;
+      Control : Reference_Control_Type :=
+        raise Program_Error with "uninitialized reference";
+      --  The RM says, "The default initialization of an object of
+      --  type Constant_Reference_Type or Reference_Type propagates
+      --  Program_Error."
    end record;
 
    type Cursor is record