projects
/
gcc.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[multiple changes]
[gcc.git]
/
gcc
/
ada
/
a-ciorma.ads
diff --git
a/gcc/ada/a-ciorma.ads
b/gcc/ada/a-ciorma.ads
index e414d39cf71e81d64052f9fb603087edf96784c2..2882a084bd2b8e75bbecc61056aee23aff11d42a 100644
(file)
--- a/
gcc/ada/a-ciorma.ads
+++ b/
gcc/ada/a-ciorma.ads
@@
-6,7
+6,7
@@
-- --
-- S p e c --
-- --
-- --
-- S p e c --
-- --
--- Copyright (C) 2004-201
3
, Free Software Foundation, Inc. --
+-- Copyright (C) 2004-201
5
, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
@@
-308,9
+308,13
@@
private
pragma Inline (Finalize);
type Constant_Reference_Type
pragma Inline (Finalize);
type Constant_Reference_Type
-
(Element : not null access constant Element_Type) is
+ (Element : not null access constant Element_Type) is
record
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;
procedure Read
end record;
procedure Read
@@
-326,9
+330,13
@@
private
for Constant_Reference_Type'Write use Write;
type Reference_Type
for Constant_Reference_Type'Write use Write;
type Reference_Type
-
(Element : not null access Element_Type) is
+ (Element : not null access Element_Type) is
record
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;
procedure Read
end record;
procedure Read