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-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
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
end record;
type Cursor is record