2006-02-17 Matthew Heaney <heaney@adacore.com>

	* a-convec.ads, a-convec.adb: 
	(operator "&"): handle potential overflow for large index types
	(Insert): removed Contraint_Error when using large index types
	(Insert_Space): removed Constraint_Error for large index types
	(Length): moved constraint check from Length to Insert

	* a-coinve.ads, a-coinve.adb: Stream attribute procedures are declared
	as not null access.
	Explicit raise statements now include an exception message.
	(operator "&"): handle potential overflow for large index types
	(Insert): removed Contraint_Error when using large index types
	(Insert_Space): removed Constraint_Error for large index types
	(Length): moved constraint check from Length to Insert



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

1 files changed, 4 insertions, 4 deletions

diff --git a/gcc/ada/a-coinve.ads b/gcc/ada/a-coinve.ads
index 822e797f04a..e5587f14625 100644
--- a/gcc/ada/a-coinve.ads
+++ b/gcc/ada/a-coinve.ads
@@ -324,13 +324,13 @@ private
    use Ada.Streams;
 
    procedure Write
-     (Stream    : access Root_Stream_Type'Class;
+     (Stream    : not null access Root_Stream_Type'Class;
       Container : Vector);
 
    for Vector'Write use Write;
 
    procedure Read
-     (Stream    : access Root_Stream_Type'Class;
+     (Stream    : not null access Root_Stream_Type'Class;
       Container : out Vector);
 
    for Vector'Read use Read;
@@ -346,13 +346,13 @@ private
    end record;
 
    procedure Write
-     (Stream   : access Root_Stream_Type'Class;
+     (Stream   : not null access Root_Stream_Type'Class;
       Position : Cursor);
 
    for Cursor'Write use Write;
 
    procedure Read
-     (Stream   : access Root_Stream_Type'Class;
+     (Stream   : not null access Root_Stream_Type'Class;
       Position : out Cursor);
 
    for Cursor'Read use Read;